[mercury-users] CVS install not working

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Mar 18 19:31:13 AEDT 2008

On Tue, 18 Mar 2008, Peter Wang wrote:

> On 2008-03-18, Ben Mellor <cumber at netspace.net.au> wrote:
>> Hi
>> I'm a new honours student at Melbourne University, going to be working
>> on the mercury system for my honours project.
>> I'm having some trouble doing a CVS install of mercury on my laptop.
>> I've installed mercury-rotd-2008-03-13, and that seems to have gone
>> fine.
>> Next, following the instructions at
>> http://www.cs.mu.oz.au/research/mercury/information/developers/remote_cvs.html,
>> I've checked out the mercury, mercury-gcc, and tests modules (not sure
>> whether or not I actually need the mercury-gcc one or not), so I have:
>> ~/mercury/devel/mercury
>> ~/mercury/devel/mercury-gcc
>> ~/mercury/devel/tests
> `tests' should be inside the `mercury' directory.  There is some support for
> having `tests' outside in the bootcheck script, but I believe that is all.

You can have tests in either place; the nightly builds still have it
outside of the mercury directory.  (In the long term we will 
restructure the repository so that it's always inside mercury.)

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list