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

Using Coq
1

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?

2

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

Gaëtan Gilbert

3

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.

4

Resolved this by installing through macports.

5

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
6

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