Changeset 68b4d3 in git for configure.ac


Ignore:
Timestamp:
Oct 28, 2013, 9:52:43 AM (11 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')
Children:
b19f81dea5dc1029caf194b9f57389fd6a9f66a3
Parents:
6aee8f3596288969a7c2be2063263a666f4fbe08
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-10-28 09:52:43+01:00
git-committer:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-10-28 09:53:31+01:00
Message:
porting: gfanlib and gmp 4.0/4.1 (redhat)
File:
1 edited

Legend:

Unmodified
Added
Removed

  • configure.ac

    r6aee8f r68b4d3  
    6060AC_CHECK_LIB(pthread,pthread_create)
    6161
    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)]))
     62LB_CHECK_GMP(4.0,,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.