chg: check for Flint 2.3 in configure

Singular · Apr 3, 2012 · c49838d · c49838d
1 parent dd681e9
commit c49838d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Singular/configure.in b/Singular/configure.in
@@ -1260,7 +1260,7 @@ else
   AC_MSG_RESULT(no)
 fi
 
-LB_CHECK_FLINT(2.2,,AC_MSG_WARN([Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
+LB_CHECK_FLINT(2.3,,AC_MSG_WARN([Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
 
 if test "x$flint_found" = "xyes"; then
   includedir= "${FLINT_HOME}/include ${includedir}"

diff --git a/factory/configure.in b/factory/configure.in
@@ -278,7 +278,7 @@ if test "x$gmp_in_installation" != xyes; then
     ])
 fi
 
-LB_CHECK_FLINT(2.2,,AC_MSG_WARN([Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
+LB_CHECK_FLINT(2.3,,AC_MSG_WARN([Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
 
 AC_CHECK_HEADERS(stdio.h stdlib.h string.h time.h math.h, ,
   [ AC_MSG_ERROR(C header files not found) ])