Changeset 401911 in git

Timestamp:

Dec 20, 2011, 11:42:42 AM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

88408d0be2fdcd560bb0eceb25b88db10bf0c817

Parents:

3ed6ccf09a1fdab770da99fa79111ab3bd8208e6

git-author:

Martin Lee <martinlee84@web.de>2011-12-20 10:42:42+00:00

git-committer:

Martin Lee <martinlee84@web.de>2012-04-04 14:42:25+02:00

Message:

chg: checking of FLINT version

File:

• m4/flint-check.m4 (modified) (2 diffs)

m4/flint-check.m4

@@ -33 +33 @@
              [FLINT_HOME_PATH="${DEFAULT_CHECKING_PATH}"])
 
-min_flint_version=ifelse([$1], ,2.2,$1)
+min_flint_version=ifelse([$1], ,2.3,$1)
 
 
@@ -66 +66 @@
         AC_TRY_RUN(
         [#include <flint.h>
-        int main () { if (FLINT_MAJOR_VERSION < 2) return -1; else return 0; }  
+        int main () { if ((int) version[0] < 2) return -1; else return 0; }     
         ],[
         flint_found="yes"