[mercury-users] Trying rotd-2006-02-24

[Julien Fischer]

On Sun, 26 Feb 2006, Michael Day wrote:

>
> Hi,
>
> My experiences building Prince with Mercury rotd-2006-02-24:
>
> (1) No support for --trans-intermod-opt
>
> I got this error message:
>
> mercury_compile: `--transitive-intermodule-optimization' is incompatible
> with `mmc --make'.
>
> This is not a critical problem, but presumably it could reduce the ability
> of the compiler to optimise the code and we would need to take this into
> account when comparing with benchmarks generated with our usual compiler,
> which is rotd-2005-01-11.

mmc --make and --transitive-intermodule-optimization have never worked
together; previously mmc --make just silently disabled
--transitive-intermodule-optimization, the only change is now that it
complains about it.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------