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

2016-11-13 Thread Petter A. Urkedal
On 13 November 2016 at 18:52, Hannes Mehnert wrote: > 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

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

2016-11-13 Thread Daniel Bünzli
On Sunday 13 November 2016 at 18:52, Hannes Mehnert wrote: > (and there seems to be no way to install into foreign lib dirs with > topkg/install files). It is perfectly possible by using a relative path. D ___ MirageOS-devel mailing list

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

2016-11-13 Thread Thomas Leonard
On 13 November 2016 at 17:52, Hannes Mehnert 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 >

[MirageOS-devel] change of pkg config path

2016-11-13 Thread Hannes Mehnert
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). I went through all opam