Changeset 7e075f in git for configure.ac


Ignore:
Timestamp:
Oct 16, 2013, 3:56:38 PM (11 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')
Children:
2f82f7d576d5c4d9e9081fd2b40a5a23aaebbfce
Parents:
906feb231c2ca4c458aff341646fc790cfe80790
Message:
fix: min required gmp version is 4.2
File:
1 edited

Legend:

Unmodified
Added
Removed

  • configure.ac

    r906feb r7e075f  
    6060AC_CHECK_LIB(pthread,pthread_create)
    6161
    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)]))
     62LB_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)]))
    6363LB_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)]))
    6464LB_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.