[m-dev.] Linux & shared libraries

[Tyson Richard DOWD]

Fergus Henderson wrote:
> Hi,
> 
> I've been wondering what we should do about shared libraries on Linux.
> Currently on Linux, shared and non-shared Mercury code are not compatible.
> This results in more efficient code for the non-shared case, but is less
> convenient.

Perhaps we should now make shared as the default. Apart from the
benefits of shared libraries, it would bring it into line with what 
is usually the default on other architectures.

If we document the efficiency problems (and document that they probably
only apply to Linux on an x86) then we shouldn't have any problems.
Perhaps a "performance tuning" section of the user's guide?

-- 
       Tyson Dowd           #          Another great idea from the 
                            #            people who brought you
      trd at .cs.mu.oz.au      #               Beer Milkshakes!
http://www.cs.mu.oz.au/~trd #	         Confidence --- Red Dwarf