[m-dev.] diff: disable deforestation in test_mercury for earth

[Simon Taylor]

Estimated hours taken: 0.1

tools/test_mercury:
	module_qual__process_assert takes forever to compile with
	inter-module optimization and deforestation, so disable
	deforestation when running the tests on earth.cs.mu.oz.au.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.142
diff -u -u -r1.142 test_mercury
--- test_mercury	2001/03/01 12:18:24	1.142
+++ test_mercury	2001/03/02 03:48:22
@@ -128,7 +128,12 @@
 				gcc)	OPTIMIZE=-O5 ;;
 				*)	OPTIMIZE=-O2 ;;
 			esac ;;
-	earth)		OPTIMIZE="-O5 --intermodule-optimization" ;;
+
+			# XXX There are some performance problems
+			# with deforestation (module_qual__process_assert takes
+			# forever to compile with --intermodule-optimization
+			# and --deforestation), so disable it for now.
+	earth)		OPTIMIZE="-O5 --intermodule-optimization --no-deforestation" ;;
 	kryten) 	OPTIMIZE=-O1 ;;	# currently not used
 	rimmer) 	OPTIMIZE=-O1 ;; # currently not used
 esac
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------