[m-rev.] for review: MERCURY_OPTIONS-progname

[Peter Wang]

On 2008-05-20, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> MERCURY_OPTIONS is a crude way to give options to Mercury programs, since it
> applies to all Mercury programs, even though we often want to give options to
> only one specific Mercury program. (For example, we may want to give it only
> to a test program's executable, and not to the invocation of the compiler
> that generates it.) This diff makes the runtime system, when executing a
> program named "progname", look for and process the environment variable
> whose name is "MERCURY_OPTIONS-progname". This allows options to be given
> at runtime to only one specific program.

It's not possible to spell a variable name like that under Bourne-style
shells (to my knowledge), so you have to resort to
    env MERCURY_OPTIONS-progname=<options> ./progname <args>

You also can't get its value with ${MERCURY_OPTIONS-progname} as that
means something else.

Peter

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------