diff: clpr/Mmakefile bug fix

[Fergus Henderson]

clpr/Mmakefile:
	Fix a bug which broke things if EXTRA_MLFLAGS was defined
	as `--no-strip': put `-L' options at the end of MLFLAGS,
	after $(EXTRA_MLFLAGS), because `-L' is a `gcc' option, not
	an `ml' option, and $(EXTRA_MLFLAGS) may contain ml options,
	and ml requires that all ml options must precede all gcc options.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/clpr/Mmakefile,v
retrieving revision 1.10
diff -u -u -r1.10 Mmakefile
--- Mmakefile	1997/10/26 17:01:06	1.10
+++ Mmakefile	1998/01/03 11:23:48
@@ -30,7 +30,7 @@
 MGNUCFLAGS += -Wno-strict-prototypes
 
 # Link in the CLP(R) library
-MLFLAGS = -R`pwd`/clpr -Lclpr $(EXTRA_MLFLAGS)
+MLFLAGS = -R`pwd`/clpr $(EXTRA_MLFLAGS) -Lclpr
 MLLIBS = -lclpr $(EXTRA_MLLIBS)
 
 # We need to make sure that the CLP(R) library gets initialized

-- 
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.