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

Paul Bone pbone at csse.unimelb.edu.au
Tue Jan 15 16:37:15 AEDT 2008


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?

Otherwise this patch is fine.

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



More information about the reviews mailing list