ifndef ImportedIntoExtension
# not included on behalf of another extension
include /build/polymake/pkg/polymake/usr/lib/polymake/conf.make
RequireExtensions := ${ProjectTop}/bundled/cdd
endif
ExtensionTop := ${ProjectTop}/bundled/atint
