coq+32 output

❯ opam install coq
The following actions will be performed:
  ∗  install coq 8.7.1+1

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=  🐫
[default] https://opam.ocaml.org/archives/coq.8.7.1+1+opam.tar.gz downloaded

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=  🐫
[ERROR] The compilation of coq failed at "make -j4".
Processing  1/1: [coq: rm]
#=== ERROR while installing coq.8.7.1+1 =======================================#
# opam-version 1.2.2
# os           darwin
# command      make -j4
# path         /Users/joel/.opam/4.06.0+32bit/build/coq.8.7.1+1
# compiler     4.06.0+32bit
# exit-code    2
# env-file     /Users/joel/.opam/4.06.0+32bit/build/coq.8.7.1+1/coq-81239-865888.env
# stdout-file  /Users/joel/.opam/4.06.0+32bit/build/coq.8.7.1+1/coq-81239-865888.out
# stderr-file  /Users/joel/.opam/4.06.0+32bit/build/coq.8.7.1+1/coq-81239-865888.err
### stdout ###
# [...]
# OCAMLOPT  kernel/conv_oracle.ml
# OCAMLOPT  library/libnames.ml
# OCAMLOPT  intf/extend.ml
# OCAMLOPT  checker/term.ml
# OCAMLOPT  checker/print.ml
# OCAMLC    checker/checker.ml
# OCAMLBEST -o plugins/micromega/csdpcert
# OCAMLOPT  tools/fake_ide.ml
# OCAMLBEST -o bin/coqdep
# OCAMLBEST -o bin/coq_makefile
### stderr ###
# [...]
# Redundant [TYPED AS] clause in [ARGUMENT EXTEND ssrindex].
# clang: warning: -Wl,-read_only_relocs,suppress: 'linker' input unused [-Wunused-command-line-argument]
# clang: warning: -Wl,-read_only_relocs,suppress: 'linker' input unused [-Wunused-command-line-argument]
# clang: warning: -Wl,-read_only_relocs,suppress: 'linker' input unused [-Wunused-command-line-argument]
# clang: warning: -Wl,-read_only_relocs,suppress: 'linker' input unused [-Wunused-command-line-argument]
# File "_none_", line 1:
# Error: Cannot find file dynlink.cmxa
# make[1]: *** [bin/coqdep] Error 2
# make[1]: *** Waiting for unfinished jobs....
# make: *** [submake] Error 2



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=  🐫
The following actions failed
  ∗  install coq 8.7.1+1
No changes have been performed