[m-rev.] diff: document Mingw build process

Fergus Henderson fjh at cs.mu.OZ.AU
Mon May 31 08:59:16 AEST 2004


Estimated hours taken: 0.25
Branches: main

README.MS-Windows:
	Document the procedure for building a version that targets Mingw.

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: README.MS-Windows
===================================================================
RCS file: /home/mercury1/repository/mercury/README.MS-Windows,v
retrieving revision 1.18
diff -u -d -r1.18 README.MS-Windows
--- README.MS-Windows	23 May 2001 17:24:37 -0000	1.18
+++ README.MS-Windows	30 May 2004 22:57:36 -0000
@@ -155,3 +155,24 @@
 Autoconf should configure, build and install directly from the source
 package.
 
+-----------------------------------------------------------------------------
+
+BUILDING WITH MINGW
+
+The above instructions describe how to build/install a version of
+the system that targets Cygwin.  It is also possible to build a version that
+targets Mingw, i.e. where the generated executables do not rely on Cygwin.
+
+- First, install the Cygwin version of Mercury, and put it in your PATH.
+- Second, configure the source distribution of Mercury using
+  --with-cc="gcc -mno-cygwin".
+- Third, run "make" and "make install".
+- Fourth, replace the following files in the installed Mingw Mercury
+  directories with copies of the corresponding file from the installed
+  Cygwin Mercury directories:
+        mercury_compile.exe (in <prefix>/lib/mercury/bin/<config>)
+        mercury_profile.exe (in <prefix>/lib/mercury/bin/<config>)
+        mdemangle.exe (in <prefix>/bin)
+        mkinit.exe (in <prefix>/bin)
+
+-----------------------------------------------------------------------------

-- 
Fergus Henderson                    |  "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