=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for why3-1.5.1.tar.gz
=> Checksum SHA512 OK for why3-1.5.1.tar.gz
===> Installing dependencies for why3-1.5.1nb1
=> Tool dependency mktools-[0-9]*: found mktools-20220614
=> Tool dependency gmake>=3.81: found gmake-4.3nb4
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Full dependency menhir-[0-9]*: found menhir-20220210
=> Full dependency ocaml>=4.14.0: found ocaml-4.14.0
===> 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'.
===> Overriding tools for why3-1.5.1nb1
===> Extracting for why3-1.5.1nb1
===> Patching for why3-1.5.1nb1
===> Creating toolchain wrappers for why3-1.5.1nb1
===> Configuring for why3-1.5.1nb1
=> Modifying GNU configure scripts to avoid --recheck
=> Replacing config-guess with pkgsrc versions
=> Replacing config-sub with pkgsrc versions
=> Replacing install-sh with pkgsrc version
=> Checking for portability problems in extracted files
checking executable suffix... <none>
checking for x86_64--netbsd-gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for gcc option to accept ISO C99... none needed
checking for gcc option to accept ISO Standard C... (cached) none needed
checking for a thread-safe mkdir -p... ./install-sh -c -d
checking for a BSD-compatible install... /usr/bin/install -c -o pbulk -g wheel
checking for ocamlc... ocamlc
ocaml version is 4.14.0
ocaml library path is /usr/pkg/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for menhir... menhir
checking for ocamlfind... ocamlfind
ocamlfind found compiler-libs in /usr/pkg/lib/ocaml/compiler-libs
checking for sphinx-build... no
configure: WARNING: Cannot find sphinx-build, Documentation disabled.
checking for emacs... no
configure: WARNING: Cannot find emacs, compilation of why3.elc disabled.
ocamlfind: Package `num' not found
checking for /usr/pkg/lib/ocaml/nums.cma... no
checking for /usr/pkg/lib/ocaml/num.cmi... no
configure: error: Library Num not found.
*** Error code 1

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

Stop.
make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/why3