[mercury-users] Mercury on Mingw32 or Linux

[Dominique de Waleffe]

> From: owner-mercury-users at cs.mu.OZ.AU
> [mailto:owner-mercury-users at cs.mu.OZ.AU]On Behalf Of Fergus Henderson
> Sent: Thursday, July 23, 1998 8:42 PM
> To: mercury-users at cs.mu.OZ.AU
> Subject: Re: [mercury-users] Mercury on Mingw32 or Linux
> > 	Yesterday I was made aware of MingW32.  Is that a feasible
> > platform to put between Win95 and Mercury?
> 
> Yes.  However, I suspect there are a number of dependencies on the
> Mercury runtime and standard library source code on various POSIX features
> that are not supported by Win95 + mingw32.  Porting Mercury to mingw32
> would thus require some work. This would certainly be a 
> worthwhile exercise,
> though.

Indeed, there are dependencies.... Using mingw32 is one of the directions we're going to built the Argo version of Mercury for win32. The other is using the MS environment. 
Some weeks ago, I did start to look at doing that but got caught by some other stuff to do and stopped... 

Dominique