[m-rev.] diff: handle `mmc --make lib<module>'

Fergus Henderson fjh at cs.mu.OZ.AU
Mon May 13 16:35:07 AEST 2002


On 13-May-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> + at item --pre-link-command @var{command}
> + at findex --pre-link-command
> +Specify a command to run before linking with @samp{mmc --make}.
> +This can be used to compile C source files which rely on
> +header files generated by the Mercury compiler.
> +Occurrences of @samp{@@} in the command will be replaced with
> +the name of the main module with @samp{.} as the module
> +qualifier. Occurrences of @samp{%} in the command will be
> +replaced by the list of modules making up the library.
> +
> + at item --make-init-file-command @var{command}
> + at findex --make-init-file-command
> +Specify an alternative command to produce the @file{.init} file
> +for a library. Occurrences of @samp{@@} and @samp{%} in the command
> +are substituted as for the @samp{--pre-link-command} option.
> +By default, @samp{mmc --make} creates the @samp{.init} file itself.

What if pre-link command that you want to use contains an "@" or a "%"?

For example, on Windows it is common to use option files, rather than
passing options on the command line, especially when invoking complicated
programs such as a C compiler.  (This technique avoids overflowing
the command line length limits.)  The usual syntax for specifying the
option file is to pass "@<filename>", e.g. "@myoptions", on the command
line.

-- 
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-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list