On Monday 14 November 2016 at 12:22, Hannes Mehnert wrote: > What is the problem of putting it into share/pkgconfig? Why is this 'no other > solution'?
As people have pointed out this is semantically incorrect. The proper solution here is to fix opam. Daniel _______________________________________________ MirageOS-devel mailing list [email protected] https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
