diff: move ftp site to ftp.mercury.cs.mu.oz.au
Fergus Henderson
fjh at cs.mu.OZ.AU
Mon Mar 1 04:50:31 AEDT 1999
We now have aliases ftp.mercury.cs.mu.oz.au and www.mercury.cs.mu.oz.au,
both pointing to hydra. Since turiel's ftp server is broken, I've moved
the ftp site to hydra. I will announce this on mercury-announce shortly.
Also mercury.cs.mu.oz.au is now an alias (roughly).
The new name for that machine will be quicksilver.cs.mu.oz.au.
--------------------
Estimated hours taken: 2
Update the documentation to use the new ftp site ftp.mercury.cs.mu.oz.au.
w3/include/mcorba.inc:
w3/download/include/*.inc:
Change the ftp site from turiel.cs.mu.oz.au to ftp.mercury.cs.mu.oz.au.
compiler/notes/release_checklist.html:
Update the documentation on ftp site maintenance
and also a few other things.
Index: compiler/notes/release_checklist.html
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/notes/release_checklist.html,v
retrieving revision 1.8
diff -u -r1.8 release_checklist.html
--- release_checklist.html 1998/07/20 10:02:51 1.8
+++ release_checklist.html 1999/02/28 17:40:51
@@ -1,6 +1,6 @@
<html>
<head>
-<title>Mercury Coding Standard for the Mercury Project</title>
+<title>Release Checklist for the Mercury Project</title>
</head>
<body bgcolor="#ffffff" text="#000000">
@@ -40,7 +40,9 @@
releases.
The HISTORY file should include the NEWS files from previous releases.
-<li> Update the WWW documentation in the `www' directory.
+<li> Update the WWW documentation in the `w3' directory.
+ Note that the sources for these HTML documents are in the files named
+ include/*.inc files.
<ul>
<li> For minor releases, update release.html with a new entry about
this release (put it at the top of the page), and provide a
@@ -94,7 +96,7 @@
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://turiel.cs.mu.oz.au/pub/mercury/beta-releases.
+ ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/beta-releases.
<li> Test it on lots of architectures. <br>
@@ -103,14 +105,32 @@
directories.
<li> Build binary distributions for those architectures.
+ This step is now automated as part of tools/test_mercury,
+ with the resulting binaries going in
+ /home/mercury/public/test_mercury/test_dirs/$HOST/mercury-latest-{un,}stable.
<li> Move the gzipped tar files from the /pub/mercury/beta-releases directory
- to the main /pub/mercury directory on the turiel ftp site
- ftp://turiel.cs.mu.oz.au/pub/mercury. <br>
- Email kostis at cs.sunysb.edu (Konstantinos Sagonas) to tell him
- to make copies of it on ftp://ftp.cs.sunysb.edu/pub/XSB/mercury
- respectively. XXX Kostis is now at Leuven, so this won't work. <br>
- The mirror on ftp://ftp.csd.uu.se/pub/Mercury is supposedly automated.
+ to the main /pub/mercury directory on the Mercury ftp site
+ ftp://ftp.mercury.cs.mu.oz.au/pub/mercury.
+ Copy the binary distributions to the same place.
+ <p>
+
+ 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 at dblab.ece.ntua.gr> and/or <ftpam at ntua.gr>). <p>
+
+ For the Stonybrook mirror, email Konstantinos Sagonas <Kostis.Sagonas at cs.kuleuven.ac.be>
+ to tell him to copy them to <ftp://ftp.cs.sunysb.edu/pub/XSB/mercury>. <p>
+ Unfortunately this mirror is not automated, so don't worry about it except for
+ major releases or important bug fixes. <p>
+
+ 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 at csd.uu.se>.
+ XXX Currently it is mirroring turiel, not ftp.mercury.
<li> Prepare a new "mercury-VERSION.lsm" file for this Mercury release
(use the one already uploaded to
@@ -118,7 +138,7 @@
version number, date, file sizes, and file names need to be updated
for a new release.
-<li> Upload "mercury-VERSION-core.tar.gz" and "mercury-VERSION.lsm" to
+<li> Upload "mercury-VERSION-compiler.tar.gz" and "mercury-VERSION.lsm" to
ftp://sunsite.unc.edu/incoming/Linux. They will be moved to
/pub/Linux/Incoming fairly quickly, and eventually should be moved
to /pub/linux/devel/lang/mercury.
@@ -132,7 +152,7 @@
comp.lang.misc, comp.lang.prolog, comp.lang.functional, comp.object.logic,
and for major releases also to comp.compilers and gnu.announce.
-<li> Update the Mercury WWW home page (/local/dept/www/mercury/mercury.html)
+<li> Update the Mercury WWW home page (/local/dept/w3/unsupported/docs/mercury/*)
by commiting the changes you made earlier.
</ol>
Index: w3/download/include/old-release.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/download/include/old-release.inc,v
retrieving revision 1.4
diff -u -r1.4 old-release.inc
--- old-release.inc 1998/12/12 19:46:29 1.4
+++ old-release.inc 1999/02/28 16:59:07
@@ -56,7 +56,7 @@
<dt>
The full source distribution is 4.8Mb.<br>
<dd> Distribution:
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.tar.gz">Australia</a>
<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.7.tar.gz">USA</a>
<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.7.tar.gz">Europe</a>
</dl>
@@ -66,28 +66,28 @@
<dl>
<dt>x86 machines running Linux (ELF executable format) (4.9Mb):
<dd> Distribution:
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.i386-linux-ELF.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.i386-linux-ELF.tar.gz">Australia</a>
<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.7.i386-linux-ELF.tar.gz">USA</a>
<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.7.i386-linux-ELF.tar.gz">Europe</a>
<p>
<dt>Sun SPARC machines running Solaris 2.x and SunOS 5.x (5.5Mb):
<dd> Distribution:
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.sparc-sun-solaris.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.sparc-sun-solaris.tar.gz">Australia</a>
<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.7.sparc-sun-solaris.tar.gz">USA</a>
<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.7.sparc-sun-solaris.tar.gz">Europe</a>
<p>
<dt>DEC Alpha machines running OSF/1 or Digital Unix (11.2Mb):
<dd> Distribution:
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.alpha-dec-osf.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.alpha-dec-osf.tar.gz">Australia</a>
<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.7.alpha-dec-osf.tar.gz">USA</a>
<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.7.alpha-dec-osf.tar.gz">Europe</a>
<p>
<dt>x86 machines running Windows 95 or Windows NT (2.9Mb):
<dd> Distribution:
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.i386-windows.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/old-releases/mercury-0.7.i386-windows.tar.gz">Australia</a>
</dl>
@@ -96,8 +96,8 @@
<dt> Australia:
<dd>
- <a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/old-releases/">
- ftp://turiel.cs.mu.OZ.AU/pub/mercury/old-releases/</a>
+ <a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/old-releases/">
+ ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/old-releases/</a>
<dt> USA:
<dd>
Index: w3/download/include/release.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/download/include/release.inc,v
retrieving revision 1.8
diff -u -r1.8 release.inc
--- release.inc 1999/02/19 08:12:26 1.8
+++ release.inc 1999/02/28 16:58:29
@@ -12,8 +12,8 @@
<dl>
<dt> Australia
-<dd> <a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/">
- ftp://turiel.cs.mu.OZ.AU/pub/mercury</a><br>
+<dd> <a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/">
+ ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury</a><br>
The Mercury ftp site in Melbourne, Australia.
<dt> Greece
<dd> <a href = "ftp://ftp.ntua.gr/pub/lang/mercury/">
@@ -135,15 +135,15 @@
<dl>
<dt> Compiler (6M)
<dd>
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.8.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.8.1.tar.gz">Australia</a>
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-compiler-0.8.1.tar.gz">Greece</a>
<dt> Extras (377k)
<dd>
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-extras-0.8.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-extras-0.8.1.tar.gz">Australia</a>
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-extras-0.8.1.tar.gz">Greece</a>
<dt> Tests (233k)
<dd>
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-tests-0.8.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-tests-0.8.1.tar.gz">Australia</a>
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-tests-0.8.1.tar.gz">Greece</a>
</dl>
@@ -159,7 +159,7 @@
<dt>x86 machines running Linux (ELF executable format, libc 6)
<dd> Debian Package (*.deb) <br>
Compiler only (about 11.6 Mb): <br>
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury_0.8.1-1.deb">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.8.1-1.deb">Australia</a>
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury_0.8.1-1.deb">Greece</a>
<br>
If you get this package, we suggest that you also download
@@ -167,14 +167,14 @@
<p>
Ordinary package (*.tar.gz) <br>
Compiler + Extras + Tests (about 14.5 Mb): <br>
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">Australia</a>
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">Greece</a>
<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">USA</a>
<p>
<dt>x86 machines running FreeBSD 3.0
<dd> Compiler only, minus sample programs (about 14.5 Mb): <br>
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.8.i386-pc-freebsd3.0.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.8.i386-pc-freebsd3.0.tar.gz">Australia</a>
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-compiler-0.8.i386-pc-freebsd3.0.tar.gz">Greece</a> <br>
If you get this distribution, we suggest you also download
the "compiler" and "extras" source distributions,
@@ -183,7 +183,7 @@
<dt>Sun SPARC machines running Solaris 2.x and SunOS 5.6
<dd> Compiler + Extras + Tests (about 17.9 Mb): <br>
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">Australia</a>
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">Greece</a>
<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">USA</a><br>
<em> <strong>WARNING:</strong>
@@ -195,14 +195,14 @@
<p>
<dt>DEC Alpha machines running OSF/1 or Digital Unix
<dd> Compiler + Extras + Tests (about 36 Mb): <br>
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">Australia</a>
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">Greece</a>
<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">USA</a>
<p>
<dt>x86 machines running Windows 95 or Windows NT
<dd> Compiler + Extras + Tests (about 14 Mb): <br>
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.pc-windows-cygwin-b20.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.pc-windows-cygwin-b20.1.tar.gz">Australia</a>
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.pc-windows-cygwin-b20.1.tar.gz">Greece</a>
</dl>
@@ -211,8 +211,8 @@
<dl>
<dt> Australia:
<dd>
- <a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/">
- ftp://turiel.cs.mu.OZ.AU/pub/mercury/</a>
+ <a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/">
+ ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/</a>
<dt> Greece
<dd>
Index: w3/download/include/rotd.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/download/include/rotd.inc,v
retrieving revision 1.3
diff -u -r1.3 rotd.inc
--- rotd.inc 1998/09/23 07:26:11 1.3
+++ rotd.inc 1999/02/28 16:59:51
@@ -17,7 +17,7 @@
<ul>
<li> <A HREF="<? echo $root; ?>/download/files/beta-releases/">
Mercury web site</A><br>
-<li> <A HREF="ftp://turiel.cs.mu.OZ.AU/pub/mercury/beta-releases/">
+<li> <A HREF="ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/beta-releases/">
Mercury ftp site</A>
</ul>
@@ -33,7 +33,7 @@
<ul>
<li> <A HREF="<? echo $root; ?>/download/files/beta-releases/">
Mercury web site</A><br>
-<li> <A HREF="ftp://turiel.cs.mu.OZ.AU/pub/mercury/beta-releases/">
+<li> <A HREF="ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/beta-releases/">
Mercury ftp site</A>
</ul>
Index: w3/include/mcorba.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/include/mcorba.inc,v
retrieving revision 1.5
diff -u -r1.5 mcorba.inc
--- mcorba.inc 1998/12/08 01:10:52 1.5
+++ mcorba.inc 1999/02/28 17:02:28
@@ -23,7 +23,7 @@
<ul>
<li> <A HREF="<? echo $root; ?>/download/files/mcorba/">
Mercury web site</A><br>
-<li> <A HREF="ftp://turiel.cs.mu.OZ.AU/pub/mercury/mcorba//">
+<li> <A HREF="ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mcorba//">
Mercury ftp site</A>
</ul>
--
Fergus Henderson <fjh at cs.mu.oz.au> | "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh> | but source code lives forever"
PGP: finger fjh at 128.250.37.3 | -- leaked Microsoft memo.
More information about the developers
mailing list