=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for why3-1.8.2.tar.gz
=> Checksum SHA512 OK for why3-1.8.2.tar.gz
===> Installing dependencies for why3-1.8.2nb6
==========================================================================
The following variables will affect the build process of this package,
why3-1.8.2nb6.  Their current value is shown below:

        * JPEG_DEFAULT = libjpeg-turbo

Based on these variables, the following variables have been set:

        * JPEGBASE (defined, but empty)
        * JPEG_TYPE = libjpeg-turbo
        * TERMCAP_TYPE = termcap

You may want to abort the process now with CTRL-C and change the value
of variables in the first group before continuing.  Be sure to run
`/usr/bin/make clean' after the changes.
==========================================================================
=> Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.90.0
=> Tool dependency mktools-[0-9]*: found mktools-20250213
=> Tool dependency gmake>=3.81: found gmake-4.4.1
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Build dependency x11-links>=1.37: found x11-links-1.37
=> Full dependency coq>=8.16: found coq-8.20.1nb12
=> Full dependency menhir-[0-9]*: found menhir-20260112nb2
=> Full dependency ocaml>=4.14.3: found ocaml-4.14.3nb1
=> Full dependency ocaml-lablgtk3>=3.1.5nb12: found ocaml-lablgtk3-3.1.5nb12
=> Full dependency ocaml-zarith>=1.12nb1: found ocaml-zarith-1.14nb3
=> Full dependency ocaml-zip>=1.11: found ocaml-zip-1.11nb2
=> Full dependency ocamlgraph>=1.8.8nb33: found ocamlgraph-1.8.8nb54
===> 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.8.2nb6
===> Extracting for why3-1.8.2nb6
===> Patching for why3-1.8.2nb6
===> Creating toolchain wrappers for why3-1.8.2nb6
/bin/mkdir -p /pbulk/work/devel/why3/work/.buildlink/lib/pkgconfig
cd /pbulk/work/devel/why3/work/.buildlink/lib/pkgconfig && /bin/ln -sf enchant-2.pc enchant.pc
===> Configuring for why3-1.8.2nb6
=> 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 executable suffix... <none>
checking for ocamlc... ocamlc
checking ocaml os type... Unix
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 the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking for a race-free mkdir -p... ./install-sh -c -d
checking for a BSD-compatible install... /usr/bin/install -c -o pbulk -g users
configure: ocaml version is 4.14.3
configure: 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... no
checking for sphinx-build... no
configure: WARNING: cannot find sphinx-build, documentation disabled.
checking for /usr/pkg/lib/ocaml/zarith/zarith.cma... no
checking for /usr/pkg/lib/ocaml/zarith/z.cmi... no
configure: error: cannot find library zarith.
*** Error code 1

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

Stop.
make: stopped making "configure" in /usr/pkgsrc/devel/why3