From: Tim King <taking@cs.nyu.edu>
Date: Mon, 19 May 2014 19:12:54 +0000 (-0400)
Subject: Fixing documentation for glpk configuration.
X-Git-Tag: cvc5-1.0.0~6899
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6d0b65966d7715ca6891ebe0f6e9bea0a63edb90;p=cvc5.git

Fixing documentation for glpk configuration.
---

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