[mercury-users] Question about --runtime-flags

[Julien Fischer]

On Thu, 22 May 2008, Peter Ross wrote:

> In the mercury manual, they say that you can set runtime flags during
> compile-time using the --runtime-flags option of ml, however, it doesn't
> seem to work for me.
>
> When I run:
>
> MERCURY_OPTIONS=--nondetstack-size=20000 ./smals_server
>
> everything works ok. But when I add the following line to Mercury.options:
>
> MLFLAGS+=--runtime-flags "--nondetstack-size 20000"

MCFLAGS, not MLFLAGS.

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