[mercury-users] Environment variable

[Ralph Becket]

Noel  Pinto, Saturday, 21 December 2002:
> 
> On Sat, 21 Dec 2002 Fergus Henderson wrote :
> >
> >You don't need to use or understand this option.
> 
> Why is there no need for me to understand or use this option?? Is 
> it implemented automatically by the compiler???

This option leads to a very specialised optimization that *may* make
a difference in some cases.  It is very much one of the last things
anybody should consider when optimizing an application.

If you don't know enough computer science to understand the
documentation (and hence why, when and how you might consider using it)
then it can be of no use to you.

> If there is no need for me to use or understand and from what I am 
> guessing no need for me to implement it, then why is it not 
> mentioned in the User Guide with the reason as to why not?

The User Guide is not a tutorial.  It is a reference for use of the
tools in the Mercury distribution.

> I have written
> MERCURY_OPTIONS = -Di
> in the Mmakefile. I have even tried mis-spelling it. It did not 
> give me any error when I have mis-spelled it. I really do not know 
> what I should expect when I compile the library using the 
> environment variables specified in the Mmakefile.

MERCURY_OPTIONS is handled at run-time, not at compile time.  It will
only be acted upon if you set it in your shell before running your
Mercury program.

> When there is a variable MERCURY_COMPILER, what is the need of the 
> variable MERCURY_INTERPRETER. I have tried finding what 
> MERCURY_INTERPRETER is, I have found that it does not contain any 
> value. So, isn't it assumed that any C compiler for Mercury will 
> need an interpreter???

What?  Why?

> I have not checked all the sites for other 
> compilers for Mercury, but still is it not assumed so???? or is my 
> assumption wrong??

Currently there are no other Mercury compilers.

- Ralph
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------