[m-rev.] for review: enable exception analysis for stdlib

[Julien Fischer]

This diff is against the release branch, I'll commit something
similar on the main branch after Zoltan commits his change
to the way options are handled.

Estimated hours taken: 0.1
Branches: release

Use exception analysis by default when compiling the standard
library.  This increases the time required to compile the library
by about 7% (which is just over a minute on earth).

library/Mmakefile:
	Enable exception analysis when compiling the standard
	library.

Julien.

Workspace:/home/earth/juliensf/mercury-0.12
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.139.2.1
diff -u -r1.139.2.1 Mmakefile
--- Mmakefile	17 Feb 2005 06:39:22 -0000	1.139.2.1
+++ Mmakefile	3 May 2005 00:17:30 -0000
@@ -53,6 +53,7 @@
 INTERMODULE_OPTS = --transitive-intermodule-optimization \
 			--no-warn-smart-recompilation
 ENABLE_TERM_OPTS = --enable-termination
+EXCEP_ANALYSIS_OPTS = --analyse-exceptions
 CHECK_TERM_OPTS =
 # If you want to actually check termination for the library, then you need
 #	CHECK_TERM_OPTS = --check-termination
@@ -63,6 +64,7 @@

 INTERMODULE_OPTS =
 ENABLE_TERM_OPTS =
+EXCEP_ANALYSIS_OPTS =
 CHECK_TERM_OPTS =

 endif
@@ -91,7 +93,8 @@
 #     (in particular it relies on --no-reorder-disj).

 MCFLAGS += --strict-sequential $(LIBRARY_TRACE_LEVEL) --generate-mmc-deps \
-		$(INTERMODULE_OPTS) $(ENABLE_TERM_OPTS) $(CHECK_TERM_OPTS)
+		$(INTERMODULE_OPTS) $(EXCEP_ANALYSIS_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.

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