===> Installing for coq-8.15.2nb19 => Generating pre-install file lists => Creating installation directories /opt/pkg/bin/gmake --warn-undefined-variable --no-builtin-rules -f Makefile.build install gmake[1]: Entering directory '/Users/pbulk/build/lang/coq/work/coq-8.15.2' DUNE sources Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune 3.8 and will be removed in an upcoming Dune version. dune install --display=quiet --release --destdir="/Users/pbulk/build/lang/coq/work/.destdir" --mandir=""/opt/pkg/share/man"" --prefix=""/opt/pkg"" --etcdir=""/opt/pkg/etc/xdg/coq"" --docdir=""/opt/pkg/share/doc/coq"" coq-core Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune 3.8 and will be removed in an upcoming Dune version. dune install --display=quiet --release --destdir="/Users/pbulk/build/lang/coq/work/.destdir" --mandir=""/opt/pkg/share/man"" --prefix=""/opt/pkg"" --etcdir=""/opt/pkg/etc/xdg/coq"" --docdir=""/opt/pkg/share/doc/coq"" coqide-server Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune 3.8 and will be removed in an upcoming Dune version. INSTALL VOFILES dune install --display=quiet --release --destdir="/Users/pbulk/build/lang/coq/work/.destdir" --mandir=""/opt/pkg/share/man"" --prefix=""/opt/pkg"" --etcdir=""/opt/pkg/etc/xdg/coq"" --docdir=""/opt/pkg/share/doc/coq"" coqide Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune 3.8 and will be removed in an upcoming Dune version. gmake[1]: Leaving directory '/Users/pbulk/build/lang/coq/work/coq-8.15.2' => Automatic manual page handling => Generating post-install file lists => Checking file-check results for coq-8.15.2nb19 ERROR: ************************************************************ ERROR: The following files are in /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg but not in the PLIST: ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/boot/boot.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/clib/clib.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/config/config.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/engine/engine.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/gramlib/gramlib.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/interp/interp.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/kernel/kernel.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/lib/lib.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/library/library.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/parsing/parsing.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/btauto/btauto_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/cc/cc_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/derive/derive_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/extraction/extraction_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/firstorder/firstorder_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/funind/funind_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/ltac/ltac_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/ltac2/ltac2_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/micromega/micromega_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/nsatz/nsatz_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/ring/ring_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/rtauto/rtauto_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/tauto/tauto_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/tutorial/p0/tuto0_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/tutorial/p1/tuto1_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/tutorial/p2/tuto2_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/tutorial/p3/tuto3_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/plugins/zify/zify_plugin.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/pretyping/pretyping.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/printing/printing.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/proofs/proofs.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/stm/stm.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/sysinit/sysinit.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/tactics/tactics.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/top_printers/top_printers.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/toplevel/toplevel.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/vernac/vernac.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coq-core/vm/coqrun.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coqide-server/core/core.cmxs ERROR: /Users/pbulk/build/lang/coq/work/.destdir/opt/pkg/lib/coqide-server/protocol/protocol.cmxs *** Error code 1 Stop. bmake[1]: stopped making "stage-install" in /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/lang/coq *** Error code 1 Stop. bmake: stopped making "stage-install" in /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/lang/coq