[mercury-users] CVS install not working

[Julien Fischer]

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

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