"brew install coq" gets stuck on "make world"

My terminal seems to alternate between “ocamlfind”, “ocamlopt”, and “clang” commands at the top. I’ve kept the install command running for at least ten minutes.

I’m on macOS 10.11, which I realize isn’t supported; if this is a reason installation might fail, just let me know. Otherwise, are there any workarounds for this?

Can you post the first 10k or so lines of the log?

Gaëtan Gilbert

The only logs I’m getting after running brew install coq are

==> Downloading https://github.com/coq/coq/archive/V8.11.0.tar.gz
Already downloaded: /Users/[username]/Library/Caches/Homebrew/downloads/0f996c0e88c1d2bf14dc7292aca434e03d323633191130ebd627ebe7b4a93b10--coq-8.11.0.tar.gz
 ==> ./configure -prefix /usr/local/Cellar/coq/8.11.0 -mandir /usr/local/Cellar/coq/8.11.0/share/man -coqdocdir /usr/local/Cella
==> make world

And then it’s just stuck for an indefinite amount of time.

Resolved this by installing through macports.

For the record, I’m on MacOS 10.1.1 and brew install coq succeeded without problems for 8.11 (built in 8 minutes 11 seconds, coincidentally).

1 Like

Unfortunately, the MacPorts package has stopped being updated since 8.8.2.