diff --git a/support/configure.pl b/support/configure.pl index 78e5213..757c419 100644 --- a/support/configure.pl +++ b/support/configure.pl @@ -228,6 +228,19 @@ sub build { `$CXX $CXXflags -o polymake_configure polymake_configure.cc $LDflags $Libs 2>&1` } +sub compiler_has_define { + my $def=shift; + my $build_error = compile <