Changeset 2757dd2 in git for configure.ac
- Timestamp:
- Sep 12, 2017, 2:39:22 PM (7 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')
- Children:
- b034c347789bcd8c6a686ffe3872a93603f716ae
- Parents:
- a6824e9ecfb71a016baed3b3233fd51b39c84713
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
configure.ac
ra6824e r2757dd2 92 92 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)])) 93 93 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)])) 94 95 AC_CHECK_LIB(mpfr,mpfr_add) 94 96 95 97 AC_CONFIG_GOOGLE_PERFTOOLS()
Note: See TracChangeset
for help on using the changeset viewer.