[m-dev.] there is no --strip=false option to ./configure

[Fergus Henderson]

On 12-Apr-2001, Terrence Brannon <princepawn at earthlink.net> wrote:
> in order to avoid my error when -s is used in the final link, I wanted
> to set a configure option, but I guess I should just edit ml.in. 
> 
> I would rather have a configuration option.

I don't think that is a good idea.

Much better to edit ml.in once, and commit that into our CVS repository,
rather than have every Mac OS X user have to specify some special
option to configure just to get things to build properly.

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