[m-rev.] For review: Compatibility with Debian packaging.

[Julien Fischer]

On Fri, 29 Oct 2010, Paul Bone wrote:

> Compatibility with Debian packaging.
>
> Packaging Mercury for Debian requires creating some patches to make sure that
> Mercury can be built under the control of dpkg-buildpackage.  It's recommended
> that these patches are pushed upstream (into Mercury) so that everyone can
> benefit from them, not just Debian packagers.
>
> Mmake.common.in:
> scripts/Mmake.vars.in:
>    Install Mercury at $DESTDIR/@prefix@, $DESTDIR helps someone setup Mercury
>    to run from @prefix@ while putting it in $DESTDIR.  $DESTDIR/* can easily
>    be tared up and then deployed on other systems.
>
> Mmakefile:
> Makefile:
>    Pass the $DESTDIR variable to make sub-processes.
>
> scripts/Mercury.config.in:
> scripts/Mercury.config.bootstrap.in:
>    Remove the she-bang line from these scripts since they are not executable.
>
>    This change improves conformance with Debian packaging standards.

That looks fine -- please test it on eris before committing though.
(In particular, please ensure that the install names in the dylibs
are correct.)

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