[m-rev.] for review: turn on --no-warn-inferred-erroneous

[Peter Ross]

Hi,

I will not check this in for a few days, while I wait for a compiler
which accepts the --no-warn-inferred-erroneous flag to be installed.

I will also tag the compiler with a bootstrap tag just before checking
in.

===================================================================


Estimated hours taken: 0.25
Branches: main

Add the flag --no-warn-inferred-erroneous to the MCFLAGS.  This avoids
spurious installation failures because some of the library code is not
implemented in all grades.

Mmake.common.in:
    Add --no-warn-inferred-erroneous to MCFLAGS.

configure.in:
    Test that the compiler accepts --no-warn-inferred-erroneous.


Index: Mmake.common.in
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmake.common.in,v
retrieving revision 1.58
diff -u -r1.58 Mmake.common.in
--- Mmake.common.in	29 Jun 2001 15:55:02 -0000	1.58
+++ Mmake.common.in	11 Feb 2002 11:28:17 -0000
@@ -148,7 +148,7 @@
 BROWSER_LIB_NAME = mer_browser
 
 # Options to pass to the Mercury compiler
-MCFLAGS	= --no-infer-all --halt-at-warn
+MCFLAGS	= --no-infer-all --halt-at-warn --no-warn-inferred-erroneous
 
 # Do we want to deal with intermodule information when building the library?
 # By default yes, since this way we note immediately when intermodule
Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.295
diff -u -r1.295 configure.in
--- configure.in	3 Feb 2002 09:01:25 -0000	1.295
+++ configure.in	11 Feb 2002 11:28:18 -0000
@@ -119,10 +119,10 @@
 		").
 EOF
 	if
-		# Test for the `--fullarch' option.
+		# Test for the `--no-warn-inferred-erroneous' option.
 	 	echo $BOOTSTRAP_MC conftest >&AC_FD_CC 2>&1 &&
 	 	$BOOTSTRAP_MC \
-			--fullarch "$FULLARCH" \
+            --no-warn-inferred-erroneous \
 			--halt-at-warn $link_flags conftest \
 		 	</dev/null >&AC_FD_CC 2>&1 &&
 		test "`./conftest 2>&1 | tr -d '\015'`" = "Hello, world"

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------