[m-dev.] intermittent seg faults on MinGW

[Michael Day]

Hi Julien,

> When installing Mercury from the source distribution on MinGW
> it seg faulted during the install_grades step.  When I re-ran
> mmake install again it ran to completion without a problem.
> 
> Has anyone else noticed this (or similar) bahaviour with MinGW?

Works for us, but it was a hassle building it the first time, and since 
then we try not to touch it. Presumably you had to edit the configure 
script a bit to make it work in the first place?

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------