diff: bug fix for clpr samples.

[Tyson Dowd]

Hi,

Due to the way "picregs" is added to the grade when you compile
with it, I don't think you can build mixed shared and non-shared
Mercury libraries by just using --mercury-libs shared to get the
"standard" libs shared.

===================================================================


Estimated hours taken: 0.5

Fix a bug uncovered/introduced by recent changes to ml.

extras/clpr/samples/Mmakefile:
	Use MLFLAGS += --shared, rather than redefining ML, and
	rather than using --mercury-libs shared. 


Index: extras/clpr/samples/Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/clpr/samples/Mmakefile,v
retrieving revision 1.7
diff -u -r1.7 Mmakefile
--- Mmakefile	1998/02/11 09:10:09	1.7
+++ Mmakefile	1998/02/26 05:46:19
@@ -23,7 +23,7 @@
 
 # The following is needed so that we can use shared libraries on Linux
 MGNUCFLAGS += -DPIC_REG
-ML = ml --mercury-libs shared
+MLFLAGS += --shared
 
 # The following would be needed to use static libraries on Linux
 # MLLIBS = ../libcfloat_lib.a -lclpr


-- 
       Tyson Dowd           # There isn't any reason why Linux can't be
                            # implemented as an enterprise computing solution.
     trd at cs.mu.oz.au        # Find out what you've been missing while you've
http://www.cs.mu.oz.au/~trd # been rebooting Windows NT. -- InfoWorld, 1998.