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

Julien Fischer juliensf at csse.unimelb.edu.au
Thu May 22 09:55:14 AEST 2008

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"


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