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

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Feb 28 21:22:20 AEDT 2005

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

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

+# XXX The java backend is currently broken, so we don't
+# enable the java grade by default.
-[  --disable-java-grade    do not install the Java grade],
+[  --enable-java-grade    install the Java grade],

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

More information about the developers mailing list