[m-dev.] disable java

[Zoltan Somogyi]

Whoever broke the Java grade should fix it and then reenable the
commented out code.

Zoltan.

configure.in:
	Disable java grades for now, since they cause java compilation errors
	and thus prevent the creation of ROTDs.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.387
diff -u -b -r1.387 configure.in
--- configure.in	11 Feb 2004 03:49:56 -0000	1.387
+++ configure.in	26 Mar 2004 02:42:36 -0000
@@ -2623,10 +2623,11 @@
 fi
 
 # 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
+# disabled for now, due to Java compilation errors
+# 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-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------