[m-dev.] Problems installing rotd (02-25)...
Nancy.Mazur at cs.kuleuven.ac.be
Mon Feb 28 18:59:05 AEDT 2005
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).
I'm simply doing:
The last command with the error that it produces are listed in the
What do I do wrong?
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
More information about the developers