ifndef ImportedIntoExtension
# not included on behalf of another extension
include /build/polymake/pkg/polymake/usr/lib/polymake/conf.make
RequireExtensions := 
endif
ExtensionTop := ${ProjectTop}/bundled/ppl
CXXflags := -DPOLYMAKE_WITH_PPL  ${CXXflags}
Libs := -lppl ${Libs}
