Changeset 7e075f in git for configure.ac
- Timestamp:
- Oct 16, 2013, 3:56:38 PM (10 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a657104b677b4c461d018cbf3204d72d34ad66a9')
- Children:
- 2f82f7d576d5c4d9e9081fd2b40a5a23aaebbfce
- Parents:
- 906feb231c2ca4c458aff341646fc790cfe80790
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
configure.ac
r906feb r7e075f 60 60 AC_CHECK_LIB(pthread,pthread_create) 61 61 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)]))62 LB_CHECK_GMP(4.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.