Changeset 93c5cf in git


Ignore:
Timestamp:
Oct 15, 2013, 3:46:49 PM (11 years ago)
Author:
Jakob Kröker <kroeker@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
906feb231c2ca4c458aff341646fc790cfe80790
Parents:
c80db418c982d62b159142d4e5b4b04b6d3754cb
Message:
min required gmp version is 4.3.2 (which is not available for recent Scientific Linux ) and no longer 3.1.1
File:
1 edited

Legend:

Unmodified
Added
Removed
  • configure.ac

    rc80db41 r93c5cf  
    6060AC_CHECK_LIB(pthread,pthread_create)
    6161
    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)]))
     62LB_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)]))
    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.