[m-rev.] diff: delete "sorry" clauses in library

[Fergus Henderson]

Sorry, I forgot to include the changes to the Mmakefile.

Estimated hours taken: 0.25
Branches: main

library/Mmakefile:
	Compile with `--allow-stubs --no-warn-stubs' for the IL and
	Java grades.

Workspace: /home/ceres/fjh/mercury
Index: library/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.108
diff -u -d -r1.108 Mmakefile
--- library/Mmakefile	19 Feb 2003 06:31:22 -0000	1.108
+++ library/Mmakefile	22 Feb 2003 10:38:26 -0000
@@ -83,6 +83,14 @@
 MCFLAGS += --strict-sequential --trace minimum --generate-mmc-deps \
 		$(INTERMODULE_OPTS) $(ENABLE_TERM_OPTS) $(CHECK_TERM_OPTS)
 
+# The IL and Java implementations of the standard library are not yet complete,
+# so we need to pass `--allow-stubs' to get them to compile.
+# Since the standard library is compiled with `--halt-at-warn',
+# we also need `--no-warn-stubs'.
+ifneq ("","$(findstring il,$(GRADE))$(findstring java, $(GRADE))")
+MCFLAGS += --allow-stubs --no-warn-stubs
+endif
+
 #-----------------------------------------------------------------------------#
 
 CFLAGS	+=	$(DLL_CFLAGS) -I$(TRACE_DIR)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------