[m-dev.] diff: MLDS back-end: add work-around to library/Mmakefile

[Fergus Henderson]

Estimated hours taken: 0.25

library/Mmakefile:
	Add a work-around for a bug in MLDS code generation:
	if we're in an MLDS grade, compile a few modules
	with --no-inlining.

Workspace: /home/pgrad/fjh/ws/hg
Index: library/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.45
diff -u -d -r1.45 Mmakefile
--- library/Mmakefile	2000/03/13 04:00:06	1.45
+++ library/Mmakefile	2000/05/13 05:54:55
@@ -23,6 +23,18 @@
 MCFLAGS-int = --no-halt-at-warn
 
 #-----------------------------------------------------------------------------#
+#
+# XXX The MLDS back-end has a bug which causes problems when inlining
+# pragma c_code into nondet procedures.  This works around those problems.
+#
+
+ifneq "$(findstring hlc,$(GRADE))" ""
+    MCFLAGS-benchmarking = --no-inlining
+    MCFLAGS-std_util = --no-inlining
+    MCFLAGS-term_io = --no-inlining
+endif
+
+#-----------------------------------------------------------------------------#
 
 # If we're going to generate both `.o' files and `.pic_o' files, then
 # don't remove the intermediate `.c' files.

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