[m-rev.] trivial diff: disable java grade by default on release branch

[Julien Fischer]

Estimated hours taken: 0.1
Branches: release

configure.in:
	Do not try to install the java grade by default.
	It currently doesn't compile and ends up breaking the
	install process.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.412
diff -u -r1.412 configure.in
--- configure.in	28 Jan 2005 07:11:29 -0000	1.412
+++ configure.in	9 Feb 2005 07:00:20 -0000
@@ -2587,7 +2587,7 @@

 AC_ARG_ENABLE(java-grade,
 [  --disable-java-grade    do not install the Java grade],
-enable_java_grade="$enableval",enable_java_grade=yes)
+enable_java_grade="$enableval",enable_java_grade=no)

 AC_ARG_ENABLE(libgrades,
 [  --enable-libgrades=...

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