diff options
author | Tim King <taking@cs.nyu.edu> | 2014-05-19 15:12:54 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2014-05-19 15:12:54 -0400 |
commit | 6d0b65966d7715ca6891ebe0f6e9bea0a63edb90 (patch) | |
tree | 936ebd0e5ee88a7d0778b36102b86f4138d5fab1 /config | |
parent | 3ce2f2590ba541e901403707e924ad10f0b5f7d5 (diff) |
Fixing documentation for glpk configuration.
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 |