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 [email protected] https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
