unable to install coq-flocq

[geandwor]

tried to install cog-flocq,
using "opam install coq-flocq", got the following error:

[ERROR] The compilation of coq-flocq failed at
        "/Users/grandwor/.opam/opam-init/hooks/sandbox.sh build ./remake -j7".

#=== ERROR while compiling coq-flocq.3.0.0 ====================================#
# context     2.0.0 | macos/x86_64 | ocaml-system.4.07.0 | https://coq.inria.fr/opam/released
# path        ~/.opam/default/.opam-switch/build/coq-flocq.3.0.0
# command     ~/.opam/opam-init/hooks/sandbox.sh build ./remake -j7
# exit-code   1
# env-file    ~/.opam/log/coq-flocq-13414-05296d.env
# output-file ~/.opam/log/coq-flocq-13414-05296d.out
### output ###
# Failed to create server: Operation not permitted



::
opam config
# opam config report
# opam-version      2.0.0 
# self-upgrade      no
# system            arch=x86_64 os=macos os-distribution=homebrew os-version=10.12.6
# solver            builtin-mccs+glpk
# install-criteria  -removed,-count[version-lag,request],-count[version-lag,changed],-changed
# upgrade-criteria  -removed,-count[version-lag,solution],-new
# jobs              7
# repositories      2 (http) (default repo at 2a8a0d9e)
# pinned            1 (version)
# current-switch    default

[TDiazT]

Having the same issue

$ opam install coq-flocq
[NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
       opam update

The following actions will be performed:
  ∗ install coq-flocq 3.0.0

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
[coq-flocq.3.0.0] found in cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
[ERROR] The compilation of coq-flocq failed at "/Users/tdiaz/opam-coq.8.8.1/opam-init/hooks/sandbox.sh build ./remake -j7".

#=== ERROR while compiling coq-flocq.3.0.0 ====================================#
# context     2.0.0 | macos/x86_64 | ocaml-base-compiler.4.02.3 | http://coq.inria.fr/opam/released
# path        ~/opam-coq.8.8.1/4.02.3/.opam-switch/build/coq-flocq.3.0.0
# command     ~/opam-coq.8.8.1/opam-init/hooks/sandbox.sh build ./remake -j7
# exit-code   1
# env-file    ~/opam-coq.8.8.1/log/coq-flocq-1095-05296d.env
# output-file ~/opam-coq.8.8.1/log/coq-flocq-1095-05296d.out
### output ###
# Failed to create server: Operation not permitted



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
┌─ The following actions failed
│ λ build coq-flocq 3.0.0
└─ 
╶─ No changes have been performed

[geandwor]

The issue is mentioned in the bottom of the readme in the vellvm repository. Please read the bottom of the readme. I followed what is mentioned there, and installed the coq-flocq with success.

[TDiazT]

The issue is mentioned in the bottom of the readme in the vellvm repository. Please read the bottom of the readme. I followed what is mentioned there, and installed the coq-flocq with success.

Ohh okay ! I actually just downloaded the src code and installed it directly... but I will take a look at it 😄

Thanks!

If anyone is wondering - https://github.com/vellvm/vellvm#notes

[github-actions]

This issue is stale because it has been open 90 days with no activity. Remove the stale label, or comment, or this will be closed in 15 days.

[joom]

They deleted that part from their latest readme, so I'm copying it here for others' future reference:

coq-flocq

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:.

[kit-ty-kate]

does anyone have any idea why it was incompatible with the sandbox? I just had a glance and the only thing i could think of right now is somehow sockets are used because REMAKE_SOCKET is set? Anyone has a reproducible test case?