[m-rev.] diff: disable the java grade

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

configure.in:
	Temporarily disable the java grade since
	the standard library won't compile due to
	the bug Zoltan reported a week or so ago.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.398
diff -u -r1.398 configure.in
--- configure.in	20 Jul 2004 04:40:53 -0000	1.398
+++ configure.in	21 Jul 2004 16:38:18 -0000
@@ -2718,11 +2718,14 @@
 	LIBGRADES="$LIBGRADES il"
 fi

+# XXX The java grade is temporarily disabled because
+# the standard library won't compile in grade java.
+#
 # add Java back-end grade, if Java is installed
-if test $mercury_cv_java = yes -a "$enable_java_grade" = yes
-then
-	LIBGRADES="$LIBGRADES java"
-fi
+#if test $mercury_cv_java = yes -a "$enable_java_grade" = yes
+#then
+#	LIBGRADES="$LIBGRADES java"
+#fi

 # Allow the user to override the default list of library grades


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