diff: bootcheck -T

Simon Taylor stayl at cs.mu.OZ.AU
Wed Feb 11 10:40:48 AEDT 1998


Estimated hours taken: 0.1

tools/bootcheck
	Set MMAKE_DIR and MERCURY_MOD_LIB_MODS before running the tests.

Index: bootcheck
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/bootcheck,v
retrieving revision 1.45
diff -u -r1.45 bootcheck
--- bootcheck	1998/02/08 05:38:08	1.45
+++ bootcheck	1998/02/10 12:25:41
@@ -584,6 +584,13 @@
 	MERCURY_GC_INCL_DIR="$root/stage2/boehm_gc"
 	export MERCURY_GC_INCL_DIR
 
+	MMAKE_DIR="$root/stage2/scripts"
+	export MMAKE_DIR
+
+	MERCURY_MOD_LIB_MODS="$root/stage2/runtime/runtime.init \
+				$root/stage2/library/libmercury.init"
+	export MERCURY_MOD_LIB_MODS
+
 		# for mkinit, mmc, mgnuc, ml etc
 	PATH=$root/stage2/util:$root/stage2/scripts:$PATH
 	export PATH



More information about the developers mailing list