===> Building for coq-8.20.1nb2
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-15.4.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-15.4.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)
(cd _build/default && /Users/pbulk/build/lang/coq/work/.buildlink/bin/ocamlopt.opt -w -40 -g -O3 -unbox-closures -o ide/coqide/coqide_main.exe config/config.cmxa boot/boot.cmxa /opt/pkg/lib/ocaml/str.cmxa -I /opt/pkg/lib/ocaml /opt/pkg/lib/ocaml/unix.cmxa -I /opt/pkg/lib/ocaml /opt/pkg/lib/ocaml/threads/threads.cmxa -I /opt/pkg/lib/ocaml clib/clib.cmxa lib/lib.cmxa ide/coqide/protocol/protocol.cmxa ide/coqide/core.cmxa /opt/pkg/lib/ocaml/bigarray.cmxa -I /opt/pkg/lib/ocaml /opt/pkg/lib/ocaml/site-lib/cairo2/cairo.cmxa -I /opt/pkg/lib/ocaml/site-lib/cairo2 /opt/pkg/lib/ocaml/site-lib/lablgtk3/lablgtk3.cmxa -I /opt/pkg/lib/ocaml/site-lib/lablgtk3 /opt/pkg/lib/ocaml/site-lib/lablgtk3-sourceview3/lablgtk3_sourceview3.cmxa -I /opt/pkg/lib/ocaml/site-lib/lablgtk3-sourceview3 ide/coqide/platform_specific.cmxa -I ide/coqide ide/coqide/coqide_gui.cmxa -I ide/coqide ide/coqide/.coqide_main.eobjs/native/dune__exe__Coqide_main.cmx)
ld: warning: ignoring duplicate libraries: '-latk-1.0', '-lcairo', '-lcairo-gobject', '-lgdk-3', '-lgdk_pixbuf-2.0', '-lgio-2.0', '-lglib-2.0', '-lgobject-2.0', '-lgtk-3', '-lharfbuzz', '-lintl', '-lpango-1.0', '-lpangocairo-1.0'