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

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

On Mon, 28 Feb 2005, Nancy Mazur wrote:

> Hi there,
> I run into problems when trying to install the rotd (02-25) (which seems
> to be needed to be able to compile the CVS mercury version, ie, version
> 0.11.0 seems to be not recent enough).
No, it's highly unlikely that the current rotd will compile with 0.11.0
as the compiler now requires several features that didn't exist in 0.11.0.

> I'm simply doing:
> ./configure --prefix=blabla
> make
> make install
> The last command with the error that it produces are listed in the
> attachment.
The problem is that it is trying to build the library in the java grade.
The java grade is currently broken in a number of places, one of which
you have just run into.

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

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