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

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

On 14/11/2016 11:19, Daniel Bünzli wrote:
> On Monday 14 November 2016 at 12:03, Hannes Mehnert wrote:
>> But it seems that people like to do this for Y = pkgconfig. So be it.
> 
> It's not that we like to do it, it's just that there are no other solution at 
> the moment. Solutions were proposed in opam#2153 which was closed without 
> further information. I hope that at least opam2 doesn't forbid it without 
> providing a way to solve the problem.

What is the problem of putting it into share/pkgconfig?  Why is this 'no
other solution'?


hannes


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel