[m-rev.] for review: delete 2nd configure bootstrap test

[Fergus Henderson]

For review by Zoltan.

Estimated hours taken: 0.25
Branches: main

configure.in:
	When checking to see if the installed compiler is suitable for
	bootstrapping, only invoke it once, not twice; i.e. delete the
	second test, which is not needed anymore since the first test
	already tests for something more recent than the second one.
	Likewise don't bother to test the user-guided-type-specialization
	mmc option, since that test is also redundant.

Workspace: /mnt/mars/home/mars/fjh/ws1/mercury
Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.264
diff -u -d -r1.264 configure.in
--- configure.in	2001/06/27 00:25:24	1.264
+++ configure.in	2001/06/27 00:44:44
@@ -100,8 +100,6 @@
 		foo(X::out) :-
 			X = 42.
 
-		% Currently we test that mmc accepts the
-		% --fixed-user-guided-type-specialization flag.
 		main --> 
 			( { foo(42) } ->
 				print("Hello, world\n")
@@ -111,36 +109,12 @@
 EOF
 	if
 	 	echo $BOOTSTRAP_MC conftest >&AC_FD_CC 2>&1 &&
-	 	$BOOTSTRAP_MC --fixed-user-guided-type-specialization \
+	 	$BOOTSTRAP_MC \
 			--halt-at-warn --link-flags "--static" conftest \
 		 	</dev/null >&AC_FD_CC 2>&1 &&
 		test "`./conftest 2>&1 | tr -d '\015'`" = "Hello, world"
 	then
-		rm -f conftest*
-		cat > conftest.m << EOF
-			% This module generates an assignment of the address of
-			% the MR_do_fail label to a redoip slot.
-			:- module conftest.
-
-			:- interface.
-
-			:- pred p(int::out) is multi.
-
-			:- implementation.
-
-			p(1).
-			p(2).
-EOF
-		if 
-			$BOOTSTRAP_MC --compile-to-c --grade asm_fast.gc -O0 \
-				conftest </dev/null >&AC_FD_CC 2>&1 &&
-			grep "MR_ENTRY(MR_do_fail);" conftest.c >/dev/null 2>&1
-		then
 		AC_MSG_RESULT(yes)
-		else
-			BOOTSTRAP_MC=
-			AC_MSG_RESULT(no)
-		fi
 	else
 		BOOTSTRAP_MC=
 		AC_MSG_RESULT(no)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------