Use GAP's GMP_PREFIX if available

gap-packages · Oct 6, 2022 · 08c6a43 · 08c6a43
1 parent 96c0b11
commit 08c6a43
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/configure.ac b/configure.ac
@@ -43,14 +43,17 @@ FIND_GAP
 GAP="${GAP:-${GAPROOT}/bin/gap.sh}"
 AC_SUBST(GAP)
 
+# newer GAP versions may set GMP_PREFIX in sysinfo.gap, try to use that
+GMP_PREFIX=${GMP_PREFIX:-yes}
+
 dnl ##
 dnl ## Check for GMP
 dnl ##
 
 AC_ARG_WITH([gmp],
   [AS_HELP_STRING([--with-gmp@<:@=PREFIX@:>@],
     [prefix of GMP installation. e.g. /usr/local])],
-    [],[with_gmp=yes])
+    [],[with_gmp=${GMP_PREFIX}])
 
 GMP_CPPFLAGS=""
 GMP_LDFLAGS=""