- Timestamp:
- Dec 11, 2019, 3:37:17 PM (4 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4bd32dfef92ec9f5ed8dceee82d14318ae147107')
- Children:
- bdc8243c2799931f514a94231892eb1bcb332d0e
- Parents:
- 9d9c8d81baed1983130f6363b5957b5b2688f287
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libpolys/configure.ac
r9d9c8d rd88aa0 56 56 fi 57 57 58 BACKUP_CFLAGS=${CFLAGS} 59 BACKUP_LIBS=${LIBS} 60 61 for GMP_HOME in ${GMP_HOME_PATH} 62 do 63 if test "x$GMP_HOME" != "x/usr"; then 64 GMP_CPPFLAGS="-I${GMP_HOME}/include" 65 GMP_LIBS="-L${GMP_HOME}/lib -Wl,-rpath -Wl,${GMP_HOME}/lib -lgmp" 66 else 67 GMP_CPPFLAGS="" 68 GMP_LIBS="-lgmp" 69 fi 70 CFLAGS="${BACKUP_CFLAGS} ${GMP_CPPFLAGS}" 71 LIBS="${BACKUP_LIBS} ${GMP_LIBS}" 72 done 73 AC_SUBST(GMP_CPPFLAGS) 74 AC_SUBST(GMP_LIBS) 75 76 AC_CHECK_HEADERS([gmp.h], ,[AC_MSG_ERROR([GNU MP not found])]) 77 AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP not found])]) 78 79 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)])) 58 dnl gmp, ntl check in factory 80 59 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)])) 81 60
Note: See TracChangeset
for help on using the changeset viewer.