[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] change of pkg config path

On 13 November 2016 at 17:52, Hannes Mehnert <hannes@xxxxxxxxxxx> wrote:
> hello,
> mato noted while porting mirage-solo5 to topkg [0], that pkg-config
> files are currently installed into opam/lib/pkgconfig, but they rather
> belong into opam/share/pkgconfig (and there seems to be no way to
> install into foreign lib dirs with topkg/install files).

What's the reasoning behind share vs lib?

In traditional unix, lib is for arch-specific files and share is for
the rest (and pkg-config by default searches both). It's not very
clear to me whether opam is trying to follow this scheme (since it
uses different switches for different archs anyway), but it would be
good to document why the new place is correct.

> I went through all opam packages installing pkg-config files and patches
> them (somewhere in minios-xen or mirage-minios-xen there is some
> breakage which I cannot further diagnose).
> This is again a breaking change (affecting roughly a dozen packages),
> thus better be done before our 3.0 release :)
> Please see [1] for the main tracking issue, which should be good to go
> once the Xen stuff works again.
> hannes
> 0: https://github.com/mirage/mirage-solo5/pull/15
> 1: https://github.com/mirage/mirage/pull/669

talex5 (GitHub/Twitter)        http://roscidus.com/blog/
GPG: 5DD5 8D70 899C 454A 966D  6A51 7513 3C8F 94F6 E0CC
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.