Changeset d88aa0 in git for libpolys/configure.ac

Timestamp:

Dec 11, 2019, 3:37:17 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')

Children:

bdc8243c2799931f514a94231892eb1bcb332d0e

Parents:

9d9c8d81baed1983130f6363b5957b5b2688f287

Message:

simplified: libpolys/configure gfanlib/confihure (-gmp,ntl)

File:

• libpolys/configure.ac (modified) (1 diff)

libpolys/configure.ac

@@ -56 +56 @@
 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)]))
+dnl gmp, ntl check in factory
 LB_CHECK_FLINT(2.4,,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)]))