coq build failure

gistfile1.txt

~/code/coq/jscoq2 v8.7*
❯ make coq
mkdir -p coq-external coq-pkgs
git clone --depth=1 -b v8.7+vm+allow_disable https://github.com/ejgallego/coq.git coq-external/coq-v8.7+32bit || true
fatal: destination path 'coq-external/coq-v8.7+32bit' already exists and is not an empty directory.
cd coq-external/coq-v8.7+32bit && ./configure -local -native-compiler no -enable-vm no -coqide no
You have OCaml 4.06.0. Good!
You have OCamlfind 1.7.3. Good!
You have Camlp5 7.03. Good!
You have native-code compilation. Good!
You have the Num library installed. Good!
CoqIde manually disabled:
=> no CoqIde will be built.

  Architecture                : Darwin
  Coq VM bytecode link flags  : -custom
  Other bytecode link flags   : -custom
  OS dependent libraries      : -cclib -lunix
  OCaml version               : 4.06.0
  OCaml binaries in           : /Users/joel/.opam/4.06.0+32bit/bin/
  OCaml library in            : /Users/joel/.opam/4.06.0+32bit/lib/ocaml
  OCaml flambda flags         :
  Camlp5 version              : 7.03
  Camlp5 binaries in          : /Users/joel/.opam/4.06.0+32bit/bin
  Camlp5 library in           : /Users/joel/.opam/4.06.0+32bit/lib/camlp5
  Native dynamic link support : true
  CoqIde                      : no
  Documentation               : None
  Web browser                 : open %s
  Coq web site                : http://coq.inria.fr/
  Bytecode VM enabled         : false
  Native Compiler enabled     : false

  Local build, no installation...

If anything is wrong above, please restart './configure'.

*Warning* To compile the system for a new architecture
          don't forget to do a 'make clean' before './configure'.
