[m-rev.] diff: optimize dead procs for robdd.m.

[Zoltan Somogyi]

This is for both branches.

Zoltan.

library/Mmakefile:
	Optimize dead procs even for robdd.m, since not doing so leaves
	unneeded procedures in the output, slowing compilation and increasing
	code size.

cvs diff: Diffing .
Index: Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/Mercury.options,v
retrieving revision 1.2
diff -u -b -r1.2 Mercury.options
--- Mercury.options	21 Dec 2004 07:37:18 -0000	1.2
+++ Mercury.options	13 Feb 2005 05:06:07 -0000
@@ -18,7 +18,7 @@
 
 # Bug workarounds.
 MCFLAGS-std_util += --no-halt-at-warn
-MCFLAGS-robdd += -O0
+MCFLAGS-robdd += -O0 --optimize-dead-procs
  
 # io.m uses library features that are supported by POSIX but which are not
 # part of ANSI C, such as `struct stat', fileno(), and putenv().
Index: term_io.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/term_io.m,v
retrieving revision 1.72
diff -u -b -r1.72 term_io.m
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------