[m-rev.] diff: make configure warn about dodgy versions of gcc

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main, release

configure.in:
	Don't allow configure to succeed with versions of GCC that are known
	not to work properly with Mercury.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.432
diff -u -r1.432 configure.in
--- configure.in	19 Sep 2005 08:06:43 -0000	1.432
+++ configure.in	22 Sep 2005 12:47:14 -0000
@@ -645,6 +645,23 @@
 rm -f conftest*

 #-----------------------------------------------------------------------------#
+# Check for version of gcc that are known to either not work with Mercury
+# or work very poorly with Mercury (and are probably best avoided.)
+
+if test "$GCC" = yes
+then
+	case "`$CC --version < /dev/null`" in
+	*2.96*|*3.0*|*3.3.1*|*4.0*)
+		AC_MSG_ERROR(
+[Mercury does not work with this version of GCC
+****	Please see the file RELEASE_NOTES for a list of GCC versions
+****	that are known to work with this release of Mercury.])
+	exit 1
+	;;
+	esac
+fi
+
+#-----------------------------------------------------------------------------#
 # Make sure we search /usr/local/include and /usr/local/lib for
 # header files and libraries.  GNU C normally searches /usr/local/include
 # by default, but (inconsistently) on some systems, such as Solaris,

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