[m-rev.] diff: reenable java grade

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

configure.in:
	Reenable the java grade now that the library
	compiles in that grade again.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.400
diff -u -r1.400 configure.in
--- configure.in	3 Aug 2004 05:31:30 -0000	1.400
+++ configure.in	11 Sep 2004 09:32:14 -0000
@@ -2719,14 +2719,11 @@
 	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
--------------------------------------------------------------------------