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

[Simon Taylor]

Estimated hours taken: 0.2

tools/test_mercury:
	Build the source distribution on mars, not murlibobo.
	This avoids problems with the configure not enabling the
	deep profiler on murlibobo because /usr/lib/cgi-bin does
	not exist.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.161
diff -u -u -r1.161 test_mercury
--- test_mercury	4 Sep 2001 09:27:28 -0000	1.161
+++ test_mercury	5 Oct 2001 07:35:00 -0000
@@ -657,7 +657,9 @@
 
 MERCURY_COMPILER=$BOOTSTRAP_MERCURY_COMPILER
 export MERCURY_COMPILER
-case $HOST in murlibobo)
+case $HOST in mars)
+	# XXX This mmake realclean was needed when the source distribution
+	# was built on murlibobo. Is it needed now?
 	{ cd $DIR/mercury &&
 	mmake realclean MMAKEFLAGS=$PARALLEL &&
 	(cd $DIR/tests &&
@@ -669,7 +671,7 @@
 	mercury_cv_bits_per_word=32 \
 	mercury_cv_unboxed_floats=no \
 	sh configure --prefix=$INSTALL_DIR &&
-	mmake MMAKEFLAGS='EXTRA_MCFLAGS="-O5 --opt-space" -j6' tar &&
+	mmake MMAKEFLAGS='EXTRA_MCFLAGS="-O5 --opt-space" $PARALLEL' tar &&
 	cd .. &&
 	rm -f $UNSTABLE/* &&
 	mv mercury-compiler-$version.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
--------------------------------------------------------------------------