Changeset 2e7edcb in git for configure.ac

Timestamp:

Sep 27, 2019, 5:46:37 PM (5 years ago)

Author:

Murray Heymann <heymann.murray@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

732205bdd491ef2c8b4d3628ab66de417fee4e24

Parents:

133ae77191f33f5123836be93522078ff2d5618af3b65d2b16ccfd13cf43ee24f2049311f57e2a55

Message:

Merge branch 'spielwiese' into machine_learning

File:

• configure.ac (modified) (1 diff)

configure.ac

@@ -89 +89 @@
 AC_CHECK_LIB(rt,clock_gettime)
 
-LB_CHECK_GMP(4.0,,AC_MSG_ERROR([Unable to find GMP on your machine: please use --with-gmp=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
+# Check whether --with-gmp was given.
+if test "${with_gmp+set}" = set; then :
+  if test "$with_gmp" = yes ; then
+        GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}"
+   elif test "$with_gmp" != no ; then
+        GMP_HOME_PATH="$with_gmp ${DEFAULT_CHECKING_PATH}"
+    fi
+else
+  GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}"
+fi
+
+BACKUP_CFLAGS=${CFLAGS}
+BACKUP_LIBS=${LIBS}
+
+for GMP_HOME in ${GMP_HOME_PATH}
+do
+  if test "x$GMP_HOME" != "x/usr"; then
+    GMP_CPPFLAGS="-I${GMP_HOME}/include"
+    GMP_LIBS="-L${GMP_HOME}/lib -Wl,-rpath -Wl,${GMP_HOME}/lib -lgmp"
+  else
+    GMP_CPPFLAGS=""
+    GMP_LIBS="-lgmp"
+  fi
+  CFLAGS="${BACKUP_CFLAGS} ${GMP_CPPFLAGS}"
+  LIBS="${BACKUP_LIBS} ${GMP_LIBS}"
+done
+AC_SUBST(GMP_CPPFLAGS)
+AC_SUBST(GMP_LIBS)
+
+AC_CHECK_HEADERS([gmp.h], ,[AC_MSG_ERROR([GNU MP not found])])
+AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP not found])])
+
 LB_CHECK_NTL(5.0,,AC_MSG_WARN([Unable to find NTL (which is strongly recommended) on your machine: please use --with-ntl=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
 LB_CHECK_FLINT(2.3,,AC_MSG_WARN([Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))