[mercury-users] mingw rotd

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Mar 14 12:36:52 AEDT 2003

On 14-Mar-2003, Michael Day <mikeday at yeslogic.com> wrote:
> > 	- Get a Windows PC and use the Mingw distribution of Mercury
> This would involve building a recent mingw rotd, which you said requires
> "building the libraries with Mingw, but using the compiler from the Cygwin
> version of Mercury 0.11".
> How exactly do you build the libraries with mingw?

That was steps 1-3 of the procedure that I outlined in my other mail:

 | For cross-compiling from Cygwin to Mingw:
 | - 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)

Note that you need to have Cygwin installed, including the gcc and
mingw-gcc packages (and make, binutils, etc.).

Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list