[mercury-users] Environment variables in Mercury

[Fergus Henderson]

On 19-Dec-2002, Noel  Pinto <cool4life at rediffmail.com> wrote:
> I am using Cygwin in Windows environment. The printenv command 
> display's the environment variable's value on the screen. It does 
> not print the values of Mercury environment variable's on the bash 
> prompt. Plz tell me how do I do it.

printenv prints the values of all environment variables, including Mercury
environment variables, if they are set. Of course it won't print them
if they are not set!

Maybe what you really want to know is what default values the
Mercury system will use if the Mercury environment variables
are not set.  The default values are determined based on the
parameters (e.g. `--prefix') set when Mercury was configured
and installed.  There is no command to print these defaults.
But you can look at the code for the installed shell scripts,
e.g. `mmc', to see what defaults they use.  For example,
on my system, the command

	$ grep MERCURY_COMPILER `type -path mmc`

produces the following output

	# MERCURY_ALL_MC_C_INCL_DIRS, MERCURY_COMPILER, MERCURY_C_COMPILER,
	MC=${MERCURY_COMPILER="/home/ceres/public/mercury-latest/i686-pc-linux-
	gnu/lib/mercury/bin/i686-pc-linux-gnu/mercury_compile"}

which shows that on this system the default value for the MERCURY_COMPILER
environment variable is `/home/ceres/.../i686-pc-linux-gnu/mercury_compile'.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------