coq-flocq fails to install via opam on some OSX systems, because sandboxing fails
[issue submitted here on behalf of A. Appel]
On some OSX configurations the opam installation for coq-flocq fails with a permissions error # Failed to create server: Operation not permitted caused by opam's sandboxing scripts. The solution is to temporarily disable opam's sandboxing by editing ~/.opam/config to remove the lines having to do with wrap-*-commands: .
For users who are installing deep dependency chains of which coq-flocq is just one item, and especially for users who are not mainly users of flocq but only incidentally because of their use of other tools, this is a real problem: such users may not wish to disable sandboxing.
Possibly, the sandboxing failure is because of the use of "remake" to build coq-flocq, where remake tries to open a local socket. I wonder whether it's possible to use "make" to build coq-flocq by default, and use "remake" only for debugging.