[mercury-users] Two unrelated problems.
Michael Richter
ttmrichter at gmail.com
Thu Nov 25 21:43:23 AEDT 2010
On 24 November 2010 23:25, Julien Fischer <juliensf at csse.unimelb.edu.au>wrote:
> If this is a Mercury installation you built from the source
> distribution, or are you using the winmercury
> (http://code.google.com/p/winmercury/) distribution?
> If the latter, then it does not currently include support for the
> erlang or java grades; if the former you can enable them as per
> the instructions in README.Java and README.Erlang.
>
It was indeed the latter. I'm in the process of doing the former on my
Linux box now. Thanks for the pointer.
> It's most likely getting it from a setting within the Mercury.config file.
> This can be found at:
>
> <INSTALLDIR>\lib\mercury\conf\Mercury.config
>
> where <INSTALLDIR> is wherever the package was installed.
>
That was indeed the right place and the fix for it was a trivial environment
variable addition. Thanks again.
--
"Perhaps people don't believe this, but throughout all of the discussions of
entering China our focus has really been what's best for the Chinese people.
It's not been about our revenue or profit or whatnot."
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20101125/79494fc7/attachment.html>
More information about the users
mailing list