Changeset 286be1f in git for configure.ac


Ignore:
Timestamp:
Mar 23, 2012, 2:09:45 PM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
d922485f75d399f736245a5fbd9ed2f28bf7a2c5
Parents:
8944cce035ff58492704973d26cb38b03f95f538
git-author:
Martin Lee <martinlee84@web.de>2012-03-23 14:09:45+01:00
git-committer:
Martin Lee <martinlee84@web.de>2012-04-04 14:44:11+02:00
Message:
chg: changes due to building with FLINT
File:
1 edited

Legend:

Unmodified
Added
Removed

  • configure.ac

    r8944cc r286be1f  
    5656LB_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)]))
    5757LB_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)]))
     58LB_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)]))
    5859
    5960AC_FUNC_ERROR_AT_LINE
Note: See TracChangeset for help on using the changeset viewer.