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