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?
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).
Unfortunately, the MacPorts package has stopped being updated since 8.8.2.