=> 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'.
===> Installing for why3-1.8.0
=> Generating pre-install file lists
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/plugins
/usr/bin/install -c -o pbulk -g users -m 644 lib/plugins/genequlin.cmxs lib/plugins/dimacs.cmxs lib/plugins/tptp.cmxs lib/plugins/python.cmxs lib/plugins/microc.cmxs lib/plugins/coma.cmxs lib/plugins/cfg.cmxs lib/plugins/forward_propagation.cmxs lib/plugins/hypothesis_selection.cmxs /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/plugins
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/bin
/usr/bin/install -c -o pbulk -g users bin/why3.opt /pbulk/work/devel/why3/work/.destdir/usr/pkg/bin/why3
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g users -m 644 bin/why3config.cmxs bin/why3execute.cmxs bin/why3extract.cmxs bin/why3prove.cmxs bin/why3realize.cmxs bin/why3replay.cmxs bin/why3show.cmxs bin/why3wc.cmxs bin/why3bench.cmxs /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3
/usr/bin/install -c -o pbulk -g users lib/why3server /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/why3server
/usr/bin/install -c -o pbulk -g users lib/why3cpulimit /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/why3cpulimit
/usr/bin/install -c -o pbulk -g users lib/why3-call-pvs /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/why3-call-pvs
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g users -m 644 bin/why3webserver.cmxs /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g users -m 644 bin/why3session.cmxs /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g users -m 644 bin/why3shell.cmxs /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
cp -f bin/isabelle_client.opt /pbulk/work/devel/why3/work/.destdir/usr/pkg/bin/isabelle_client
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g users -m 644 bin/why3pp.cmxs /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g users -m 644 bin/why3doc.cmxs /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/vim
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/vim/ftdetect
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/vim/syntax
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/lang
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib/mach
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib/mach/java
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/drivers
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/extraction_drivers
/usr/bin/install -c -o pbulk -g users -m 644 stdlib/*.mlw /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib
/usr/bin/install -c -o pbulk -g users -m 644 stdlib/mach/*.mlw /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib/mach
/usr/bin/install -c -o pbulk -g users -m 644 stdlib/mach/java/*.mlw /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib/mach/java
/usr/bin/install -c -o pbulk -g users -m 644 drivers/*.drv drivers/*.gen /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/drivers
/usr/bin/install -c -o pbulk -g users -m 644 extraction_drivers/*.drv /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/extraction_drivers
/usr/bin/install -c -o pbulk -g users -m 644 LICENSE /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/
/usr/bin/install -c -o pbulk -g users -m 644 share/provers-detection-data.conf /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/
/usr/bin/install -c -o pbulk -g users -m 644 share/why3session.dtd /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3
/usr/bin/install -c -o pbulk -g users -m 644 share/Makefile.config /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3
/usr/bin/install -c -o pbulk -g users -m 644 share/vim/ftdetect/why3.vim /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/vim/ftdetect/why3.vim
/usr/bin/install -c -o pbulk -g users -m 644 share/vim/syntax/why3.vim /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/vim/syntax/why3.vim
/usr/bin/install -c -o pbulk -g users -m 644 share/lang/why3.lang /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/lang/why3.lang
/usr/bin/install -c -o pbulk -g users -m 644 share/lang/why3c.lang /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/lang/why3c.lang
/usr/bin/install -c -o pbulk -g users -m 644 share/lang/why3py.lang /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/lang/why3py.lang
/usr/bin/install -c -o pbulk -g users -m 644 share/lang/coma.lang /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/lang/coma.lang
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/drivers
/usr/bin/install -c -o pbulk -g users -m 644 drivers/coq-realizations.aux /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/drivers/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/drivers/
/usr/bin/install -c -o pbulk -g users -m 644 drivers/pvs-realizations.aux /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/drivers/
/usr/bin/install -c -o pbulk -g users -m 644 drivers/isabelle-realizations.aux /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/drivers/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/emacs/site-lisp/
/usr/bin/install -c -o pbulk -g users -m 644 share/emacs/why3.el /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/emacs/site-lisp/why3.el
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g users -m 644 bin/why3ide.cmxs /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/images
for i in share/images/*.rc; do \
     d=`basename $i .rc`; \
     /usr/bin/install -c -o pbulk -g users -m 644 $i /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/images; \
     ./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/images/$d; \
     /usr/bin/install -c -o pbulk -g users -m 644 share/images/$d/* /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/images/$d; \
done
/usr/bin/install -c -o pbulk -g users -m 644 share/images/*.png /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/images
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/version /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/BuiltIn.vo lib/coq/HighOrd.vo lib/coq/WellFounded.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/int/Exponentiation.vo lib/coq/int/Abs.vo lib/coq/int/ComputerDivision.vo lib/coq/int/Div2.vo lib/coq/int/EuclideanDivision.vo lib/coq/int/Int.vo lib/coq/int/MinMax.vo lib/coq/int/Power.vo lib/coq/int/NumOf.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bool
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/bool/Bool.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bool/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/real/Abs.vo lib/coq/real/ExpLog.vo lib/coq/real/FromInt.vo lib/coq/real/MinMax.vo lib/coq/real/PowerInt.vo lib/coq/real/PowerReal.vo lib/coq/real/Real.vo lib/coq/real/RealInfix.vo lib/coq/real/Square.vo lib/coq/real/Trigonometry.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/number/Divisibility.vo lib/coq/number/Gcd.vo lib/coq/number/Parity.vo lib/coq/number/Prime.vo lib/coq/number/Coprime.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/set/Set.vo lib/coq/set/Cardinal.vo lib/coq/set/Fset.vo lib/coq/set/FsetInduction.vo lib/coq/set/FsetInt.vo lib/coq/set/FsetSum.vo lib/coq/set/SetApp.vo lib/coq/set/SetAppInt.vo lib/coq/set/SetImp.vo lib/coq/set/SetImpInt.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/map/Map.vo lib/coq/map/Const.vo lib/coq/map/MapExt.vo lib/coq/map/Occ.vo lib/coq/map/MapPermut.vo lib/coq/map/MapInjection.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/list/List.vo lib/coq/list/Length.vo lib/coq/list/Mem.vo lib/coq/list/Nth.vo lib/coq/list/NthLength.vo lib/coq/list/HdTl.vo lib/coq/list/NthHdTl.vo lib/coq/list/Append.vo lib/coq/list/NthLengthAppend.vo lib/coq/list/Reverse.vo lib/coq/list/HdTlNoOpt.vo lib/coq/list/NthNoOpt.vo lib/coq/list/RevAppend.vo lib/coq/list/Combine.vo lib/coq/list/Distinct.vo lib/coq/list/NumOcc.vo lib/coq/list/Permut.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/option
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/option/Option.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/option/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bv
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/bv/Pow2int.vo lib/coq/bv/BV_Gen.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bv/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/for_drivers
/usr/bin/install -c -o pbulk -g users -m 644 lib/coq/for_drivers/ComputerOfEuclideanDivision.vo /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/for_drivers/
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/drivers
/usr/bin/install -c -o pbulk -g users -m 644 drivers/coq-realizations.aux /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/why3/drivers/
if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then \
  /usr/bin/install -c -o pbulk -g users share/bash/why3 /etc/bash_completion.d; \
fi
./install-sh -c -d /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/ocaml/site-lib/why3
/usr/bin/install -c -o pbulk -g users -m 644 lib/why3/why3.a lib/why3/why3.cmx lib/why3/why3.cmi lib/why3/why3.cmxa lib/why3/why3.cmxs lib/why3/why3.cmt \
	lib/why3/META /pbulk/work/devel/why3/work/.destdir/usr/pkg/lib/ocaml/site-lib/why3
=> Automatic manual page handling
=> Generating post-install file lists
pkg_create: can't stat `/pbulk/work/devel/why3/work/.destdir/usr/pkg/share/emacs/site-lisp/why3.elc'
=> Checking file-check results for why3-1.8.0
ERROR: ************************************************************
ERROR: The following files are in the PLIST but not in /pbulk/work/devel/why3/work/.destdir/usr/pkg:
ERROR:         /pbulk/work/devel/why3/work/.destdir/usr/pkg/share/emacs/site-lisp/why3.elc
*** Error code 1

Stop.
make[1]: stopped in /usr/pkgsrc/devel/why3
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/devel/why3