+ case "${usergroup_phase}" in + local run_cmd + run_cmd=run_su + shift + run_su /opt/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/why3-1.8.0nb1/work.log + su pbulk -c '"$@"' make /opt/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/why3-1.8.0nb1/work.log => Checksum BLAKE2s OK for why3-1.8.0.tar.gz => Checksum SHA512 OK for why3-1.8.0.tar.gz ===> Installing dependencies for why3-1.8.0nb1 ========================================================================== The following variables will affect the build process of this package, why3-1.8.0nb1. Their current value is shown below: * CURSES_DEFAULT = ncurses * JPEG_DEFAULT = jpeg Based on these variables, the following variables have been set: * CURSES_TYPE = ncurses * JPEGBASE (defined, but empty) * JPEG_TYPE = jpeg * 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/pkg/bin/bmake clean' after the changes. ========================================================================== => Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.82.5 => 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.16: found coq-8.20.1 => Full dependency ocaml>=4.14.0: found ocaml-4.14.2 => Full dependency ocaml-lablgtk3>=3.1.3nb19: found ocaml-lablgtk3-3.1.5 => Full dependency ocaml-zarith>=1.12nb1: found ocaml-zarith-1.12nb1 => Full dependency ocamlgraph>=1.8.8nb33: found ocamlgraph-1.8.8nb45 => Build dependency xcb-proto>=1.4: found xcb-proto-1.17.0nb4 => Build dependency xorgproto>=2016.1: found xorgproto-2024.1 => Full dependency MesaLib>=3.4.2: found MesaLib-21.3.9nb4 => Full dependency at-spi2-core>=2.3.2: found at-spi2-core-2.54.0nb4 => Full dependency brotli>=1.0.1: found brotli-1.1.0 => Full dependency bzip2>=1.0.1: found bzip2-1.0.8 => Full dependency cairo>=1.0.0nb2: found cairo-1.18.4 => Full dependency dbus>=0.91: found dbus-1.14.10 => Full dependency enchant2>=2: found enchant2-2.8.2 => Full dependency expat>=1.95.7: found expat-2.7.1 => Full dependency fontconfig>=2.15.0: found fontconfig-2.15.0 => Full dependency freetype2>=2.13.0: found freetype2-2.13.3 => Full dependency fribidi>=0.19.1: found fribidi-1.0.16 => Full dependency gdk-pixbuf2>=2.22.0: found gdk-pixbuf2-2.42.12 => Full dependency gettext-lib>=0.22: found gettext-lib-0.22.5 => Full dependency glib2>=2.4.0: found glib2-2.82.5 => Full dependency gmp>=4.2.1: found gmp-6.3.0 => Full dependency graphite2>=1.2: found graphite2-1.3.14nb3 => Full dependency gtk3+>=3.0.0: found gtk3+-3.24.43nb6 => Full dependency gtksourceview3>=3.4.2: found gtksourceview3-3.24.11nb26 => Full dependency gtkspell3>=3.0: found gtkspell3-3.0.10nb17 => Full dependency harfbuzz>=2.1.1: found harfbuzz-10.4.0 => Full dependency libiconv>=1.9.1: found libiconv-1.17 => Full dependency jbigkit>=2.0: found jbigkit-2.1nb1 => Full dependency jpeg>=8nb1: found jpeg-9f => Full dependency libX11>=1.5: found libX11-1.8.12 => Full dependency libXau>=1.0: found libXau-1.0.12 => Full dependency libXcomposite>=0.3.1: found libXcomposite-0.4.6 => Full dependency libXcursor>=1.1.1: found libXcursor-1.2.3 => Full dependency libXdamage>=1.0.3: found libXdamage-1.1.6 => Full dependency libXdmcp>=0.99: found libXdmcp-1.1.5 => Full dependency libXext>=1.1: found libXext-1.3.6 => Full dependency libXfixes>=4.0.1: found libXfixes-6.0.1 => Full dependency libXft>=2.1.10: found libXft-2.3.8nb1 => Full dependency libXi>=1.0.0: found libXi-1.8.2 => Full dependency libXinerama>=1.0.1: found libXinerama-1.1.5 => Full dependency libXrandr>=1.1.2: found libXrandr-1.5.4 => Full dependency libXrender>=0.9.2: found libXrender-0.9.12 => Full dependency libXxf86vm>=1.1.0: found libXxf86vm-1.1.6 => Full dependency libdrm>=2.4.15: found libdrm-2.4.124 => Full dependency libepoxy>=1.4: found libepoxy-1.5.10nb2 => Full dependency libffi>=1.20: found libffi-3.4.8 => Full dependency libpciaccess>=0.10.4: found libpciaccess-0.18.1 => Full dependency libxcb>=1.6: found libxcb-1.17.0 => Full dependency libxml2>=2.6.2: found libxml2-2.12.10 => Full dependency libxshmfence>=1.2: found libxshmfence-1.3.3 => Full dependency lzo>=2.01: found lzo-2.10 => Full dependency ncurses>=5.3nb1: found ncurses-6.5 => Full dependency pango>=1.6.0: found pango-1.56.3 => Full dependency pcre2>=10.21: found pcre2-10.45 => Full dependency pixman>=0.40.0: found pixman-0.44.2 => Full dependency png>=1.2.4: found png-1.6.47 => Full dependency shared-mime-info>=0.15: found shared-mime-info-2.4nb4 => Full dependency tiff>=3.6.1: found tiff-4.7.0 => Full dependency xz>=5.0.0: found xz-5.8.1 => Full dependency zlib>=1.1.4: found zlib-1.3.1 ===> Overriding tools for why3-1.8.0nb1 ===> Extracting for why3-1.8.0nb1 ===> Patching for why3-1.8.0nb1 ===> Creating toolchain wrappers for why3-1.8.0nb1 /usr/bin/mkdir -p /home/pbulk/build/devel/why3/work/.buildlink/lib/pkgconfig cd /home/pbulk/build/devel/why3/work/.buildlink/lib/pkgconfig && /usr/bin/ln -sf enchant-2.pc enchant.pc ===> Configuring for why3-1.8.0nb1 => 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 configure: WARNING: unrecognized options: --with-libiconv-prefix checking executable suffix... checking for ocamlc... ocamlc checking ocaml os type... ./configure: line 2773: OCAMLC: command not found ./configure: line 2792: OCAMLC: command not found 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 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... /opt/pkg/bin/bsdinstall -c -o pbulk -g pbulk configure: ocaml version is 4.14.2 configure: ocaml library path is /opt/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 checking for compiler-libs using ocamlfind... yes checking for sphinx-build... no configure: WARNING: cannot find sphinx-build, documentation disabled. checking for zarith using ocamlfind... yes checking for /opt/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 /opt/pkg/lib/ocaml/site-lib/menhirLib/menhirLib.cmi... yes checking for re using ocamlfind... no configure: WARNING: cannot find library re, using Str instead. checking for lablgtk3 using ocamlfind... yes checking for /opt/pkg/lib/ocaml/site-lib/lablgtk3/gtkButton.cmi... yes checking for lablgtk3-sourceview3 using ocamlfind... yes checking for /opt/pkg/lib/ocaml/site-lib/lablgtk3-sourceview3/gSourceView3.cmi... yes checking for ocamlgraph using ocamlfind... yes checking for /opt/pkg/lib/ocaml/site-lib/ocamlgraph/graph.cmi... yes checking for mlmpfr... no checking for js_of_ocaml... no checking for ppx_sexp_conv using ocamlfind... no checking for coqc... coqc checking Coq version... 8.20.1 checking for coqdep... coqdep checking for Flocq... File "./conftest.v", line 1, characters 15-28: Error: Cannot find a physical path bound to logical path Flocq.Version. no 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 checking for javac... no checking for java... 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: creating bench/java/Makefile config.status: creating doc/javaexamples/Makefile config.status: executing chmod commands configure: WARNING: unrecognized options: --with-libiconv-prefix Summary ----------------------------------------- Verbose make : no OCaml compiler : yes Version : 4.14.2 Library path : /opt/pkg/lib/ocaml Ocamlfind : yes Native compilation : yes Memory profiling : no (disabled by default) PPX : yes S-expressions support : no (ppx_sexp_conv not found) Javascript support : no (js_of_ocaml not found) MPFR support : no (mlmpfr not found) Re support : no (re not found) Build environment OCaml OS Type : Build environment type : Posix Components Why3 library : yes GTK IDE : yes Web IDE : no (Javascript support not available) Compressed sessions : no (camlzip not found) Hypothesis selection : yes 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 : yes Version : 8.20.1 Library path : /opt/pkg/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/pkg/lib/ocaml/site-lib/why3 Relocatable : no