[m-rev.] for review: add --c-compiler-type option

[Peter Wang]

On 2008-01-21, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
>  Estimated hours taken: 0.5
>  Branches: main
> 
>  Add a new internal option, `--c-compiler-type', that allows the type of the 
>  C
>  compiler to be specified, e.g. gcc, lcc etc.  This information will be set 
>  by
>  the configuration script and can be used for enabling or disabling C 
>  compiler
>  specific optimisation flags with mmc --make.  (We have such a facility with
>  mmake, via the mgnuc script, but not with mmc --make.)

Does it?  It looks like it just guesses from the value of $CC, which
could be done with mmc --make --cc $CC as well.

Otherwise it looks fine.

Peter

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