[m-rev.] for review: update download page
Fergus Henderson
fjh at cs.mu.OZ.AU
Sat Mar 31 17:41:16 AEST 2001
See <http://www.cs.mu.oz.au/~fjh/tmp/release.html>.
----------
Branches: main
Estimated hours taken: 3
Update the "Current Release" page on the "Download"
section of the Mercury web site.
w3/download/include/release.inc:
Make sure that the places to download the source
distribution are only listed once, rather than twice.
Clarify the prerequisites needed for Windows.
Clarify the sources needed for the gcc back-end.
Make it a bit easier to find the binaries for Windows.
Add some more links. Various other minor updates.
w3/include/menubar.inc:
Add a sub-menu for the Current Release page,
with entries "Info", "Sources", and "Download",
pointing to the appropriate parts of that page.
w3/download/release-0.10*.php3:
Set $submenu to "Current Release".
Workspace: /mnt/murlibobo/home/mercury0/fjh/mercury
Index: w3/download/include/release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release.inc,v
retrieving revision 1.16
diff -u -d -r1.16 release.inc
--- w3/download/include/release.inc 2001/02/25 14:56:22 1.16
+++ w3/download/include/release.inc 2001/03/31 07:18:30
@@ -1,81 +1,58 @@
-<h2>Current Release</h2>
+<h2><a name="info">Current Release</a></h2>
Mercury 0.10 was released on February 25, 2001.
<p>
The NEWS file, detailing differences since the release of 0.9.1,
is available <a href="release-0.10.html">here</a>.
-Source distributions of release 0.10
-are available at the following site(s):
-(note: some of these links may be dangling links for now...)
-
-<dl>
-<dt> Australia
-<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> Sweden
-<dd> <a href = "ftp://ftp.csd.uu.se/pub/Mercury/">
- ftp://ftp.csd.uu.se/pub/Mercury/</a><br>
- Uppsala University, Sweden.
-<dt> USA
-<dd> <a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/">
- ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/</a><br>
- Stonybrook University in New York, USA.
-<dt> USA
-<dd> <a href = "ftp://sunsite.unc.edu/pub/Linux/devel/lang/mercury/">
- ftp://sunsite.unc.edu/pub/Linux/devel/lang/mercury/</a><br>
- Sunsite in the USA.
-<dt> Elsewhere
-<dd> Sunsite has many
- <a href="http://sunsite.unc.edu/pub/Linux/MIRRORS.html">mirrors</a>.
- <br>
- Mercury is available in the /pub/Linux/devel/lang/mercury directory, or
- its equivalent place on the mirrors.
-</dl>
+<p>
-<a name="known">
<h3>Information</h3>
-</a>
<ul>
- <li>
- <a href = "release-0.10.html">
- Release notes for 0.10
- </a>
-
- <li>
- <a href = "release-0.10-contents.html">
- Contents of release 0.10 distribution
- </a>
-
- <li>
- <a href = "release-0.10-bugs.html">
- Known problems with release 0.10
- </a>
-
- <li>
- <a href = "limitations.html">
- Limitations of the current release.
- </a>
+<li> <a href = "release-0.10.html">
+ Release notes for 0.10
+ </a>
+<li> <a href = "release-0.10-contents.html">
+ Contents of release 0.10 distribution
+ </a>
+<li> <a href = "release-0.10-bugs.html">
+ Known problems with release 0.10
+ </a>
+<li> <a href = "limitations.html">
+ Limitations of the current release.
+ </a>
</ul>
<h3>Supported Platforms</h3>
The latest release is known to work on the following platforms:
+
<p>
+
<ul>
- <li> x86 machines running Linux
- <li> x86 machines running Windows NT
+ <li> x86 machines running Debian Linux
+ <li> x86 machines running SuSE Linux
+ <li> x86 machines running Microsoft Windows 95
+ <li> x86 machines running Microsoft Windows 2000
+ (this release also includes
+ <a href="<?echo $root?>/dotnet.html">preliminary support for .NET</a>)
<li> Sun SPARC machines running Solaris 2.x and SunOS 5.x
<li> DEC Alpha machines running OSF/1 (Digital Unix)
- <li> SGI Mips machines running IRIX 5.x
</ul>
+
<p>
-Mercury has also worked on the following platforms, although we have
+
+Mercury should also work on the following platforms, although we have
not tested the latest release on these:
+
<p>
+
<ul>
- <li> x86 machines running Windows 95
+ <li> x86 machines running other versions of Microsoft Windows
+ (98, 98SE, ME, NT)
+ <li> x86 machines running other versions of Linux
+ (however, there are some known problems with the version of GNU C
+ that shipped with Red Hat Linux 7.0)
<li> x86 machines running FreeBSD 3.0
<li> x86 machines running other BSD Unix systems
<li> PowerPC machines running Linux
@@ -84,39 +61,86 @@
<li> HP PA machines running HPUX
<li> IBM RS/6000 machines running AIX
<li> DEC Mips machines running ULTRIX
+ <li> SGI Mips machines running IRIX 5.x
</ul>
+
<p>
+
It should be pretty easy to port to any sufficiently Unix-like system.
<h3>What do I need?</h3>
-You need gcc (version 2.7.2 or higher; 2.6.3 might work too, but it is
-known to have problems compiling Mercury on some architectures, e.g. SPARC)
-and GNU make (version 3.69 or higher).
-If you are installing the Windows 95 or Windows NT version,
-you will also need Cygwin, version b17.1, b18, or b20.1 or later.
+<ul>
+<li> For Unix systems, you will need the following:<p>
+ <ol>
+ <li> <a href="http://gcc.gnu.org">GNU C (gcc)</a>
+ (version 2.7.2 or higher; 2.6.3 might work too, but it is
+ known to have problems compiling Mercury on some architectures,
+ e.g. SPARC).
+ <p>
+ It is also possible to use other C compilers, such as
+ <a href="http://www.cs.princeton.edu/software/lcc/">lcc</a>,
+ but we don't recommend that.
+ <li> GNU make (version 3.69 or higher).
+ </ol>
+ <p>
+
+<li> For Windows,
+ <ol>
+ <li> You will need <a href=http://sources.redhat.com/cygwin/>Cygwin</a>,
+ which you can download
+ <a href=http://sources.redhat.com/cygwin/setup.exe>here</a>.
+ Cygwin includes GNU C and GNU Make.
+ <li> You can optionally use
+ <a href="http://msdn.microsoft.com/visualc/default.asp">
+ Microsoft Visual C</a> rather than GNU C.
+ <li> If you want to take a look at our preliminary support for .NET,
+ you also need
+ <ol>
+ <li> the Microsoft .NET Beta 1 SDK, available from
+ <a href="http://msdn.microsoft.com/net/">MSDN</a>.
+ If you are an MSDN Universal subscriber you can
+ also order CDs as part of your subscription.
+ <li> A windows system suitable for development with
+ Microsoft .NET (Windows 2000 is the most likely).
+ Microsoft advises not to install the .NET Beta 1 SDK
+ onto a production machine. Consider using a separate
+ boot partition, or a virtual environment such as
+ <a href="http://www.vmware.com">VMWare</a>.
+ </ol>
+ </ol>
+</ul>
+
<h3>How to get the distribution</h3>
You can go to our FTP sites or mirrors, or directly
download the source or binary distributions.
-
-
-<h3>Source Distribution</h3>
+<h3><a name="source">Source Distribution</a></h3>
-The main "compiler" source distribution is about 8 Mb.
+The main "mercury-compiler" source distribution is about 10 Mb.
This includes the compiler, standard library,
debugger, profiler, and other tools.
+(Note that this does <em>not</em> include all the sources needed to build
+the <a href="<?echo $root?>/download/gcc_backend.html">
+native-code back-end</a>; for that you also need the
+"mercury-gcc" and "gcc" distributions.
+See <a href="<?echo $root?>/download/gcc_backend.html">here</a>
+for details.)
-There is also a small "extras" distribution which contains a number
+<p>
+
+There is also a small "mercury-extras" distribution which contains a number
of useful additional libraries. This is distributed separately,
mainly for copyright reasons (some of the additional libraries do
not meet the Debian Free Software Guidelines).
We strongly recommend that everyone who downloads the "compiler"
distribution should also download the "extras" distribution.
-Finally there is also a "tests" distribution which contains our
+<p>
+
+Finally there is also a "mercury-tests" distribution which contains our
test suite. This may be useful if you are modifying the compiler,
or porting it to a new system.
@@ -125,17 +149,28 @@
<dd>
<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.10.tar.gz">Australia</a>
<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-compiler-0.10.tar.gz">Sweden</a>
+<a href = "ftp://sunsite.unc.edu/pub/Linux/devel/lang/mercury/mercury-compiler-0.10.tar.gz">USA (Sunsite)</a>
+<br>
+<p>
+Sunsite also has many
+<a href="http://sunsite.unc.edu/pub/Linux/MIRRORS.html">mirrors</a>.<br>
+The Mercury compiler source distribution is available in the
+/pub/Linux/devel/lang/mercury directory on Sunsite,
+or its equivalent place on the mirrors.
+<p>
+
<dt> Extras (580 kb)
<dd>
<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-extras-0.10.tar.gz">Australia</a>
<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-extras-0.10.tar.gz">Sweden</a>
+<p>
<dt> Tests (381 kb)
<dd>
<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-tests-0.10.tar.gz">Australia</a>
<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.10.tar.gz">Sweden</a>
</dl>
-<h3>Binary Distribution</h3>
+<h3><a name="binaries">Binary Distribution</a></h3>
Binary distributions of Mercury 0.10:
<br>
@@ -144,6 +179,14 @@
<p>
<dl>
+ <dt>x86 machines running Microsoft Windows 95, 98, 98SE, ME, NT, or 2000.
+ <dd> Compiler + Extras + Tests (about 20 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.10.i686-pc-cygwin.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.10.i686-pc-cygwin.tar.gz">Sweden</a>
+<a href =
+"ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.10.i686-pc-cygwin.tar.gz">USA</a>
+ <p>
+
<dt>x86 machines running Linux (ELF executable format, libc 6.1)
<dd> Note that these binary distributions work ONLY with libc 6.1.x.
Unfortunately they do NOT work with libc 6.0. This is due
@@ -185,19 +228,12 @@
Sun tar. If you encounter this problem, then (1) let us know
and (2) use GNU tar. </em>
<p>
+
<dt>DEC Alpha machines running OSF/1 or Digital Unix
<dd> Compiler + Extras + Tests (about 66 Mb): <br>
<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.10.alpha-dec-osf3.2.tar.gz">Australia</a>
<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.10.alpha-dec-osf3.2.tar.gz">Sweden</a>
<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.10.alpha-dec-osf3.2.tar.gz">USA</a>
-
- <p>
- <dt>x86 machines running Windows 95 or Windows NT
- <dd> Compiler + Extras + Tests (about 20 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.10.i686-pc-cygwin.tar.gz">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.10.i686-pc-cygwin.tar.gz">Sweden</a>
-<a href =
-"ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.10.i686-pc-cygwin.tar.gz">USA</a>
</dl>
Index: w3/download/release-0.10-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.10-bugs.php3,v
retrieving revision 1.2
diff -u -d -r1.2 release-0.10-bugs.php3
--- w3/download/release-0.10-bugs.php3 2001/03/23 23:35:16 1.2
+++ w3/download/release-0.10-bugs.php3 2001/03/31 07:21:28
@@ -1,6 +1,7 @@
<HTML>
<?
$menu="Download";
+ $submenu="Current Release";
$title="Release 0.10.0 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.10-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.10-contents.php3,v
retrieving revision 1.2
diff -u -d -r1.2 release-0.10-contents.php3
--- w3/download/release-0.10-contents.php3 2001/03/23 23:35:16 1.2
+++ w3/download/release-0.10-contents.php3 2001/03/31 07:21:48
@@ -1,6 +1,7 @@
<HTML>
<?
$menu="Download";
+ $submenu="Current Release";
$title="Release 0.10.0 Contents";
$dir="download";
$root="..";
Index: w3/download/release-0.10.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.10.php3,v
retrieving revision 1.2
diff -u -d -r1.2 release-0.10.php3
--- w3/download/release-0.10.php3 2001/03/23 23:35:16 1.2
+++ w3/download/release-0.10.php3 2001/03/31 07:21:55
@@ -1,6 +1,7 @@
<HTML>
<?
$menu="Download";
+ $submenu="Current Release";
$title="Release 0.10.0 Notes";
$dir="download";
$root="..";
Index: w3/include/menubar.inc
===================================================================
RCS file: /home/mercury1/repository/w3/include/menubar.inc,v
retrieving revision 1.14
diff -u -d -r1.14 menubar.inc
--- w3/include/menubar.inc 2001/03/29 00:23:57 1.14
+++ w3/include/menubar.inc 2001/03/31 07:10:36
@@ -95,6 +95,15 @@
<SMALL>
<a href="<?echo $root?>/download/release.html">Current Release</a>
<BR>
+ <?
+ if ($submenu == "Current Release") {
+ ?>
+ <a href="<?echo $root?>/download/release.html#info">Info</a><BR>
+ <a href="<?echo $root?>/download/release.html#source">Source</a><BR>
+ <a href="<?echo $root?>/download/release.html#binaries">Binaries</a><BR>
+ <?
+ }
+ ?>
<a href="<?echo $root?>/download/rotd.html">Snapshot</a><BR>
<a href="<?echo $root?>/download/old-release.html">Old Releases
</a><BR>
--
Fergus Henderson <fjh at cs.mu.oz.au> | "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-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list