[m-rev.] diff: build source distribution on earth

[Simon Taylor]

Estimated hours taken: 0.2

tools/test_mercury:
	Build the source distribution on earth, not mars.
	`--use-subdirs' does cause problems with the
	source distribution.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.163
diff -u -u -r1.163 test_mercury
--- test_mercury	6 Oct 2001 02:43:54 -0000	1.163
+++ test_mercury	14 Oct 2001 10:32:02 -0000
@@ -657,9 +657,12 @@
 
 MERCURY_COMPILER=$BOOTSTRAP_MERCURY_COMPILER
 export MERCURY_COMPILER
-case $HOST in mars)
-	# XXX This mmake realclean was needed when the source distribution
-	# was built on murlibobo. Is it needed now?
+case $HOST in earth)
+	# The tests on earth are run with `--intermodule-optimization',
+	# so we need to do a `mmake realclean' before building the C files
+	# for the source distribution. The extra compilation time for
+	# `--intermodule-optimization' is probably not acceptable for the
+	# source distribution.
 	{ cd $DIR/mercury &&
 	mmake realclean MMAKEFLAGS=$PARALLEL &&
 	(cd $DIR/tests &&
@@ -978,7 +981,7 @@
 	: if we get this far, then it worked.
 	[ -d $TESTDIR/logs ] || mkdir -p $TESTDIR/logs
 	date >> $TESTDIR/logs/success."$TEST_ID"
-	case $HOST in murlibobo)
+	case $HOST in earth)
 	    cd $DIR &&
 		# Delete older stable versions that this one replaces
 	    rm -f $STABLE/mercury-*-$RELEASE_VERSION_PATTERN[0-9].tar.gz &&
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------