diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/glpk.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/glpk.m4 b/config/glpk.m4 index ecb91abdd..f854830d3 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! (perhaps you have not switched to glpk-cut-log? see /README)]) + AC_MSG_FAILURE([cannot link against libglpk! (perhaps you have not switched to glpk-cut-log? see /INSTALL)]) else AC_MSG_RESULT([$GLPK_LIBS]) # make sure it works in static builds, too |