[m-rev.] diff: finish a bootstrap

[Zoltan Somogyi]

On 23-Dec-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> If you're going to do that, then shouldn't you also modify the code in
> configure.in which checks whether the compiler is sufficiently up-to-date?

Good catch.

configure.in:
	Require the bootstrap compiler to support term size profiling,
	which guarantees that it supports the builtin that is no longer defined
	in library/term_size_prof_builtin.m.

Zoltan.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.382
diff -u -b -r1.382 configure.in
--- configure.in	18 Dec 2003 13:12:07 -0000	1.382
+++ configure.in	23 Dec 2003 06:13:50 -0000
@@ -218,7 +218,11 @@
 			--read-config-file-2003-03-01 \
 			--halt-at-warn $link_static_opt conftest \
 			</dev/null >&AC_FD_CC 2>&1 &&
-		test "`./conftest 2>&1 | tr -d '\015'`" = "Hello, world"
+		test "`./conftest 2>&1 | tr -d '\015'`" = "Hello, world" &&
+		$BOOTSTRAP_MC \
+			--record-term-sizes-as-words \
+			--compile-to-c conftest \
+			</dev/null >&AC_FD_CC 2>&1
 	then
 		AC_MSG_RESULT(yes)
 	else
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------