for review: handle linking under x86 Linux

[Tyson Dowd]

On 18-Feb-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 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 :-(

Wasn't expecting that bug. Nice one.

Perhaps we should make -shared the default.