for review: handle linking under x86 Linux

[Fergus Henderson]

On 15-Feb-1998, Tyson Dowd <trd at stimpy.cs.mu.oz.au> wrote:
> Estimated hours taken: 0.5
> 
> Fix the handling of the default linking options (shared or static).
> 
> Under Linux, the default linkage is supposed to be static, but
> only the linkage of the mercury libraries was being set, so
> if you tried to link with another library, you needed to add
> -static by hand.
> 
> Note that this will link in all other libraries (such as the C library)
> statically as well. It's probably possible to do this change another
> way so that you can have more selection about what is static and what
> isn't.  This is just intended to remove errors when using it in
> the "default" fashion.

This failed the nightly bootstrap tests on mercury.cs.mu.oz.au,
because /home/mercury3 became 100% full as a result of this change :-(

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.