trivial diff: scripts/mmc.in: delete LPSOLVE stuff

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Nov 5 21:51:14 AEDT 1998


scripts/mmc.in:
	Delete the definition of MERCURY_LPSOLVE, since it's long
	obsolete.

Index: scripts/mmc.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/mmc.in,v
retrieving revision 1.5
diff -u -r1.5 mmc.in
--- mmc.in	1998/02/05 03:41:56	1.5
+++ mmc.in	1998/11/05 10:48:44
@@ -29,8 +29,6 @@
 HAVE_DELAY_SLOT=@HAVE_DELAY_SLOT@
 HAVE_BOXED_FLOATS=@HAVE_BOXED_FLOATS@
 DEFAULT_OPT_LEVEL=${MERCURY_DEFAULT_OPT_LEVEL="-O2"}
-MERCURY_LPSOLVE=${MERCURY_LPSOLVE=@PREFIX@/bin/lp_solve}
-export MERCURY_LPSOLVE
 
 # The default optimization level should be after
 # all the options that describe the machine configuration.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.



More information about the developers mailing list