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

[Julien Fischer]

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

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------