The Coq mailing list

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

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?

Le 06/11/2018 à 19:09, Guillaume Melquiond a écrit :
> Le 06/11/2018 à 18:52, Steve Zdancewic a écrit :
> > Thanks!  Manually removing ~/.opam/config to remove the 
> > wrap-*-command lines did the trick.
>
> That is fortunate. Nonetheless, I will investigate what might cause 
> remake to fail starting under the opam's sandbox on OSX.
>
> > Interestingly, I had previously tried to disable the sandbox by 
> > doing: opam init --reinit --disable-sandboxing.  This caused all of 
> > my opam switch to be re-built, but had no effect (as far as I could 
> > tell) on the sandboxing scripts.
>
> Right, this is a known feature of opam:
>
> https://github.com/ocaml/opam/issues/3634
>
> Best regards,
>
> Guillaume