=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for frama-c-25.0-Manganese.tar.gz
=> Checksum SHA512 OK for frama-c-25.0-Manganese.tar.gz
===> Installing dependencies for frama-c-25.0nb19
==========================================================================
The supported build options for frama-c are:

	coq gui

The currently selected options are:

	coq gui

You can select which build options to use by setting PKG_DEFAULT_OPTIONS
or the following variable.  Its current value is shown:

	PKG_OPTIONS.frama-c (not defined)

==========================================================================
==========================================================================
The following variables will affect the build process of this package,
frama-c-25.0nb19.  Their current value is shown below:

        * JPEG_DEFAULT = jpeg
        * OCAML_USE_OPT_COMPILER = yes
        * PYTHON_VERSION_DEFAULT = 312

Based on these variables, the following variables have been set:

        * JPEGBASE (defined, but empty)
        * JPEG_TYPE = jpeg
        * 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 glib2-tools-[0-9]*: found glib2-tools-2.82.5
=> Tool dependency mktools-[0-9]*: found mktools-20250213
=> Tool dependency autoconf>=2.50: found autoconf-2.72
=> Tool dependency bash-[0-9]*: found bash-5.2.37
=> Tool dependency gmake>=3.81: found gmake-4.4.1
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Build dependency x11-links>=1.36: found x11-links-1.36
=> Full dependency coq>=8.6: found coq-8.20.1
=> Full dependency why3>=1.5: found why3-1.8.0nb1
=> Full dependency ocaml>=4.14.0: found ocaml-4.14.2
=> Full dependency ocaml-findlib>=1.9.3nb1: found ocaml-findlib-1.9.8nb1
=> Full dependency ocaml-lablgtk3>=3.1.3nb19: found ocaml-lablgtk3-3.1.5
=> Full dependency ocaml-num>=1.4nb1: found ocaml-num-1.4nb1
=> Full dependency ocaml-ppx_deriving>=5.2.1: found ocaml-ppx_deriving-5.2.1
=> Full dependency ocaml-ppx_import>=1.10.0: found ocaml-ppx_import-1.10.0
=> Full dependency ocaml-yojson>=1.7.0nb2: found ocaml-yojson-1.7.0nb2
=> Full dependency ocaml-zarith>=1.12nb1: found ocaml-zarith-1.12nb1
=> Full dependency ocamlgraph>=1.8.8nb33: found ocamlgraph-1.8.8nb45
=> Full dependency python312>=3.12.0: found python312-3.12.9
===> 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 frama-c-25.0nb19
===> Extracting for frama-c-25.0nb19
===> Patching for frama-c-25.0nb19
=> Applying pkgsrc patches for frama-c-25.0nb19
===> Creating toolchain wrappers for frama-c-25.0nb19
/bin/mkdir -p /pbulk/work/devel/frama-c/work/.buildlink/lib/pkgconfig
cd /pbulk/work/devel/frama-c/work/.buildlink/lib/pkgconfig && /bin/ln -sf enchant-2.pc enchant.pc
===> Configuring for frama-c-25.0nb19
=> 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
=> Replacing python interpreter in share/analysis-scripts/*.py.
INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/benchmark_database.py.
INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/build_callgraph.py.
INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/frama_c_results.py.
INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/function_finder.py.
INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/git_utils.py.
INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/results_display.py.
INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/source_filter.py.
=> Replacing Perl interpreter in share/analysis-scripts/*.pl.
=> Replacing sh interpreter in bin/frama-c-script src/plugins/e-acsl/scripts/e-acsl-gcc.sh share/analysis-scripts/*.sh.
configure: ******************
configure: * CONFIGURE MAKE *
configure: ******************
checking for gmake... make
checking version of make... 4.4
configure: *****************************
configure: * CONFIGURE OCAML COMPILERS *
configure: *****************************
checking for ocamlc... ocamlc
checking version of OCaml... 4.14.2
checking OCaml library path... /usr/pkg/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version and standard library... ok
native dynlink works fine. Great.
checking for ocamlfind... ocamlfind
configure: Distribution mode: all warnings are deactivated
configure: *******************************************
configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
configure: *******************************************
checking for ocamldep... ocamldep
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamlcp... ocamlcp
checking for ocamlgraph... found
checking for zarith... found 1.12
checking for Yojson... found [unspecified]
checking for ppx_import... found [unspecified]
checking for ppx_deriving.eq... found 5.2.1
configure: ******************************************
configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES *
configure: ******************************************
checking for ocamldoc... ocamldoc
checking for ocamlmktop... ocamlmktop
checking for otags... no
checking for Apron... not found. The corresponding domains won't be available in Eva
checking for MPFR... not found. The numerors domain won't be available in Eva
checking for Landmarks and Landmarks-ppx... not found.
checking for python3... not found. Some non-regression tests will be disabled.
configure: **********************
configure: * CONFIGURE PLATFORM *
configure: **********************
checking platform... Unix
checking for x86_64--netbsd-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 stdio.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for strings.h... yes
checking for sys/stat.h... yes
checking for sys/types.h... yes
checking for unistd.h... yes
checking for stdlib.h... (cached) yes
checking for assert.h... yes
checking for float.h... yes
checking for math.h... yes
checking for signal.h... yes
checking for unistd.h... (cached) yes
checking how to run the C preprocessor... gcc -E
/* Check whether comments are kept in output */
Default preprocessor is 'gcc -E -C -I.'.
Default preprocessor supported architecture-related options: \"-m32\"; \"-m64\"; \"-m16\";
configure: ***************************
configure: * WISHED FRAMA-C PLUG-INS *
configure: ***************************
checking for src/plugins/callgraph... yes
callgraph... yes
checking for src/plugins/constant_propagation... yes
semantic_constant_folding... yes
checking for src/plugins/from... yes
from_analysis... yes
checking for src/plugins/gui... yes
gui... yes
checking for src/plugins/impact... yes
impact... yes
checking for src/plugins/inout... yes
inout... yes
checking for src/plugins/metrics... yes
metrics... yes
checking for src/plugins/occurrence... yes
occurrence... yes
checking for src/plugins/pdg... yes
pdg... yes
checking for src/plugins/postdominators... yes
postdominators... yes
checking for src/plugins/reduc... yes
reduc... yes
checking for src/plugins/rte... yes
rtegen... yes
checking for src/plugins/scope... yes
scope... yes
checking for src/plugins/slicing... yes
slicing... yes
checking for src/plugins/sparecode... yes
sparecode... yes
checking for src/plugins/users... yes
users... yes
checking for src/plugins/value... yes
eva... yes
checking for src/plugins/aorai/Makefile.in... yes
aorai... yes
checking for ltl2ba... no
checking for src/plugins/dive/Makefile.in... yes
dive... yes
checking for src/plugins/e-acsl/Makefile.in... yes
e_acsl... yes
checking for uname... uname
checking for src/plugins/instantiate/Makefile.in... yes
instantiate... yes
checking for src/plugins/loop_analysis/Makefile.in... yes
loop_analysis... yes
checking for src/plugins/markdown-report/Makefile.in... yes
mdr... yes
checking for OCaml package ppx_deriving... found.
checking for OCaml package ppx_deriving_yojson... not found via ocamlfind.
checking for src/plugins/nonterm/Makefile.in... yes
nonterm... yes
checking for src/plugins/obfuscator/Makefile.in... yes
obfuscator... yes
checking for src/plugins/print_api... yes
print_api... yes
checking for src/plugins/qed... yes
qed... yes
checking for src/plugins/report/Makefile.in... yes
report... yes
checking for src/plugins/security_slicing/Makefile.in... yes
security_slicing... yes
checking for src/plugins/server/Makefile.in... yes
server... yes
checking for OCaml package zmq... not found via ocamlfind.
checking for src/plugins/studia/Makefile.in... yes
studia... yes
checking for src/plugins/variadic/Makefile.in... yes
variadic... yes
checking for src/plugins/wp/Makefile.in... yes
wp... yes
checking for OCaml package why3... found.
configure: *******************************************************
configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure: *******************************************************
ocamlfind -> using /usr/pkg/lib/ocaml/site-lib/lablgtk3
checking for /usr/pkg/lib/ocaml/site-lib/lablgtk3-sourceview3/lablgtksourceview2.cmxa... no
checking for /usr/pkg/lib/ocaml/site-lib/lablgtk3-sourceview3/lablgtk3_sourceview3.cmxa... yes
checking for /usr/pkg/lib/ocaml/site-lib/lablgtk3/lablgnomecanvas.cmxa... no
checking for /usr/pkg/lib/ocaml/site-lib/lablgtk3/lablgtk.cmxa... no
checking for /usr/pkg/lib/ocaml/site-lib/lablgtk3/lablgtk3.cmxa... yes
checking for dot... no
checking for unix2dos... no
configure: *************************************
configure: * CHECKING FOR PLUG-IN DEPENDENCIES *
configure: *************************************
configure: WARNING: ltl2ba not found.
configure: WARNING: aorai partially enabled because ltl2ba missing.
checking for stdio.h... (cached) yes
checking for doxygen... no
checking for dot... no
configure: creating ./config.status
config.status: creating src/plugins/instantiate/Makefile
config.status: creating src/plugins/loop_analysis/Makefile
config.status: creating src/plugins/nonterm/Makefile
config.status: creating src/plugins/obfuscator/Makefile
config.status: creating src/plugins/report/Makefile
config.status: creating src/plugins/server/Makefile
config.status: creating src/plugins/studia/Makefile
config.status: creating src/plugins/variadic/Makefile
config.status: creating src/plugins/aorai/Makefile
config.status: creating src/plugins/dive/Makefile
config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg
config.status: executing default commands
configure: WARNING: package ppx_deriving_yojson not found
configure: WARNING: mdr disabled because ppx_deriving_yojson missing.
configure: WARNING: Server support for ZeroMQ disabled (try 'opam install zmq').
configure: WARNING: server partially enabled because zmq missing.
checking why3 version... found 1.8.0: might work (should be 1.5.0+)
configure: WARNING: lablgnomecanvas.cmxa not found
configure: WARNING: gui partially enabled because /usr/pkg/lib/ocaml/site-lib/lablgtk3/lablgnomecanvas.cmxa missing.
configure: WARNING: dot not found: you should install GraphViz
configure: WARNING: callgraph partially enabled because dot missing.
configure: WARNING: gui partially enabled because dot missing.
configure: WARNING: unix2dos not found: you should install dos2unix
configure: WARNING: tests partially enabled because unix2dos missing.
configure: *********************
configure: * CREATING MAKEFILE *
configure: *********************
configure: creating ./config.status
config.status: creating src/plugins/instantiate/Makefile
config.status: creating src/plugins/loop_analysis/Makefile
config.status: creating src/plugins/nonterm/Makefile
config.status: creating src/plugins/obfuscator/Makefile
config.status: creating src/plugins/report/Makefile
config.status: creating src/plugins/server/Makefile
config.status: creating src/plugins/studia/Makefile
config.status: creating src/plugins/variadic/Makefile
config.status: creating src/plugins/aorai/Makefile
config.status: creating src/plugins/dive/Makefile
config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg
config.status: creating src/plugins/e-acsl/Makefile
config.status: creating src/plugins/markdown-report/Makefile
config.status: creating src/plugins/security_slicing/Makefile
config.status: creating src/plugins/wp/Makefile
config.status: creating share/Makefile.config
config.status: executing default commands
configure: *******************************
configure: * SUMMARY: PLUG-INS AVAILABLE *
configure: *******************************
configure: callgraph: partial, dot missing
configure: semantic_constant_folding: yes
configure: from_analysis: yes
configure: gui: partial, dot missing
configure: impact: yes
configure: inout: yes
configure: metrics: yes
configure: occurrence: yes
configure: pdg: yes
configure: postdominators: yes
configure: reduc: yes
configure: rtegen: yes
configure: scope: yes
configure: slicing: yes
configure: sparecode: yes
configure: users: yes
configure: eva: yes
configure: aorai: partial, ltl2ba missing
configure: dive: yes
configure: e_acsl: yes
configure: instantiate: yes
configure: loop_analysis: yes
configure: mdr: no, ppx_deriving_yojson missing
configure: nonterm: yes
configure: obfuscator: yes
configure: print_api: yes
configure: qed: yes
configure: report: yes
configure: security_slicing: yes
configure: server: partial, zmq missing
configure: studia: yes
configure: variadic: yes
configure: wp: yes