Changeset 93c5cf in git
- Timestamp:
- Oct 15, 2013, 3:46:49 PM (9 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- 906feb231c2ca4c458aff341646fc790cfe80790
- Parents:
- c80db418c982d62b159142d4e5b4b04b6d3754cb
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
configure.ac
rc80db41 r93c5cf 60 60 AC_CHECK_LIB(pthread,pthread_create) 61 61 62 LB_CHECK_GMP( 3.1.1,,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)]))62 LB_CHECK_GMP(4.3.2,,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)])) 63 63 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)])) 64 64 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)]))
Note: See TracChangeset
for help on using the changeset viewer.