[m-dev.] configure option(s) to disable different back-ends

[Fergus Henderson]

On 12-Jan-2001, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> I think we also need a option that tells configure to prefer lcc or some other
> compiler to gcc. At the moment, you have to do it by setting the environment
> variable CC to refer to your favored C compiler, but this is not documented
> anywhere that I know about except in "info autoconf".

That sounds like a reasonable idea.
I think the right option name to use would be something like `--with-cc=lcc'.
(Or `--without-cc' if you want to bootstrap using the GCC back-end ;-)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------