[m-rev.] for review: improve README.MS-Windows

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main, release

README.MS-Windows:
	Document that Cygwin 1.3.1 is broken.
	Document that you need to `cd' to the appropriate directories.
	Document that the distribution needs to be unpacked with Cygwin's tar.
	Delete documentation about problems with datestamps, since they
	seem to be fixed now.

Workspace: /home/hg/fjh/mercury
Index: README.MS-Windows
===================================================================
RCS file: /home/mercury1/repository/mercury/README.MS-Windows,v
retrieving revision 1.17
diff -u -d -r1.17 README.MS-Windows
--- README.MS-Windows	2000/09/04 12:19:31	1.17
+++ README.MS-Windows	2001/05/22 10:52:12
@@ -19,9 +19,10 @@
 
 PREPARATION
 
-To use or build Mercury on Windows, you need to first get Cygwin
-and install it.  Recent versions of Cygwin can be installed directly
-from:
+To use or build Mercury on Windows, you need to first get Cygwin and
+install it.  Cygwin version 1.3.1 is buggy and should not be used, but
+Cygwin 1.1.* or Cygwin 1.3.2 or later should be OK.  Recent versions of
+Cygwin can be installed directly from:
 
 	http://sources.redhat.com/cygwin/setup.exe
 
@@ -49,9 +50,28 @@
 
 -----------------------------------------------------------------------------
 
+UNPACKING THE SOURCES
+
+After installing Cygwin, you should download the Mercury source or
+binary distribution, and unpack it.
+
+You should use Cygwin's tar program to unpack the Mercury distribution.
+From a cygwin command shell, use the `cd' command to change directory
+to the directory where you saved the source or binary distribution that
+you downloaded, and then use `tar zxf <filename>' to unpack them,
+where <filename> is the filename that you downloaded, e.g.
+mercury-compiler-<version>.tar.gz (for the source distribution), or
+mercury-<version>.i686-pc-cygwin-windows.tar.gz (for the binary distribution).
+
+Note that other programs which understand tar.gz files (e.g. WinZip)
+may not be able to unpack them in the correct manner for use with Cygwin.
+
+-----------------------------------------------------------------------------
+
 RUNNING CONFIGURE
 
-Configure with
+Use the `cd' command to change directory to the directory that you just
+unpacked, and then configure with
 
 	sh configure
 
@@ -60,24 +80,6 @@
 program (the autoconfiguration process looks for a program named "mmc").
 If so, just close that application, e.g. by selecting "Exit" from
 the "Console" menu.
-
------------------------------------------------------------------------------
-
-RUNNING MAKE
-
-Under older versions of Cygwin the date-stamps of files seemed
-to get screwed up by Cygwin; to avoid errors about 
-`mercury_compile: Command not found', or `makeinfo: Command not found',
-you need to do the following:
-
-	touch configure
-	make touch_files
-
-Then do
-
-	make
-
-This doesn't seem to be required by recent builds of Cygwin.
 
 -----------------------------------------------------------------------------
 

-- 
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
--------------------------------------------------------------------------