2019-03-17 16:37:17 +01:00
|
|
|
|
|
|
|
Hand-crafted configure scripts suck. They fail to recognize the system
|
|
|
|
libraries we have, so do a fixed override.
|
|
|
|
|
|
|
|
---
|
|
|
|
bundled/libnormaliz/support/configure.pl | 1 +
|
2020-09-08 14:36:05 +02:00
|
|
|
1 file changed, 1 insertion(+)
|
2019-03-17 16:37:17 +01:00
|
|
|
|
2020-09-08 14:36:05 +02:00
|
|
|
Index: polymake-4.1/bundled/libnormaliz/support/configure.pl
|
2019-03-17 16:37:17 +01:00
|
|
|
===================================================================
|
2020-09-08 14:36:05 +02:00
|
|
|
--- polymake-4.1.orig/bundled/libnormaliz/support/configure.pl
|
|
|
|
+++ polymake-4.1/bundled/libnormaliz/support/configure.pl
|
|
|
|
@@ -40,6 +40,7 @@ sub proceed {
|
2019-03-17 16:37:17 +01:00
|
|
|
my $nmz_version;
|
2020-09-08 14:36:05 +02:00
|
|
|
my $libs = "-lnormaliz";
|
2019-03-17 16:37:17 +01:00
|
|
|
$UseBundled=1;
|
|
|
|
+ $UseBundled = 0;
|
|
|
|
|
|
|
|
# check GMP C++ bindings
|
|
|
|
my $build_error=Polymake::Configure::build_test_program(<<'---', LIBS => "-lgmpxx -lgmp");
|