[mercury-users] Is -O0 actually necessary on MacOS X with gcc-4.0?

Michael Day mikeday at yeslogic.com
Sun Aug 19 11:14:27 AEST 2007

> It would be good if it would be possible to isolate exactly which gcc 
> option or optimisation is incompatible with Mercury, and then just 
> disable that. Does anyone know why the -O0 is required?

I built the compiler in reg.gc with -O0, but when I recompiled the 
compiler in hlc.gc I forgot to add the -O0 to the Mmake.params. However, 
it seemed to build fine, and programs built with it seem to work. Is the 
-O0 actually necessary with gcc-4.0?



Print XML with Prince!
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list