This should have the effect of checking out a fresh copy, and doing
touch Mmake.params && autoconf && mercury_cv_low_tag_bits=2 \ mercury_cv_bits_per_word=32 \ mercury_cv_unboxed_floats=no \ sh configure --prefix=$INSTALL_DIR && mmake MMAKEFLAGS='EXTRA_MCFLAGS="-O5 --opt-space" -j6' tar
If it passes all the tests, it should put the resulting tar file in /home/mercury/public/test_mercury/test_dirs/mercury-latest-stable and ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/beta-releases.
Make sure you test all the programs in the `samples' and `extras' directories.
The mirror at ftp://ftp.ntua.gr/pub/lang/mercury is automated; it should
automatically mirror the Mercury ftp site at ftp.mercury.cs.mu.oz.au
on a nightly basis (or thereabouts). But in case
anything should need changing, the person to contact there is
Yiorgos Adamopoulos
For the Stonybrook mirror, email Konstantinos Sagonas
Unfortunately this mirror is not automated, so don't worry about it except for
major releases or important bug fixes.
The mirror at ftp://ftp.csd.uu.se/pub/Mercury is also supposedly automated;
however, it seems to be often quite out-of-date (due to the connection
dropping and/or timing out over the rather slow link to Sweden?).
The person to contact regarding this one is Thomas Lindgren