The Coq mailing list

[Frédéric Blanqui <frederic.blanqui AT inria.fr>]

Oh, right. I updated the git repo but not the opam package!

Le 07/11/2018 à 09:31, Guillaume Melquiond a écrit :
> 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