Changeset dbf5d1 in git

Timestamp:

Jun 3, 2013, 4:44:57 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

502dd5528b44d6832fd6972089729d9108c820de

Parents:

fa15984ec25c611c06dd0ecc031ba4b26112e0e8

git-author:

Martin Lee <martinlee84@web.de>2013-06-03 16:44:57+02:00

git-committer:

Martin Lee <martinlee84@web.de>2013-06-03 17:16:16+02:00

Message:

chg: check if NTL_GMP_LIP=on was given to NTL's configure

File:

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

m4/ntl-check.m4

@@ -68 +68 @@
         AC_TRY_RUN(
         [#include <NTL/version.h>
-        int main () { if (NTL_MAJOR_VERSION < 5) return -1; else return 0; }    
+        #include <NTL/config.h>
+        #ifndef NTL_GMP_LIP
+        int main() {return -1;}
+        #else
+        int main () { if (NTL_MAJOR_VERSION < 5) return -1; else return 0;}
+        #endif  
         ],[
         ntl_found="yes" 
@@ -108 +113 @@
 elif test -n "$ntl_problem"; then
         AC_MSG_RESULT(problem)
-        echo "Sorry, your NTL version is too old. Disabling."
+        echo "Sorry, your NTL version is too old or not configured with NTL_GMP_LIP=on. Disabling."
         ifelse([$3], , :, [$3])
 elif test   "x$ntl_found" = "xno";  then