+ local run_cmd + run_cmd=run_su + shift + run_su /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=312 WRKLOG=/tmp/bulklog/coq-8.20.1nb2/work.log + su pbulk -c '"$@"' make /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=312 WRKLOG=/tmp/bulklog/coq-8.20.1nb2/work.log ===> 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 && /home/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 not found (cd _build/default && /home/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 /usr/pkg/lib/ocaml/str.cmxa -I /usr/pkg/lib/ocaml /usr/pkg/lib/ocaml/unix.cmxa -I /usr/pkg/lib/ocaml /usr/pkg/lib/ocaml/threads/threads.cmxa -I /usr/pkg/lib/ocaml clib/clib.cmxa lib/lib.cmxa ide/coqide/protocol/protocol.cmxa ide/coqide/core.cmxa /usr/pkg/lib/ocaml/bigarray.cmxa -I /usr/pkg/lib/ocaml /usr/pkg/lib/ocaml/site-lib/cairo2/cairo.cmxa -I /usr/pkg/lib/ocaml/site-lib/cairo2 /usr/pkg/lib/ocaml/site-lib/lablgtk3/lablgtk3.cmxa -I /usr/pkg/lib/ocaml/site-lib/lablgtk3 /usr/pkg/lib/ocaml/site-lib/lablgtk3-sourceview3/lablgtk3_sourceview3.cmxa -I /usr/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: libfontconfig.so.2, needed by /home/pbulk/build/lang/coq/work/.buildlink/lib/libcairo.so, may conflict with libfontconfig.so.1 ld: warning: libfreetype.so.19, needed by /usr/X11R7/lib/libfontconfig.so.2, may conflict with libfreetype.so.6