- Timestamp:
- May 10, 2011, 12:38:31 PM (13 years ago)
- Branches:
- (u'spielwiese', '6e5adcba05493683b94648c659a729c189812c77')
- Children:
- 7d73857bd54e9bc8480c720d2a0c39dae20a94ed
- Parents:
- a1176850d8bc3768dff97fab8beb14e098171bf7
- git-author:
- Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-05-10 12:38:31+02:00
- git-committer:
- Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:31:40+01:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libpolys/configure.ac
ra11768 r9af8a63 19 19 20 20 # Checks for libraries. 21 LB_CHECK_GMP( ,,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)]))21 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)])) 22 22 23 23 # Checks for library functions.
Note: See TracChangeset
for help on using the changeset viewer.