make -f coq-addons/mathcomp.addon get
[ -d /Users/joel/code/coq/jscoq2//coq-external/math-comp ] || git clone --depth=1 -b fast-load https://github.com/ejgallego/math-comp.git /Users/joel/code/coq/jscoq2//coq-external/math-comp
make -f coq-addons/iris.addon get
[ -d /Users/joel/code/coq/jscoq2//coq-external/stdpp ] || git clone --depth=1 https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp.git /Users/joel/code/coq/jscoq2//coq-external/stdpp
[ -d /Users/joel/code/coq/jscoq2//coq-external/iris ]  || git clone --depth=1 https://gitlab.mpi-sws.org/FP/iris-coq.git /Users/joel/code/coq/jscoq2//coq-external/iris
make -f coq-addons/elpi.addon get
[ -d /Users/joel/code/coq/jscoq2//coq-external/elpi ] || git clone --depth=1 https://github.com/LPCIC/coq-elpi.git /Users/joel/code/coq/jscoq2//coq-external/elpi
make -f coq-addons/equations.addon get
[ -d /Users/joel/code/coq/jscoq2//coq-external/Coq-Equations ] || git clone -b 8.7 --depth=1 https://github.com/mattam82/Coq-Equations /Users/joel/code/coq/jscoq2//coq-external/Coq-Equations
make -f coq-addons/ltac2.addon get
[ -d /Users/joel/code/coq/jscoq2//coq-external/ltac2 ] || git clone -b v8.7 --depth=1 https://github.com/ppedrot/ltac2 /Users/joel/code/coq/jscoq2//coq-external/ltac2
cd coq-external/coq-v8.7+32bit && make -j 2 && make -j 2 byte
/Applications/Xcode.app/Contents/Developer/usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.build
CAMLP4O   ide/coqide_main.ml4
OCAMLDEP  config/coq_config.ml
OCAMLDEP  ide/coqide_main.ml
OCAMLOPT  config/coq_config.ml
OCAMLC    kernel/cemitcodes.mli
OCAMLC    kernel/nativeinstr.mli
OCAMLC    library/nametab.mli
OCAMLC    intf/evar_kinds.ml
OCAMLC    library/lib.mli
OCAMLOPT  toplevel/usage.ml
OCAMLC    plugins/extraction/modutil.mli
OCAMLC    plugins/extraction/common.mli
OCAMLC    plugins/extraction/ocaml.mli
OCAMLC    plugins/extraction/haskell.mli
OCAMLC    plugins/extraction/scheme.mli
OCAMLC    plugins/extraction/json.mli
OCAMLC    plugins/extraction/extract_env.mli
MD5SUM cic.mli
OCAMLOPT  tools/coqdoc/cdglobals.ml
CHECK revision
OCAMLOPT  lib/flags.ml
OCAMLC    kernel/retroknowledge.mli
OCAMLOPT  tools/coqdoc/alpha.ml
OCAMLOPT  lib/control.ml
OCAMLOPT  lib/stateid.ml
OCAMLOPT  lib/envars.ml
OCAMLOPT  lib/cErrors.ml
OCAMLC    kernel/declarations.ml
OCAMLOPT  stm/coqworkmgrApi.ml
OCAMLOPT  plugins/micromega/mfourier.ml
OCAMLOPT  plugins/micromega/persistent_cache.ml
OCAMLOPT  checker/names.ml
OCAMLOPT  ide/document.ml
OCAMLOPT  tools/coqdoc/index.ml
OCAMLOPT  tools/coqc.ml
OCAMLOPT  tools/coqworkmgr.ml
OCAMLOPT  lib/feedback.ml
OCAMLOPT  tools/coqmktop.ml
OCAMLOPT  lib/cWarnings.ml
OCAMLOPT  lib/spawn.ml
OCAMLOPT  lib/profile.ml
OCAMLOPT  lib/explore.ml
OCAMLOPT  lib/genarg.ml
OCAMLOPT  lib/future.ml
OCAMLOPT  lib/remoteCounter.ml
OCAMLOPT  kernel/names.ml
OCAMLC    kernel/entries.mli
OCAMLC    kernel/pre_env.mli
OCAMLOPT  library/summary.ml
OCAMLC    library/univops.mli
OCAMLOPT  engine/logic_monad.ml
OCAMLOPT  parsing/cLexer.ml
OCAMLOPT  library/kindops.ml
OCAMLC    vernac/discharge.mli
OCAMLOPT  printing/genprint.ml
OCAMLOPT  vernac/topfmt.ml
OCAMLOPT  stm/spawned.ml
OCAMLOPT  stm/vcs.ml
OCAMLOPT  stm/tQueue.ml
OCAMLOPT  stm/workerPool.ml
OCAMLOPT  stm/workerLoop.ml
OCAMLOPT  plugins/nsatz/utile.ml
OCAMLOPT  checker/univ.ml
OCAMLOPT  ide/xmlprotocol.ml
OCAMLOPT  tools/coqdoc/tokens.ml
OCAMLOPT  lib/aux_file.ml
OCAMLOPT  lib/coqProject_file.ml
OCAMLOPT  lib/system.ml
OCAMLOPT  kernel/univ.ml
OCAMLC    kernel/declareops.mli
OCAMLOPT  kernel/conv_oracle.ml
OCAMLC    kernel/cbytegen.mli
OCAMLC    kernel/nativelambda.mli
OCAMLC    kernel/environ.mli
OCAMLC    kernel/csymtable.mli
OCAMLOPT  library/libnames.ml
OCAMLOPT  library/nameops.ml
OCAMLC    engine/universes.mli
OCAMLOPT  intf/extend.ml
OCAMLOPT  library/loadpath.ml
OCAMLOPT  library/dischargedhypsmap.ml
OCAMLC    library/decls.mli
OCAMLC    library/heads.mli
OCAMLC    pretyping/arguments_renaming.mli
OCAMLC    printing/printmod.mli
OCAMLC    plugins/extraction/table.mli
OCAMLC    plugins/extraction/extraction.mli
OCAMLOPT  plugins/nsatz/polynom.ml
OCAMLOPT  checker/term.ml
OCAMLOPT  checker/print.ml
OCAMLOPT  checker/declarations.ml
OCAMLOPT  tools/fake_ide.ml
OCAMLOPT  tools/coqdep.ml
OCAMLOPT  tools/coq_makefile.ml
OCAMLOPT  tools/coqdoc/output.ml
OCAMLOPT -a -o lib/clib.cmxa
OCAMLOPT -a -o lib/lib.cmxa
OCAMLOPT  kernel/uGraph.ml
OCAMLOPT  kernel/sorts.ml
OCAMLC    kernel/nativecode.mli
OCAMLC    kernel/cClosure.mli
OCAMLC    kernel/reduction.mli
OCAMLC    kernel/type_errors.mli
OCAMLC    kernel/modops.mli
OCAMLC    kernel/inductive.mli
OCAMLC    kernel/typeops.mli
OCAMLC    kernel/indtypes.mli
OCAMLC    kernel/cooking.mli
OCAMLC    kernel/subtyping.mli
OCAMLC    kernel/mod_typing.mli
OCAMLC    kernel/nativelibrary.mli
OCAMLC    kernel/safe_typing.mli
OCAMLC    kernel/vconv.mli
OCAMLC    plugins/extraction/mlutil.mli
OCAMLOPT  plugins/nsatz/ideal.ml
OCAMLOPT  checker/environ.ml
OCAMLBEST -o plugins/micromega/csdpcert
OCAMLBEST -o bin/coqdep
File "_none_", line 1:
Error: Cannot find file dynlink.cmxa
make[2]: *** [bin/coqdep] Error 2
make[2]: *** Waiting for unfinished jobs....
make[1]: *** [submake] Error 2
make: *** [coq-build] Error 2