+ case "${usergroup_phase}" in + local run_cmd + run_cmd=run_su + shift + run_su /opt/local/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/why3-1.5.1nb1/work.log + su pbulk -c '"$@"' make /opt/local/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/why3-1.5.1nb1/work.log => 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 ========================================================================== The following variables will affect the build process of this package, why3-1.5.1nb1. Their current value is shown below: * CURSES_DEFAULT = ncurses Based on these variables, the following variables have been set: * CURSES_TYPE = ncurses * TERMCAP_TYPE = curses 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 `/opt/local/bin/bmake clean' after the changes. ========================================================================== => 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 => Build dependency gcc13>=13.1.0: found gcc13-13.3.0 => Full dependency menhir-[0-9]*: found menhir-20220210 => Full dependency coq>=8.6: found coq-8.15.2nb19 => Full dependency gcc13-libs>=13.2.0: found gcc13-libs-13.3.0 => 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.8nb44 => Full dependency ncurses>=5.3nb1: found ncurses-6.5 ===> 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 /usr/bin/sed -e '/^#/d' -e 's,@LINK_ARCH_DEFAULT@,link_arch64,g' -e 's,@LINK_LIBGCC_DEFAULT@,link_libgcc_arch64,g' -e 's,@LIBGCC_PREFIX@,/opt/local/gcc13/x86_64-sun-solaris2.11,g' < ../../extra/gcc13-libs/files/specs.pkgsrc > /home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc ===> 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 executable suffix... <none> checking for x86_64-sun-solaris2.11-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... /opt/local/bin/bsdinstall -c -o pbulk -g pbulk checking for ocamlc... ocamlc ocaml version is 4.14.2 ocaml library path is /opt/local/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 /opt/local/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 /opt/local/lib/ocaml/site-lib/num checking for /opt/local/lib/ocaml/site-lib/num/nums.cma... no checking for /opt/local/lib/ocaml/site-lib/num/num.cmi... no checking for /opt/local/lib/ocaml/nums.cma... yes checking for /opt/local/lib/ocaml/num.cmi... yes ocamlfind found zarith in /opt/local/lib/ocaml/site-lib/zarith checking for /opt/local/lib/ocaml/site-lib/zarith/z.cmi... yes ocamlfind: Package `zip' not found checking for /opt/local/lib/ocaml/zip/zip.cma... no checking for /opt/local/lib/ocaml/zip/zip.cmi... no configure: WARNING: Lib camlzip not found, sessions files will not be compressed. ocamlfind found menhirLib in /opt/local/lib/ocaml/site-lib/menhirLib checking for /opt/local/lib/ocaml/site-lib/menhirLib/menhirLib.cmi... yes ocamlfind: Package `seq' not found checking for /opt/local/lib/ocaml/stdlib__seq.cmi... no checking for /opt/local/lib/ocaml/stdlib__Seq.cmi... yes ocamlfind: Package `re' not found checking for /opt/local/lib/ocaml/re/re.cmx... no checking for /opt/local/lib/ocaml/re/re.cmi... no configure: WARNING: Library re not found. ocamlfind found ocamlgraph in /opt/local/lib/ocaml/site-lib/ocamlgraph checking for /opt/local/lib/ocaml/site-lib/ocamlgraph/graph.cmi... yes ocamlfind found ocamlgraph in /opt/local/lib/ocaml/site-lib/ocamlgraph checking for /opt/local/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.15.2 checking for coqdep... coqdep checking for Flocq... File "./conftest.v", line 1, characters 0-36: Error: Cannot find a physical path bound to logical path Flocq.Version. no configure: WARNING: Cannot find Flocq. checking for pvs... pvs usage: pvs [-Cdlnorsv] [-I index] [-N Name] file(s) [-C] demangle symbol names [-d] print version definition information [-I index] qualify version with an index [-l] print reduced symbols [-N name] qualify version with `name' [-n] normalize version definition information [-o] one-line version definition output [-r] print version dependency (requirements) information [-s] print version definition symbols [-v] print verbose information checking PVS version... usage: pvs [-Cdlnorsv] [-I index] [-N Name] file(s) [-C] demangle symbol names [-d] print version definition information [-I index] qualify version with an index [-l] print reduced symbols [-N name] qualify version with `name' [-n] normalize version definition information [-o] one-line version definition output [-r] print version dependency (requirements) information [-s] print version definition symbols [-v] print verbose information configure: WARNING: You need PVS 6.0 or higher; PVS discarded 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 : /opt/local/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 : yes Version : 8.15.2 Library path : /opt/local/lib/coq Realization support : yes FP arithmetic : no (Flocq >= 3.4 not found) PVS : no (need version 6.0 or higher) 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 : /opt/local/lib/ocaml/site-lib/why3 Relocatable : no