+ 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