=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Skipping vulnerability checks.
WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'.
===> Building for coq-8.20.1
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 && /usr/pkgsrc/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 && /usr/pkgsrc/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 /usr/pkgsrc/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
File "theories/dune", line 583, characters 1-691:
583 |  (rule
584 |   (targets Ltac.timing NCoq_Init_Ltac.cmi NCoq_Init_Ltac.cmxs Ltac.glob
585 |            Ltac.vos Ltac.vo)
586 |   (deps ../../plugins/ltac/ltac_plugin.cmxs)
587 |   (action (chdir ../../. (run coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -I plugins/micromega -w +default -q -nI kernel/.kernel.objs/byte -native-output-dir . -w -deprecated-native-compiler-option -native-compiler on -time-file theories/Init/Ltac.timing %{dep:Ltac.v}))))
(cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -I plugins/micromega -w +default -q -nI kernel/.kernel.objs/byte -native-output-dir . -w -deprecated-native-compiler-option -native-compiler on -time-file theories/Init/Ltac.timing theories/Init/Ltac.v)
/usr/pkgsrc/lang/coq/work/coq-8.20.1/_build/default/plugins/ltac/ltac_plugin.cmxs: text relocations
File "./theories/Init/Ltac.v", line 11, characters 0-54:
Error:
Dynlink error: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure(\"/usr/pkgsrc/lang/coq/work/coq-8.20.1/_build/default/plugins/ltac/ltac_plugin.cmxs: Unsupported relocation type 10 in non-PLT relocations\")")

*** Error code 1

Stop.
make[1]: stopped in /usr/pkgsrc/lang/coq
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/lang/coq