diff: README.MS-Windows (was: rotd09-25, cygwin beta18)

Fergus Henderson fjh at cs.mu.OZ.AU
Sun Oct 11 21:28:58 AEST 1998

On 11-Oct-1998, Dominique de Waleffe <ddw at acm.org> wrote:
> AFter applying the patches you sent to Renaud, I did an install with a --prefix=//h/m on my home pc.
> I then tried to compile an example using the odbc package. It could not find the mercury_imp.h file even tough gcc received -I//h/m/lib/mercury/inc as argument....
> The file was at its expected place. when I mounted h:/m as /mercury and temporarily patched the mgnuc script, I was able to compile the file. Could it be that b18 gcc does not fully handle the //drive/dir notation?
> Anyway, a recommendation to use a mount point in the case of a multi drive configuration instead of explicitely using the //d/n notation woulkd be useful.

How about the following patch?


	Pass on a warning from rpa at miscrit.be that using
	`configure --prefix //d/foo' doesn't work.

Index: README.MS-Windows
RCS file: /home/mercury1/repository/mercury/README.MS-Windows,v
retrieving revision 1.11
diff -u -r1.11 README.MS-Windows
--- README.MS-Windows	1998/09/04 06:26:49	1.11
+++ README.MS-Windows	1998/10/11 10:46:22
@@ -59,6 +59,15 @@
 but apparently the errors go away if you run configure a second time.
 This is probably due to a bug in gnu-win32.
+If you want to use the `--prefix' option to configure to install
+Mercury onto a different drive, then you should probably first
+use the `mount' command to mount that drive (e.g. `mount d:/ /d'),
+and use the mount name (e.g. `configure --prefix /d/foo'),
+rather than using the `//d' notation (e.g. --prefix //d/foo').
+We got a report that using the `//d' notation (a gnu-win32 feature:
+this is supposed to name the root directory of drive `d') does not
+work with gnu-win32 version b18.

Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at        |     -- the last words of T. S. Garp.

More information about the developers mailing list