[mercury-users] Mercury CVS tags

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Nov 22 10:26:31 AEDT 2004


On 18-Nov-2004, Sergey Khorev <sergey.khorev at gmail.com> wrote:
> Is there a document which describes the tags naming scheme for Mercury?
> Particularly I'm interested in checking out 11.1 beta (both 2004-30-06
> and current).

The branch tag "version-0_11-branch" holds the 0.11.* release series.
Tag "version-0_11_0" is the 0.11.0 release.  There's no tag for
version-0_11_1 because it hasn't been released yet.  The "0.11.1 beta"
releases are just snapshots of the version-0_11-branch branch.

To check out the current 0.11.1 beta, you can do

	cvs checkout -rversion-0_11-branch mercury

To check out a 0.11.1 beta from a particular date,
use the same branch, and add a date specification using
cvs's "-D" option, e.g.

	cvs checkout -rversion-0_11-branch -D'2004-06-30' mercury

There are also tags which record, for each system that we run nightly
tests on, the most recent version on the branch that (a) bootstrapped or
(b) that bootstrapped and passed all of the test cases.
These are the unstable-version-0_11-branch-* and the
stable-version-0_11-branch-* tags respectively.
You can use "cvs status -v" to get a list of all of those tags,
e.g.
	cvs checkout mercury/NEWS
	cvs status -v mercury/NEWS | grep version-0_11-branch | sort

Cheers,
	Fergus.

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list