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

**URL:** <https://discourse.rocq-prover.org/t/brew-install-coq-gets-stuck-on-make-world/603>\
**Category:** Using Rocq\
**Created:** [February 5, 2020, 6:15pm UTC](https://discourse.rocq-prover.org/t/brew-install-coq-gets-stuck-on-make-world/603 "2020-02-05T18:15:28Z")\
**Posts on this page:** 6\
**Page:** 1

<div class="post-metadata">

**Author:** ![shimmer](https://avatars.discourse-cdn.com/v4/letter/s/919ad9/32.png) [@shimmer](https://discourse.rocq-prover.org/u/shimmer)\
**Post date:** [February 5, 2020, 6:15pm UTC](https://discourse.rocq-prover.org/t/brew-install-coq-gets-stuck-on-make-world/603/1 "2020-02-05T18:15:28Z")

</div>

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?

---

<div class="post-metadata">

**Author:** ![SkySkimmer](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/skyskimmer/32/369_2.png) [@SkySkimmer](https://discourse.rocq-prover.org/u/SkySkimmer)\
**Post date:** [February 5, 2020, 6:32pm UTC](https://discourse.rocq-prover.org/t/brew-install-coq-gets-stuck-on-make-world/603/2 "2020-02-05T18:32:33Z")

</div>

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

Gaëtan Gilbert

---

<div class="post-metadata">

**Author:** ![shimmer](https://avatars.discourse-cdn.com/v4/letter/s/919ad9/32.png) [@shimmer](https://discourse.rocq-prover.org/u/shimmer)\
**Post date:** [February 5, 2020, 7:11pm UTC](https://discourse.rocq-prover.org/t/brew-install-coq-gets-stuck-on-make-world/603/3 "2020-02-05T19:11:40Z")

</div>

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.

---

<div class="post-metadata">

**Author:** ![shimmer](https://avatars.discourse-cdn.com/v4/letter/s/919ad9/32.png) [@shimmer](https://discourse.rocq-prover.org/u/shimmer)\
**Post date:** [February 5, 2020, 7:37pm UTC](https://discourse.rocq-prover.org/t/brew-install-coq-gets-stuck-on-make-world/603/4 "2020-02-05T19:37:47Z")

</div>

Resolved this by installing through macports.

---

<div class="post-metadata">

**Author:** ![herbelin](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/herbelin/32/111_2.png) [@herbelin](https://discourse.rocq-prover.org/u/herbelin)\
**Post date:** [February 6, 2020, 8:59pm UTC](https://discourse.rocq-prover.org/t/brew-install-coq-gets-stuck-on-make-world/603/5 "2020-02-06T20:59:03Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [February 7, 2020, 11:45am UTC](https://discourse.rocq-prover.org/t/brew-install-coq-gets-stuck-on-make-world/603/6 "2020-02-07T11:45:47Z")

</div>

> [@shimmer](#):
>
> Resolved this by installing through macports.

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