=> Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for AdaCore-alt-ergo-be23b7992464438d6b654d9e36e6917748862130.tar.gz => Checksum SHA512 OK for AdaCore-alt-ergo-be23b7992464438d6b654d9e36e6917748862130.tar.gz => Checksum BLAKE2s OK for AdaCore-cvc5-98b5fb70e8a94fd258bfc959c4a6fd0cc3537564.tar.gz => Checksum SHA512 OK for AdaCore-cvc5-98b5fb70e8a94fd258bfc959c4a6fd0cc3537564.tar.gz => Checksum BLAKE2s OK for AdaCore-why3-52b6a590ba9bfc64aa0d22b41715358f26124a1f.tar.gz => Checksum SHA512 OK for AdaCore-why3-52b6a590ba9bfc64aa0d22b41715358f26124a1f.tar.gz => Checksum BLAKE2s OK for AdaCore-z3-7e79f0deb7c9d43f7637113be5b99391f14fcc2e.tar.gz => Checksum SHA512 OK for AdaCore-z3-7e79f0deb7c9d43f7637113be5b99391f14fcc2e.tar.gz => Checksum BLAKE2s OK for gcc-13.3.0.tar.xz => Checksum SHA512 OK for gcc-13.3.0.tar.xz => Checksum BLAKE2s OK for spark2014-12db22e854defa9d1c993ef904af1e72330a68ca.tar.gz => Checksum SHA512 OK for spark2014-12db22e854defa9d1c993ef904af1e72330a68ca.tar.gz ===> Installing dependencies for spark2014-13-13.3.0 ========================================================================== The following variables will affect the build process of this package, spark2014-13-13.3.0. Their current value is shown below: * OCAML_USE_OPT_COMPILER = yes * PYTHON_VERSION_DEFAULT = 312 Based on these variables, the following variables have been set: * PYPACKAGE = python312 * 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 python312>=3.12: found python312-3.12.11 => 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 gcc13-gnat>=13.4.0: found gcc13-gnat-13.4.0nb1 => Build dependency gnatcoll-core-gnat13>=24.0.0: found gnatcoll-core-gnat13-24.0.0 => Build dependency gprbuild>=24.0.0: found gprbuild-25.0.0nb1 => Build dependency libgpr-gnat13>=24.0.0: found libgpr-gnat13-24.0.0 => Build dependency menhir>=20220210: found menhir-20220210 => Build dependency ocaml>=4.14.0: found ocaml-4.14.2 => Build dependency ocaml-num>=1.4nb1: found ocaml-num-1.4nb1 => Build dependency ocaml-ocplib-simplex>=0.5.1: found ocaml-ocplib-simplex-0.5.1 => 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 ocaml-zip>=1.11: found ocaml-zip-1.11 => Build dependency ocamlgraph>=1.8.8nb33: found ocamlgraph-1.8.8nb46 => Build dependency xmlada-gnat13>=24.0.0: found xmlada-gnat13-24.0.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-13-13.3.0 ===> Extracting for spark2014-13-13.3.0 ===> Patching for spark2014-13-13.3.0 => Applying pkgsrc patches for spark2014-13-13.3.0 ===> Creating toolchain wrappers for spark2014-13-13.3.0 ===> Configuring for spark2014-13-13.3.0 => Fix interpreter in benchmark_script/* cd why3 && ./configure --prefix=/usr/pkg/gcc13-gnat/libexec/spark \ --enable-relocation --disable-js-of-ocaml \ --disable-hypothesis-selection --disable-re 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 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 users checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.14.2 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 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 found camlzip in /usr/pkg/lib/ocaml/site-lib/zip checking for /usr/pkg/lib/ocaml/site-lib/zip/zip.cmi... yes 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 `lablgtk3' not found configure: WARNING: Lib lablgtk3 not found, trying lablgtk2. ocamlfind: Package `lablgtk2' not found configure: WARNING: Lib lablgtk2 not found, IDE disabled. ocamlfind found ocamlgraph in /usr/pkg/lib/ocaml/site-lib/ocamlgraph checking for /usr/pkg/lib/ocaml/site-lib/ocamlgraph/graph.cmi... yes ocamlfind: Package `mlmpfr' not found ocamlfind: Package `ppx_sexp_conv' not found checking for coqc... no configure: WARNING: Cannot find coqc. 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 (disabled by user) MPFR support : no (mlmpfr not found) Re support : no Components Why3 library : yes GTK IDE : no (lablgtk2/3 not found) Web IDE : no (Javascript support not available) GMP arithmetic : yes Compressed sessions : yes Hypothesis selection : no 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 (coqc 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 : yes