[mercury-users] Problem with: Different clauses for different modes

[Fergus Henderson]

On 25-Sep-2001, Ondrej Bojar <oboj7042 at ss1000.ms.mff.cuni.cz> wrote:
> Which ROTD is enough for this?

Anything after May 27, 2001.

> mercury-rotd-2001-09-25.i686-pc-linux-libc2.1-gnu-O4.tar.gz ?
> mercury-rotd-2001-09-24.i686-pc-linux-libc2.1-gnu-O2.tar.gz ?
> 
> And what are the other options?
> 
> mercury-rotd-2001-09-25.i686-pc-linux-libc2.1-gnu-O5-intermod.tar.gz
> mercury-rotd-2001-09-25.i686-pc-linux-libc2.1-gnu-O4-hlc.tar.gz
> 
> Are ROTDs published as binaries?

Yes, the versions listed above are all binary distributions
for x86 PCs running Linux.  The different versions are built
with slightly different options (we build versions with different
sets of options as part of our automated test procedures).  Probably the
mercury-rotd-2001-09-25.i686-pc-linux-libc2.1-gnu-O5-intermod.tar.gz
version is the most efficient, since it gets compiled with
`-O5 --intermodule-optimization'.

The source distribution is in the files mercury-compiler-rotd*.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------