=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for why3-1.8.0.tar.gz
=> Checksum SHA512 OK for why3-1.8.0.tar.gz
===> Installing dependencies for why3-1.8.0
==========================================================================
The following variables will affect the build process of this package,
why3-1.8.0. Their current value is shown below:
* JPEG_DEFAULT = jpeg
Based on these variables, the following variables have been set:
* JPEGBASE (defined, but empty)
* JPEG_TYPE = jpeg
* 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.82.5
=> 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.36: found x11-links-1.36
=> Full dependency menhir-[0-9]*: found menhir-20220210
=> Full dependency coq>=8.16: found coq-8.20.1
=> Full dependency ocaml>=4.14.0: found ocaml-4.14.2
=> Full dependency ocaml-lablgtk3>=3.1.3nb19: found ocaml-lablgtk3-3.1.5
=> Full dependency ocaml-zarith>=1.12nb1: found ocaml-zarith-1.12nb1
=> Full dependency ocamlgraph>=1.8.8nb33: found ocamlgraph-1.8.8nb45
===> 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.0
===> Extracting for why3-1.8.0
===> Patching for why3-1.8.0
===> Creating toolchain wrappers for why3-1.8.0
/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.0
=> 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... ./configure: OCAMLC: not found
./configure: OCAMLC: not found
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.2
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... ocamlfind
checking for compiler-libs using ocamlfind... yes
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.
checking for zarith using ocamlfind... yes
checking for /usr/pkg/lib/ocaml/site-lib/zarith/z.cmi... yes
checking for camlzip using ocamlfind... no
configure: WARNING: cannot find library camlzip; sessions files will not be compressed.
checking for menhirLib using ocamlfind... yes
checking for /usr/pkg/lib/ocaml/site-lib/menhirLib/menhirLib.cmi... yes
checking for re using ocamlfind... no
configure: WARNING: cannot find library re, using Str instead.
checking for lablgtk3 using ocamlfind... yes
checking for /usr/pkg/lib/ocaml/site-lib/lablgtk3/gtkButton.cmi... yes
checking for lablgtk3-sourceview3 using ocamlfind... yes
checking for /usr/pkg/lib/ocaml/site-lib/lablgtk3-sourceview3/gSourceView3.cmi... yes
checking for ocamlgraph using ocamlfind... yes
checking for /usr/pkg/lib/ocaml/site-lib/ocamlgraph/graph.cmi... yes
checking for mlmpfr... no
checking for js_of_ocaml... no
checking for ppx_sexp_conv using ocamlfind... no
checking for coqc... coqc
checking Coq version... 8.20.1
checking for coqdep... coqdep
checking for Flocq... File "./conftest.v", line 1, characters 15-28:
Error: Cannot find a physical path bound to logical path Flocq.Version.
no
checking for pvs... no
checking for isabelle... no
checking for javac... no
checking for java... no
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/config.sh
config.status: creating lib/why3/META
config.status: creating .merlin
config.status: creating src/jessie/Makefile
config.status: creating src/jessie/.merlin
config.status: creating lib/coq/version
config.status: creating lib/pvs/version
config.status: creating bench/java/Makefile
config.status: creating doc/javaexamples/Makefile
config.status: executing chmod commands
Summary
-----------------------------------------
Verbose make : no
OCaml compiler : yes
Version : 4.14.2
Library path : /usr/pkg/lib/ocaml
Ocamlfind : yes
Native compilation : yes
Memory profiling : no (disabled by default)
PPX : yes
S-expressions support : no (ppx_sexp_conv not found)
Javascript support : no (js_of_ocaml not found)
MPFR support : no (mlmpfr not found)
Re support : no (re not found)
Build environment
OCaml OS Type :
Build environment type : Posix
Components
Why3 library : yes
GTK IDE : yes
Web IDE : no (Javascript support not available)
Compressed sessions : no (camlzip not found)
Hypothesis selection : yes
Stackify : yes
Invariant inference(exp): no (disabled by default)
Inference with BDDs(exp): no (disabled by default)
Frama-C support : no (disabled by default)
Documentation : no (sphinx-build not found)
Support for interactive proof assistants
Coq : yes
Version : 8.20.1
Library path : /usr/pkg/lib/coq
Realization support : yes
FP arithmetic : no (Flocq >= 3.4 not found)
PVS : no (pvs not found)
Isabelle : no (isabelle not found)
Installable : yes
Binary path : ${exec_prefix}/bin
Library path : ${exec_prefix}/lib/why3
Data path : ${prefix}/share/why3
OCaml library path : /usr/pkg/lib/ocaml/site-lib/why3
Relocatable : no