Changeset 75f460 in git for m4/flint-check.m4

Timestamp:

Dec 16, 2014, 3:43:21 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '98550b669234b32be762076c32b3be2c35188ac4')

Children:

fce947c9e6c3e8c6d5a622c7f6b0d724580993cc

Parents:

a2e4470c6e9a666de8ab7b706370c15e13092f76

Message:

format

File:

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

m4/flint-check.m4

@@ -20 +20 @@
 AC_ARG_WITH(flint,
 [  --with-flint=<path>|yes|no  Use FLINT library. If argument is no, you do not have
-                            the library installed on your machine (set as 
-                            default). If argument is yes or <empty> that means 
-                            the library is reachable with the standard search 
-                            path (/usr or /usr/local). Otherwise you give the 
-                            <path> to the directory which contain the library. 
+                            the library installed on your machine (set as
+                            default). If argument is yes or <empty> that means
+                            the library is reachable with the standard search
+                            path (/usr or /usr/local). Otherwise you give the
+                            <path> to the directory which contain the library.
              ],
              [if test "$withval" = yes ; then
@@ -46 +46 @@
 AC_LANG_PUSH([C])
 
-for FLINT_HOME in ${FLINT_HOME_PATH} 
- do     
+for FLINT_HOME in ${FLINT_HOME_PATH}
+ do
 ## if test -r "$FLINT_HOME/include/flint/fmpz.h"; then
 
@@ -55 +55 @@
         else
                 FLINT_CFLAGS=""
-                FLINT_LIBS=""           
+                FLINT_LIBS=""
         fi
-        
+
         # we suppose that mpfr and mpir to be in the same place or available by default
         FLINT_LIBS="$FLINT_LIBS -lflint -lmpfr"
-        
-        CFLAGS="${BACKUP_CFLAGS} ${FLINT_CFLAGS} ${GMP_CFLAGS}" 
+
+        CFLAGS="${BACKUP_CFLAGS} ${FLINT_CFLAGS} ${GMP_CFLAGS}"
         LIBS="${BACKUP_LIBS} ${FLINT_LIBS} ${GMP_LIBS}"
 
@@ -70 +70 @@
         AC_TRY_RUN(
         [#include <flint/flint.h>
-        int main () { if ((int) version[0] < 2) return -1; else return 0; }     
-        ],[
-        flint_found="yes"       
-        break
-        ],[     
-        flint_problem="$problem $FLINT_HOME"    
-        unset FLINT_CFLAGS
-        unset FLINT_LIBS        
+        int main () { if ((int) version[0] < 2) return -1; else return 0; }
         ],[
         flint_found="yes"
-        flint_cross="yes"       
         break
-        ])      
+        ],[
+        flint_problem="$problem $FLINT_HOME"
+        unset FLINT_CFLAGS
+        unset FLINT_LIBS
+        ],[
+        flint_found="yes"
+        flint_cross="yes"
+        break
+        ])
         ],
         [
@@ -88 +88 @@
         flint_checked="$checked $FLINT_HOME"
         unset FLINT_CFLAGS
-        unset FLINT_LIBS        
+        unset FLINT_LIBS
         ])
 #else
@@ -101 +101 @@
 
 
-if test "x$flint_found" = "xyes" ; then         
+if test "x$flint_found" = "xyes" ; then
         AC_SUBST(FLINT_CFLAGS)
         AC_SUBST(FLINT_LIBS)
@@ -121 +121 @@
 elif test   "x$flint_found" = "xno";  then
         AC_MSG_RESULT(not found)
-        ifelse([$3], , :, [$3]) 
-fi      
+        ifelse([$3], , :, [$3])
+fi
 
 AM_CONDITIONAL(SING_HAVE_FLINT, test "x$HAVE_FLINT" = "xyes")