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 | |
parent | 3ce2f2590ba541e901403707e924ad10f0b5f7d5 (diff) |
Fixing documentation for glpk configuration.
-rw-r--r-- | INSTALL | 1 | ||||
-rw-r--r-- | config/glpk.m4 | 2 |
2 files changed, 1 insertions, 2 deletions
@@ -114,7 +114,6 @@ CVC4 with CLN support, you are licensing CVC4 under that same license. (Usually CVC4's license is more permissive than GPL is; see the file COPYING in the CVC4 source distribution for details.) Please visit http://www.ginac.de/CLN/ for more details about CLN. -a fork of GLPK (the GNU Linear Programming Kit). glpk-cut-log is a fork of GLPK (the GNU Linear Programming Kit). This can be used to speed up certain classes of problems for the arithmetic implementation in CVC4. (This is not recommended for most users.) The source 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 |