[m-dev.] Problem installing Mercury on ceres

[Julien Fischer]

On Tue, 5 Jul 2005, Ralph Becket wrote:

> The Mercury build in
> /home/ceres/public/mercury-latest/i686-pc-linux-gnu/bin/mmc
> was created on June 30 and it's broken.
>
> I checked out a fresh copy on ceres in
>
> /tmp/mercury-compiler-rotd-2003-12-21
>
You'll need to get rid of the broken mmc, either delete it altogether or
remove it from your path.  Rather than checking a fresh copy out of CVS, I
suggest you try installing from the source distribution.

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