summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorMatthias Wachs <wachs@net.in.tum.de>2011-03-25 15:37:04 +0000
committerMatthias Wachs <wachs@net.in.tum.de>2011-03-25 15:37:04 +0000
commit0471629eb7316745f5cf0a46f0cadf06578c4e81 (patch)
treeccb773c716928f4b8a29debbe81289b0d06be4ba /configure.ac
parenta8698c1dc9200d021e0aa38ae1dcad6a44e57a6d (diff)
check for glpk >= 4.32
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index b3a965e3b..f89f8e185 100644
--- a/configure.ac
+++ b/configure.ac
@@ -259,10 +259,13 @@ fi # $build = $target
glpk=true
AC_CHECK_HEADERS(glpk.h, ,[gplk=false])
AC_CHECK_LIB([glpk],[glp_create_prob], , [gplk=false])
+# GLPK must support atm MLP presolving, version >= 4.32
+AC_CHECK_MEMBERS(glp_iocp.presolve, ,[gplk=false],[[#include <glpk.h>]])
if test $gplk == false
then
AM_CONDITIONAL(HAVE_GLPK, [test x$gplk = xtrue])
AM_CONDITIONAL(HAVE_LIBGLPK, [test x$gplk != x$gplk])
+ AC_MSG_ERROR([GNUnet requires GLPK >= 4.32])
else
AM_CONDITIONAL(HAVE_GLPK, [test x$gplk = xtrue])
AM_CONDITIONAL(HAVE_LIBGLPK, [test x$gplk = x$gplk])