Changeset 6b44a8 in git for m4/flint-check.m4

Timestamp:

Feb 20, 2020, 12:05:38 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

c6b4e50c4010664ea60dd5d8284301d8087dcc0a

Parents:

5e781fbc9e5660907bb073083a509b84a3cb2864

Message:

fix: message for FLINT checks

File:

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

m4/flint-check.m4

@@ -34 +34 @@
 BACKUP_CFLAGS=${CFLAGS}
 BACKUP_LIBS=${LIBS}
-
-if test -n "$FLINT_HOME_PATH"; then
-AC_MSG_CHECKING(for FLINT >= $min_flint_version)
-fi
 
 AC_LANG_PUSH([C])
@@ -88 +84 @@
 #unset LD_LIBRARY_PATH
 
+AC_MSG_CHECKING(for FLINT)
 
 if test "x$flint_found" = "xyes" ; then