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 (adamo@dblab.ece.ntua.gr) and/or ftpam@ntua.gr.
For the Stonybrook mirror, email Konstantinos Sagonas (Kostis.Sagonas@cs.kuleuven.ac.be) to tell him to copy them to ftp://ftp.cs.sunysb.edu/pub/XSB/mercury.
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 (thomasl@csd.uu.se).