Changeset d00f4f in git for libpolys/configure.ac
- Timestamp:
- Mar 2, 2015, 8:03:16 AM (9 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b50cc4fc80fdf2a2005655a08d9229aa4b32d4a5')
- Children:
- b72148d1e7cc0671645cdaa106159c456144d819
- Parents:
- 54aa7ddaf531843259b06aef37d3c66407a458c4
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libpolys/configure.ac
r54aa7d rd00f4f 1 AC_INIT([libpolys], [4.0. 1])1 AC_INIT([libpolys], [4.0.2]) 2 2 3 3 AC_CONFIG_MACRO_DIR([../m4]) … … 37 37 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)])) 38 38 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)])) 39 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)]))39 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)])) 40 40 41 41
Note: See TracChangeset
for help on using the changeset viewer.