[mercury-users] Compilation Model Options

[Fergus Henderson]

On 18-Oct-2002, Noel  Pinto <cool4life at rediffmail.com> wrote:
> I want to know the for what are C2INITFLAGS and EXTRA_C2INITFLAGS 
> used for??
> I also want to know the purpose of other variables also. For 
> example, it is just mentioned in the user guide that, MLFLAGS 
> passes options to the linker. It does not specify what options, 
> why does it do it and why is it needed.

The options for "ml" (the Mercury linker) and "c2init" are documented in the
man pages for those programs.  Try "man ml" and "man c2init".
Or just run "ml --help" or "c2init --help".

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