[m-rev.] diff: Mercury.options for rl_code.m

[Zoltan Somogyi]

compiler/Mercury.options:
	Change the default options for rl_code.m to make it compile in
	reasonable times in debugging grades.

Zoltan.

Index: Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Mercury.options,v
retrieving revision 1.3
diff -u -b -r1.3 Mercury.options
--- Mercury.options	5 Feb 2003 14:41:11 -0000	1.3
+++ Mercury.options	8 May 2003 06:00:30 -0000
@@ -6,13 +6,15 @@
 # Mercury.options - module-specific flags for Mmake and `mmc --make'.
 #-----------------------------------------------------------------------------#
 
-# Compilation of rl_code.c is really slow (about 26 minutes on traveller with
-# --trace deep) at the default level of -O2, due to the C optimizer's use of
-# quadratic algorithms on a couple of 20,000-line functions (the automatically
+# Compilation of rl_code.c is really slow, especially with --trace deep,
+# at the default level of -O2, due to the C optimizer's use of quadratic
+# algorithms on a couple of 20,000-line functions (the automatically
 # generated index and compare routines on the bytecode type). The code in this
-# module can't really benefit from those algorithms anyway. With -O1, the 26
-# minutes drops to less than 26 seconds.
-CFLAGS-aditi_backend.rl_code=-O1
+# module can't really benefit from those algorithms anyway. With -O1 and
+# --trace deep, it still takes 8 minutes on miles. Simon can change the
+# --trace-minimum to --trace deep in his workspaces if he needs to.
+CFLAGS-aditi_backend.rl_code=-O0
+MCFLAGS-aditi_backend.rl_code=--trace minimum
 
 # process_util.m uses `kill' and `struct sigaction' from <signal.h>,
 # which are not available with `--ansi'.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------