[m-dev.] Problems installing rotd (02-25)...

[Julien Fischer]

On Mon, 28 Feb 2005, Julien Fischer wrote:

> Passing the `--disable-java-grade' option to configure should fix this
> problem.  (Actually, I though that I had disabled it by default but
> it doesn't seemed to have workd in this case).
>
Actually I only disabled it on the release branch.  The following diff does
the same thing for the main branch.

Estimated hours taken: 0.1
Branches: main

Disable the java grade on the main branch since the java
backend is currently broken.   (I committed a similar diff on
the release branch a while ago).

configure.in:
	Disable the java grade by default.

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	28 Feb 2005 10:08:51 -0000
@@ -2585,9 +2585,11 @@
 [  --disable-dotnet-grades do not install the .NET grades],
 enable_dotnet_grades="$enableval",enable_dotnet_grades=yes)

+# XXX The java backend is currently broken, so we don't
+# enable the java grade by default.
 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    install the Java grade],
+enable_java_grade="$enableval",enable_java_grade=no)

 AC_ARG_ENABLE(libgrades,
 [  --enable-libgrades=...
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------