[mercury-users] Newbie question: what all these folders for?

Paul Bone pbone at csse.unimelb.edu.au
Fri Oct 3 15:06:25 AEST 2008

On Fri, Oct 03, 2008 at 03:03:40PM +1000, Julien Fischer wrote:
> On Fri, 3 Oct 2008, Peter Lemenkov wrote:
> >2008/9/30, Julien Fischer <juliensf at csse.unimelb.edu.au>:
> >> On Tue, 30 Sep 2008, Peter Lemenkov wrote:
> >>>* lib - also stronlgy required for Mercury to work. There are some
> >>>static libraries inside - we (at Fedora) have strict policy not to
> >>>package static libs until it would be absolutely necessary - I think
> >>>that's exactly the very case.
> >>
> >> In general both static and shared versions of the libraries are
> >> installed.
> >So does it means that I can safely remove all static (*.a) libraries?
> >As I said this is a strong requirement of Fedora Packaging Guide.
> You could do that although anyone who attempts to compile
> with --mercury-linkage=static is going to be in for a surprise ;-)
> (It is not uncommon to want to do that so that one can distribute
> executables that work on systems that do not have the Mercury libraries
> installed.)
> I am concerned that not including the static versions may cause users to 
> think
> the installation is broken.
> I imagine that the packaging guidelines were formulated for use with
> C or C++ libraries.  What is appropriate for those languages may _not_
> necessarily be appropriate for Mercury.  I would also note that Ocaml
> seems to have an exemption to the static linking parts of the Fedora 
> packaging
> guidelines.

I recommened creating at least two packages,

mercury-runtime containing:
    Shared libraries and things needed to execute existing programs.

mercury-dev containing:
    the Mercury compiler, mmake, static libraries and header files.
    This should include everything desireable for writing programs in

This way you do not need to distribute the static libraries in the
runtime package.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
URL: <http://lists.mercurylang.org/archives/users/attachments/20081003/165750aa/attachment.sig>

More information about the users mailing list