Fixing documentation for glpk configuration.

diff --git a/INSTALL b/INSTALL
index 7427c582c176730be3325326c236e40800575ca3..79b6761dbd949dd00dc2516d460180d598657099 100644 (file)
--- 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 ecb91abdd2d1251804ced6a0e0df0a15e5461b47..f854830d36ff8d3677f09cf1021d509767ecc9b2 100644 (file)
--- 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