Changeset ed412c in git

Timestamp:

Apr 19, 2013, 4:57:01 AM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

8659a91de7a2bca7e3533e0b2270e4ecd33c1809

Parents:

06696e3455e433d41c30a5c6f94d6033eda543cd

Message:

GMP check should not look for gmp.h directly

File:

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

m4/gmp-check.m4

@@ -35 +35 @@
 for GMP_HOME in ${GMP_HOME_PATH} 
   do    
-        if test -r "$GMP_HOME/include/gmp.h"; then
+#       if test -r "$GMP_HOME/include/gmp.h"; then
 
                 if test "x$GMP_HOME" != "x/usr"; then
@@ -101 +101 @@
                 ])
 
-        else
-                gmp_found="no"  
-        fi
+#       else
+#               gmp_found="no"  
+#       fi
 done