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