The Coq mailing list

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

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