The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

Le 07/11/2018 à 09:15, Guillaume Melquiond a écrit :
> Le 07/11/2018 à 08:18, Frédéric Blanqui a écrit :
> > Hello. I got the same problem with CoLoR but not with coq-bignums. See 
> > https://github.com/fblanqui/color/issues/12. Why do we have to disable 
> > sandboxing? Is it a bug in opam?
>
> For Flocq, the opam issue is https://github.com/ocaml/opam/issues/3659
>
> I don't think Color suffers from the same issue, but the fix might 
> actually turn out to be the same.

Scrap that. The issue is much simpler and it is actually a bug in the 
opam package for Color. Indeed, it installs the library using the 
"build" rule. The "build" rule should only be used to build the library. 
The library should be installed by the "install" rule.

Best regards,

Guillaume