diff options
| author | Tim King <taking@cs.nyu.edu> | 2014-05-05 17:20:38 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2014-05-05 17:20:38 -0400 |
| commit | 632ed29e9d82ddef49d0c3382dce1439aa67698a (patch) | |
| tree | a8d12fbf1463adf72dc18c0a2bd85e8e51802f83 /config | |
| parent | dfb807946da87254f927bf5550ff0f35fc780631 (diff) | |
Improving documentation for glpk-cut-log switch.
Diffstat (limited to 'config')
| -rw-r--r-- | config/glpk.m4 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config/glpk.m4 b/config/glpk.m4 index 932b053e0..ecb91abdd 100644 --- a/config/glpk.m4 +++ b/config/glpk.m4 @@ -35,7 +35,7 @@ elif test "$with_glpk" = yes; then CVC4_TRY_GLPK_WITH([-lgmp -lz -lltdl]) CVC4_TRY_GLPK_WITH([-lgmp -lz -lltdl -ldl]) if test -z "$GLPK_LIBS"; then - AC_MSG_FAILURE([cannot link against libglpk! (or it's too old, or can't get it to work)]) + AC_MSG_FAILURE([cannot link against libglpk! (perhaps you have not switched to glpk-cut-log? see /README)]) else AC_MSG_RESULT([$GLPK_LIBS]) # make sure it works in static builds, too @@ -95,7 +95,7 @@ if test -z "$GLPK_LIBS"; then [#else] [#include <glpk.h>] [#endif], - [int i = glp_get_it_cnt(NULL)])], + [int i = glp_ios_get_cut(NULL, 0, NULL, NULL, NULL, NULL, NULL)])], [GLPK_LIBS="-lglpk $1"], []) LIBS="$cvc4_save_LIBS" @@ -118,7 +118,7 @@ if test -z "$GLPK_LIBS"; then [#else] [#include <glpk.h>] [#endif], - [int i = glp_get_it_cnt(NULL)])], + [int i = glp_ios_get_cut(NULL, 0, NULL, NULL, NULL, NULL, NULL)])], [GLPK_LIBS="-lglpk $1"], []) LIBS="$cvc4_save_LIBS" |