The Coq mailing list

[Steve Zdancewic <stevez AT cis.upenn.edu>]

Thanks!  Manually removing ~/.opam/config to remove the wrap-*-command 
lines did the trick.

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.

--Steve

On 11/6/18 12:28 PM, Guillaume Melquiond wrote:
> Le 06/11/2018 à 17:58, Steve Zdancewic a écrit :
> > I am having difficulties installing coq-flocq via opam.  I'm using 
> > opam 2.0.0 with ocaml 4.06.0 and coq 8.8.2 on OSX 10.14 (Mojave). The 
> > issue seems to be a permissions problem in the opam sandboxing 
> > script, which gives the error "# Failed to create server: Operation 
> > not permitted". The compilation of 'remake' generates a warning, but 
> > seems to succeed. (See detailed output below.)
> >
> > I've tried disabling opam sandboxing (via 'opam init 
> > --disable-sandboxing'), but so far have had no luck.  opam seems to 
> > work fine for other packages I've installed recently.
> >
> > Any suggestions about where the problem might be?
>
> My suggestion would also be to disable sandboxing. Note that "opam 
> init" does nothing if opam is already initialized. So, typing "opam 
> init --disable-sandboxing" does not disable sandboxing, unfortunately. 
> You need to manually edit the "config" file to remove the 
> "wrap-*-commands" lines.
>
> Best regards,
>
> Guillaume