From 6d0b65966d7715ca6891ebe0f6e9bea0a63edb90 Mon Sep 17 00:00:00 2001 From: Tim King Date: Mon, 19 May 2014 15:12:54 -0400 Subject: Fixing documentation for glpk configuration. --- INSTALL | 1 - config/glpk.m4 | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/INSTALL b/INSTALL index 7427c582c..79b6761db 100644 --- a/INSTALL +++ b/INSTALL @@ -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 -- cgit v1.2.3