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

[Thomas Leonard <talex5@xxxxxxxxx>]

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
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel