The Coq mailing list

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

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