=> 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-20250213 => Tool dependency gmake>=3.81: found gmake-4.4.1 => 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 coq>=8.6: found coq-8.20.1 => Full dependency ocaml>=4.14.0: found ocaml-4.14.2 => Full dependency ocaml-num>=1.4nb1: found ocaml-num-1.4nb1 => 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.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... 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.2 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 found num in /usr/pkg/lib/ocaml/site-lib/num checking for /usr/pkg/lib/ocaml/site-lib/num/nums.cma... no checking for /usr/pkg/lib/ocaml/site-lib/num/num.cmi... no checking for /usr/pkg/lib/ocaml/nums.cma... yes checking for /usr/pkg/lib/ocaml/num.cmi... yes ocamlfind found zarith in /usr/pkg/lib/ocaml/site-lib/zarith checking for /usr/pkg/lib/ocaml/site-lib/zarith/z.cmi... yes ocamlfind: Package `zip' not found checking for /usr/pkg/lib/ocaml/zip/zip.cma... no checking for /usr/pkg/lib/ocaml/zip/zip.cmi... no configure: WARNING: Lib camlzip not found, sessions files will not be compressed. ocamlfind found menhirLib in /usr/pkg/lib/ocaml/site-lib/menhirLib checking for /usr/pkg/lib/ocaml/site-lib/menhirLib/menhirLib.cmi... yes ocamlfind: Package `seq' not found checking for /usr/pkg/lib/ocaml/stdlib__seq.cmi... no checking for /usr/pkg/lib/ocaml/stdlib__Seq.cmi... yes ocamlfind: Package `re' not found checking for /usr/pkg/lib/ocaml/re/re.cmx... no checking for /usr/pkg/lib/ocaml/re/re.cmi... no configure: WARNING: Library re not found. ocamlfind found ocamlgraph in /usr/pkg/lib/ocaml/site-lib/ocamlgraph checking for /usr/pkg/lib/ocaml/site-lib/ocamlgraph/graph.cmi... yes ocamlfind found ocamlgraph in /usr/pkg/lib/ocaml/site-lib/ocamlgraph checking for /usr/pkg/lib/ocaml/site-lib/ocamlgraph/graph.cmi... (cached) yes ocamlfind: Package `js_of_ocaml' not found ocamlfind: Package `mlmpfr' not found ocamlfind: Package `ppx_sexp_conv' not found checking for coqc... coqc checking Coq version... 8.20.1 configure: WARNING: You need Coq 8.7 or later; Coq discarded checking for pvs... no configure: WARNING: Cannot find pvs. checking for isabelle... no configure: WARNING: Cannot find isabelle. 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: 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 Profiling : no Memory profiling : no (disabled by default) PPX : yes S-expr for why3pp : no (requires ppx_sexp_conv) Javascript support : no (js_of_ocaml not found) MPFR support : no (mlmpfr not found) Re support : no Components Why3 library : yes GTK IDE : no (disabled by user) Web IDE : no (Javascript support not available) GMP arithmetic : yes Compressed sessions : no (camlzip not found) Hypothesis selection : yes Stackify : yes Invariant inference(exp): no (disabled by default) Frama-C support : no (disabled by default) Documentation : no (sphinx-build not found) Support for interactive proof assistants Coq : no (need version >= 8.7) 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