=> Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for AdaCore-why3-fsf-14.tar.gz => Checksum SHA512 OK for AdaCore-why3-fsf-14.tar.gz => Checksum BLAKE2s OK for gcc-14.2.0.tar.xz => Checksum SHA512 OK for gcc-14.2.0.tar.xz => Checksum BLAKE2s OK for spark2014-fsf-14.tar.gz => Checksum SHA512 OK for spark2014-fsf-14.tar.gz ===> Installing dependencies for spark2014-14-14.2.0nb1 ========================================================================== The following variables will affect the build process of this package, spark2014-14-14.2.0nb1. Their current value is shown below: * OCAML_USE_OPT_COMPILER = yes * PYTHON_VERSION_DEFAULT = 313 Based on these variables, the following variables have been set: * PYPACKAGE = python313 * 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 python313>=3.13: found python313-3.13.9 => 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 adasat-gnat14>=25.0.0: found adasat-gnat14-25.2.0 => Build dependency gcc14-gnat>=14.3.0: found gcc14-gnat-14.3.0nb3 => Build dependency gnatcoll-bindings-gnat14>=25.2.0: found gnatcoll-bindings-gnat14-25.2.0 => Build dependency gnatcoll-core-gnat14>=25.2.0: found gnatcoll-core-gnat14-25.2.0 => Build dependency gprbuild>=24.0.0: found gprbuild-25.2.0 => Build dependency libgpr-gnat14>=25.2.0: found libgpr-gnat14-25.2.0 => Build dependency libgpr2-gnat14>=25.2.0: found libgpr2-gnat14-25.2.0 => Build dependency menhir>=20220210: found menhir-20220210 => Build dependency ocaml>=4.14.0: found ocaml-4.14.2nb1 => Build dependency ocaml-num>=1.4nb1: found ocaml-num-1.4nb1 => Build dependency ocaml-ppx_deriving>=5.2.1: found ocaml-ppx_deriving-5.2.1 => Build dependency ocaml-ppx_sexp_conv>=0.15.1: found ocaml-ppx_sexp_conv-0.15.1 => Build dependency ocaml-re>=1.10.4nb1: found ocaml-re-1.10.4nb1 => Build dependency ocaml-seq>=0.2.2: found ocaml-seq-0.2.2 => Build dependency ocaml-sexplib>=0.15.0: found ocaml-sexplib-0.15.0 => Build dependency ocaml-yojson>=1.7.0nb2: found ocaml-yojson-1.7.0nb2 => Build dependency ocaml-zarith>=1.12nb1: found ocaml-zarith-1.12nb1 => Build dependency ocamlgraph>=1.8.8nb33: found ocamlgraph-1.8.8nb47 => Build dependency xmlada-gnat14>=25.2.0: found xmlada-gnat14-25.2.0 => Full dependency gmp>=5.0.1: found gmp-6.3.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 spark2014-14-14.2.0nb1 ===> Extracting for spark2014-14-14.2.0nb1 ===> Patching for spark2014-14-14.2.0nb1 => Applying pkgsrc patches for spark2014-14-14.2.0nb1 ===> Creating toolchain wrappers for spark2014-14-14.2.0nb1 ===> Configuring for spark2014-14-14.2.0nb1 => Remove -C in why3/Makefile.in => Fix interpreter in benchmark_script/* => Replace sha256sum in Makefile => Replace version in Makefile spark2014vsn.ads cd why3 && ./configure --prefix=/usr/pkg/gcc14-gnat/libexec/spark \ --enable-relocation --disable-js-of-ocaml \ --disable-hypothesis-selection --disable-re --disable-coq-libs checking executable suffix... checking for 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 checking for ocp-ocamlc... no checking for ocamlc... ocamlc configure: ocaml version is 4.14.2 configure: ocaml library path is /usr/pkg/lib/ocaml checking for ocp-ocamlopt... no checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocp-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocp-ocamlopt.opt... no 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 num using ocamlfind... yes 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 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 lablgtk3 using ocamlfind... no configure: WARNING: cannot find library lablgtk3, IDE disabled. checking for ocamlgraph using ocamlfind... yes checking for /usr/pkg/lib/ocaml/site-lib/ocamlgraph/graph.cmi... yes checking for mlmpfr... no checking for ppx_sexp_conv using ocamlfind... yes checking for sexplib using ocamlfind... yes checking for ppx_deriving using ocamlfind... yes checking for pvs... no checking for isabelle... 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: 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 : yes Javascript support : no (disabled by user) MPFR support : no (mlmpfr not found) Re support : no (disabled by user) Components Why3 library : yes GTK IDE : no (lablgtk3 not found) Web IDE : no (Javascript support not available) GMP arithmetic : yes Compressed sessions : no (camlzip not found) Hypothesis selection : no (disabled by user) 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 : no (disabled by user) 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 : yes