16 lines
468 B
Text
16 lines
468 B
Text
--- configure.orig 2018-12-07 03:44:09 UTC
|
|
+++ configure
|
|
@@ -3502,11 +3502,11 @@ echo "$as_me: error: \"No libpolylib64.s
|
|
or give the path with ./configure --with-polylib=LOCATION \"" >&2;}
|
|
{ (exit 1); exit 1; }; }
|
|
else
|
|
- POLY_ADD_FLAGS="-lpolylib64"
|
|
+ POLY_ADD_FLAGS="-lpolylibgmp"
|
|
fi
|
|
else
|
|
POLY_LD_FLAGS="${polylibloc}"
|
|
- POLY_ADD_FLAGS="-lpolylib64"
|
|
+ POLY_ADD_FLAGS="-lpolylibgmp"
|
|
fi
|
|
|
|
echo "$as_me:$LINENO: checking if polylib uses GNUmp" >&5
|