[m-dev.] diff: fix libcfloat undefined symbols

[Fergus Henderson]

Estimated hours taken: 0.25

extras/clpr/Mmakefile:
	Link in the clpr library (from extras/clpr/clpr),
	to avoid undefined symbols when linking libcfloat.so.
	This is needed now that `--no-allow-undefined' is the default.

Workspace: /home/venus/fjh/ws-venus2/mercury
Index: extras/clpr/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/clpr/Mmakefile,v
retrieving revision 1.19
diff -u -d -r1.19 Mmakefile
--- extras/clpr/Mmakefile	2000/04/19 05:44:23	1.19
+++ extras/clpr/Mmakefile	2001/02/12 06:33:56
@@ -37,7 +37,13 @@
 C2INITARGS = cfloat.c
 
 # We need this to use shared libraries on Linux
-ML = ml --mercury-libs shared
+MLFLAGS = --mercury-libs shared
+
+# This library (cfloat_lib) uses the clpr library in the clpr
+# directory; we need to link that in to avoid undefined symbols
+# when building libcfloat.so.
+MLFLAGS += -Lclpr
+MLLIBS = -lclpr
 
 # In case the user doesn't define it, to avoid a warning
 MMAKEFLAGS=

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------