[m-rev.] for review: use shared libs by default on Linux/x86

[Julien Fischer]

On Tue, 15 Jan 2008, Paul Bone wrote:

> On Tue, Jan 15, 2008 at 02:30:43PM +1100, Julien Fischer wrote:
>>
>> Estimated hours taken: 1
>> Branches: main
>>
>> Make Mercury use shared libraries by default on Linux/x86.
>>
>> Document that Mercury no longer supports a.out format executables on Linux.
>> (It's unlikely that the current version of Mercury would work on any Linux
>> system
>> that uses them anyway.)
>>
>> configure.in:
>> 	Make shared libraries the default on Linux/x86.
>>
>> README.Linux:
>> 	This file also covers the Linux/x86_64 port as well.
>>
>> 	Mention that a.out format executables are not supported on Linux.
>>
>> 	Delete most of the remainder of this file since it refers to things
>> 	that are either out-of-date or covered in the user's guide anyway.
>>
>>
>> scripts/ml.in:
>> 	Don't use static libraries on Linux/x86 by default.
>>
>> 	Update some comments.
>>
>> NEWS:
>> 	Announce this change.
>>
>> Julien.
>>
>> Index: README.Linux
>> ===================================================================
>> RCS file: /home/mercury/mercury1/repository/mercury/README.Linux,v
>> retrieving revision 1.15
>> diff -u -r1.15 README.Linux
>> --- README.Linux	23 Jan 2003 00:24:02 -0000	1.15
>> +++ README.Linux	15 Jan 2008 03:03:06 -0000
>> @@ -1,46 +1,8 @@
>> -This file documents just the Linux/x86 port.
>> -For the Linux/PowerPC port, see README.Linux-PPC.
>> -For the Linux/Alpha port, see README.Linux-Alpha.
>> +This file documents the Linux/x86 and Linux/x86_64 ports.
>> +For the Linux/PowerPC port, see README.Linux-PPC.
>> +For the Linux/Apha port, see README.Linux-Alpha.
>>  (Ports to Linux on other architectures have not yet
>>  been attempted, but should not be difficult.)
>
> Is there no specific README file for x86_64?

Nope, there was never anything to put in it.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------