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

[Julien Fischer]

On Thu, 10 Jul 2008, Peter Wang wrote:

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

Maybe we could replace the dash with an underscore?

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