[m-dev.] compiler/Mmakefile and Mmake.params

[Zoltan Somogyi]

On 28-May-2001, David Jeffery <dgj at cs.mu.OZ.AU> wrote:
> MCFLAGS-term = --trace shallow
> ...
> EXTRA_MLFLAGS = --trace
> C2INITFLAGS=-t

I do the same thing, except instead of defining C2INITFLAGS, I define
EXTRA_C2INITFLAGS. I haven't tried using this recently, so I don't know whether
it is broken or not. If it is not broken, David can use this workaround. If it
is broken, it should be fixed.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------