diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/configure.ac b/configure.ac index bf4e13320..fc0d75fbf 100644 --- a/configure.ac +++ b/configure.ac | |||
@@ -791,20 +791,6 @@ AM_CONDITIONAL(HAVE_LIBATOMIC, [test "$have_libatomic" = 1]) | |||
791 | LIBS=$SAVE_LIBS | 791 | LIBS=$SAVE_LIBS |
792 | CPPFLAGS=$SAVE_CPPFLAGS | 792 | CPPFLAGS=$SAVE_CPPFLAGS |
793 | 793 | ||
794 | AC_CHECK_HEADERS([glpk.h],[glpk=true],[glpk=false]) | ||
795 | # GLPK must support glpk_init_env, version >= 4.43 | ||
796 | AC_CHECK_LIB([glpk],[glp_init_env],,[glpk=false]) | ||
797 | # GLPK must support atm MLP presolving, version >= 4.32 | ||
798 | AC_CHECK_MEMBERS(glp_iocp.presolve,,[glpk=false],[[#include <glpk.h>]]) | ||
799 | AS_IF([test "x$glpk" = xfalse], | ||
800 | [ | ||
801 | AM_CONDITIONAL(HAVE_LIBGLPK, false) | ||
802 | AC_MSG_WARN([ERROR: GNUnet requires GLPK >= 4.32]) | ||
803 | ],[ | ||
804 | AM_CONDITIONAL(HAVE_LIBGLPK, true) | ||
805 | AC_DEFINE([HAVE_LIBGLPK],[1],[Have GLPK]) | ||
806 | ]) | ||
807 | |||
808 | 794 | ||
809 | AC_CHECK_HEADERS([nss.h],[nss=true],[nss=false]) | 795 | AC_CHECK_HEADERS([nss.h],[nss=true],[nss=false]) |
810 | AS_IF([test x$nss = xfalse], | 796 | AS_IF([test x$nss = xfalse], |