===> Building for coq-8.20.1nb1
dune build  --root . theories_dune ltac2_dune
touch .dune-stamp
cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune
cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune
(cd _build/default && /Users/pbulk/build/lang/coq/work/.tools/bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision
skipping make_git_revision: git dir not found
(cd _build/default && /Users/pbulk/build/lang/coq/work/.buildlink/bin/ocamlmklib -g -o ide/coqide/platform_specific_stubs ide/coqide/shared_os_stubs.o)
warning: /System/Volumes/Data/Applications/Xcode-13.4.1.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: archive library: ide/coqide/libplatform_specific_stubs.a the table of contents is empty (no object file members in the library define global symbols)
(cd _build/default && /Users/pbulk/build/lang/coq/work/.buildlink/bin/ocamlmklib -g -o ide/coqide/coqide_gui_stubs ide/coqide/coqide_os_stubs.o)
warning: /System/Volumes/Data/Applications/Xcode-13.4.1.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: archive library: ide/coqide/libcoqide_gui_stubs.a the table of contents is empty (no object file members in the library define global symbols)