[m-rev.] diff: allow disabling of recompilation tests

[Simon Taylor]

Estimated hours taken: 0.2

tests/Mmake.common:
recompilation/Mmakefile:
recompilation/runtests:
	Provide a way to disable the recompilation tests --
	put `RUN_RECOMPILATION_TESTS=no' in tests/Mmake.params.
	This is needed for compilers built in deep profiling grades,
	because smart recompilation uses exception handling, which does
	not yet work with deep profiling.

Index: Mmake.common
===================================================================
RCS file: /home/mercury1/repository/tests/Mmake.common,v
retrieving revision 1.21
diff -u -u -r1.21 Mmake.common
--- Mmake.common	2000/05/15 18:31:45	1.21
+++ Mmake.common	2001/06/29 08:04:36
@@ -6,11 +6,19 @@
 # file by setting both GRADEFLAGS-foo.
 #
 
-# override this with `mmake HAVE_NUPROLOG=yes'
+# Override this with `mmake HAVE_NUPROLOG=yes'
 # if you want to rebuild the `.exp' files.
 HAVE_NUPROLOG=no
 
 DIFF_OPTS=-c
+
+# Override this with `RUN_RECOMPILATION_TESTS=no'
+# if your compiler cannot run smart recompilation.
+# This is only necessary for compilers built in deep
+# profiling grades, because smart recompilation uses
+# exception handling, which does not yet work with
+# deep profiling.
+RUN_RECOMPILATION_TESTS=yes
 
 #-----------------------------------------------------------------------------#
 
Index: recompilation/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/recompilation/Mmakefile,v
retrieving revision 1.2
diff -u -u -r1.2 Mmakefile
--- recompilation/Mmakefile	2001/06/28 07:05:05	1.2
+++ recompilation/Mmakefile	2001/06/29 07:33:49
@@ -16,6 +16,9 @@
 		rm -rf $$module.m $${module}_2.m ;\
 	done
 
+should_run_recompilation_tests:
+	@echo $(RUN_RECOMPILATION_TESTS)
+
 # Smart recompilation doesn't yet work with --intermodule-optimization.
 # The `override' is needed because otherwise make ignores the assignment if
 # EXTRA_MCFLAGS is set on the command line, as it is for the nightly tests.
Index: recompilation/runtests
===================================================================
RCS file: /home/mercury1/repository/tests/recompilation/runtests,v
retrieving revision 1.1
diff -u -u -r1.1 runtests
--- recompilation/runtests	2001/06/27 05:05:16	1.1
+++ recompilation/runtests	2001/06/29 07:34:51
@@ -4,6 +4,13 @@
 # Return a status of 0 (true) if everything is all right, and 1 otherwise.
 
 . ../handle_options
+
+case "`mmake $mmakeopts should_run_recompilation_tests`" in
+	no)	
+		exit 0
+		;;
+esac
+
 . ../startup
 
 . ./TESTS
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------