Changeset cee403 in git for m4

Timestamp:

Dec 19, 2019, 3:19:28 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4bd32dfef92ec9f5ed8dceee82d14318ae147107')

Children:

8d9a6f7651e690ce452368c54cccba5d52d19f8baf5f1da9d058ba2d379f14d428c2ed690892ebdbb20fdc2aa7c8dbd219aa354f991190bb56f4b0a8e1d4fd42c3490bd994c38446c3b1757fe5b6961b

Parents:

852a8fc5de101dc335fa5c203013dd7056aba538

Message:

flint check

File:

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

m4/flint-check.m4

@@ -48 +48 @@
 for FLINT_HOME in ${FLINT_HOME_PATH}
  do
-## if test -r "$FLINT_HOME/include/flint/fmpz.h"; then
+ if test -r "$FLINT_HOME/include/flint/fmpz.h"; then
 
-        if test "x$FLINT_HOME" != "x/usr"; then
-                FLINT_CFLAGS="-I${FLINT_HOME}/include/"
-                FLINT_LIBS="-L${FLINT_HOME}/lib"
-        else
-                FLINT_CFLAGS=""
-                FLINT_LIBS=""
-        fi
+        FLINT_CFLAGS="-I${FLINT_HOME}/include/"
+        FLINT_LIBS="-L${FLINT_HOME}/lib -lflint -lmpfr"
 
         # 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_CPPFLAGS}"
         LIBS="${BACKUP_LIBS} ${FLINT_LIBS} ${GMP_LIBS}"
@@ -90 +83 @@
         unset FLINT_LIBS
         ])
-#else
-#       flint_found="no"
-#fi
+else
+        flint_found="no"
+fi
 done
 AC_LANG_POP([C])