Changeset b8d464 in git

Timestamp:

Mar 16, 2020, 10:14:39 AM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

4c89a239f341655ff6e66207fc95facf96df729b

Parents:

4dcf5af1c36825220523197c39b73a65d58aaa69

Message:

fix: configure without flint

File:

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

m4/flint-check.m4

@@ -87 +87 @@
 
 if test "x$flint_found" = "xyes" ; then
-        AC_SUBST(FLINT_CFLAGS)
-        AC_SUBST(FLINT_LIBS)
-        AC_SUBST(FLINT_HOME)
         AC_DEFINE(HAVE_FLINT,1,[Define if FLINT is installed])
         HAVE_FLINT=yes
@@ -95 +92 @@
 else
         AC_MSG_RESULT(not found)
+        FLINT_CFLAGS=""
+        FLINT_LIBS=""
+        FLINT_HOME=""
 fi
+AC_SUBST(FLINT_CFLAGS)
+AC_SUBST(FLINT_LIBS)
+AC_SUBST(FLINT_HOME)
 ])