Changeset 3ed6ccf in git


Ignore:
Timestamp:
Dec 20, 2011, 11:05:23 AM (11 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'spielwiese', 'd1ba061a762c62d3a25159d8da8b6e17332291fa')
Children:
401911e9b12204d07bf077b89b4d630e4f4862a7
Parents:
7cb55903f606ba30490caea7d1b11dd71bfeb340
git-author:
Martin Lee <martinlee84@web.de>2011-12-20 10:05:23+00:00
git-committer:
Martin Lee <martinlee84@web.de>2012-04-04 14:42:25+02:00
Message:
chg: check for Flint 2.3 in configure
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/configure.ac

    r7cb5590 r3ed6ccf  
    197197LB_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)]))
    198198
    199 LB_CHECK_FLINT(2.2,,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)]))
     199LB_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)]))
    200200
    201201# arithmetic shift
Note: See TracChangeset for help on using the changeset viewer.