=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> 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'. ===> Building for frama-c-25.0 find: -not: unknown option Ocamlyacc src/kernel_internals/parsing/cparser.ml Ocamllex src/kernel_internals/parsing/clexer.ml Ocamllex src/kernel_internals/parsing/logic_lexer.ml Ocamlyacc src/kernel_internals/parsing/logic_parser.ml 156 states, 1840 transitions, table size 8296 bytes 1981 additional bytes used for bindings Ocamllex src/kernel_internals/parsing/logic_preprocess.ml 420 states, 4549 transitions, table size 20716 bytes 3563 additional bytes used for bindings 140 states, 794 transitions, table size 4016 bytes 2151 additional bytes used for bindings Ocamllex src/libraries/utils/json.ml Generating src/kernel_internals/runtime/fc_config.ml 36 states, 360 transitions, table size 1656 bytes Generating src/libraries/stdlib/transitioning.ml Generating share/frama-c.rc Generating share/Makefile.dynamic_config Generating src/plugins/variadic/.Makefile.plugin.generated Generating src/plugins/wp/.Makefile.plugin.generated Generating src/plugins/studia/.Makefile.plugin.generated Generating src/plugins/report/.Makefile.plugin.generated Generating src/plugins/server/.Makefile.plugin.generated Generating src/plugins/security_slicing/.Makefile.plugin.generated Generating src/plugins/qed/.Makefile.plugin.generated Generating src/plugins/print_api/.Makefile.plugin.generated Generating src/plugins/nonterm/.Makefile.plugin.generated Generating src/plugins/obfuscator/.Makefile.plugin.generated Generating src/plugins/markdown-report/.Makefile.plugin.generated Generating src/plugins/e-acsl/.Makefile.plugin.generated Generating src/plugins/loop_analysis/.Makefile.plugin.generated Generating src/plugins/instantiate/.Makefile.plugin.generated Generating src/plugins/dive/.Makefile.plugin.generated Generating src/plugins/scope/.Makefile.plugin.generated Generating src/plugins/aorai/.Makefile.plugin.generated Generating src/plugins/sparecode/.Makefile.plugin.generated Generating src/plugins/slicing/.Makefile.plugin.generated Generating src/plugins/pdg/.Makefile.plugin.generated Generating src/plugins/impact/.Makefile.plugin.generated Generating src/plugins/inout/.Makefile.plugin.generated Generating src/plugins/postdominators/.Makefile.plugin.generated Generating src/plugins/constant_propagation/.Makefile.plugin.generated Generating src/plugins/users/.Makefile.plugin.generated Generating src/plugins/from/.Makefile.plugin.generated Generating src/plugins/rte/.Makefile.plugin.generated Generating src/plugins/occurrence/.Makefile.plugin.generated Generating src/plugins/callgraph/.Makefile.plugin.generated Generating src/plugins/metrics/.Makefile.plugin.generated Generating src/plugins/reduc/.Makefile.plugin.generated Generating src/plugins/value/.Makefile.plugin.generated gmake[1]: Entering directory '/tmp/devel/frama-c/work/frama-c-25.0-Manganese' find: -not: unknown option Ocamllex src/plugins/wp/script.ml 57 states, 826 transitions, table size 3646 bytes Ocamllex src/plugins/wp/rformat.ml 31 states, 802 transitions, table size 3394 bytes 3169 additional bytes used for bindings Ocamllex src/plugins/wp/driver.ml 105 states, 2064 transitions, table size 8886 bytes 2265 additional bytes used for bindings Generating src/plugins/wp/Wp.mli Generating META.frama-c-wp Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Wp.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Wp.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Wp.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Metrics.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Callgraph.mli Generating src/plugins/value/Eva.mli env: bash: No such file or directory Generating META.frama-c-variadic Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Variadic.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Variadic.mli Generating META.frama-c-studia Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Studia.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Studia.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Studia.mli Generating src/plugins/server/Server.mli from src/plugins/server/package.mli src/plugins/server/jbuffer.mli src/plugins/server/data.mli src/plugins/server/request.mli src/plugins/server/states.mli src/plugins/server/main.mli src/plugins/server/kernel_main.mli src/plugins/server/kernel_ast.mli src/plugins/server/kernel_properties.mli Generating META.frama-c-server Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Server.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Server.mli Generating META.frama-c-security_slicing Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Security_slicing.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Security_slicing.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Security_slicing.mli Generating META.frama-c-report Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Report.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Report.mli Generating src/plugins/qed/Qed.mli Generating META.frama-c-qed Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Qed.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Qed.mli Ocamlyacc src/plugins/print_api/grammar.ml Ocamllex src/plugins/print_api/lexer.ml 8 states, 264 transitions, table size 1104 bytes Generating META.frama-c-print_api Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Print_api.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Print_api.mli Generating META.frama-c-obfuscator Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Obfuscator.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Obfuscator.mli Generating META.frama-c-nonterm Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Nonterm.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Nonterm.mli Generating META.frama-c-loopanalysis Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/LoopAnalysis.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/LoopAnalysis.mli Generating META.frama-c-instantiate Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Instantiate.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Instantiate.mli Generating src/plugins/e-acsl/src/local_config.ml Generating META.frama-c-e_acsl Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/E_ACSL.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/E_ACSL.mli Generating META.frama-c-dive Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Dive.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Dive.mli Generating src/plugins/aorai/aorai_eva_analysis.ml Ocamllex src/plugins/aorai/promelalexer_withexps.ml 100 states, 4420 transitions, table size 18280 bytes Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml 4 shift/reduce conflicts. Ocamllex src/plugins/aorai/promelalexer.ml 85 states, 4392 transitions, table size 18078 bytes Ocamlyacc src/plugins/aorai/promelaparser.ml Ocamllex src/plugins/aorai/ltllexer.ml 82 states, 3369 transitions, table size 13968 bytes Ocamlyacc src/plugins/aorai/ltlparser.ml 7 shift/reduce conflicts. Ocamllex src/plugins/aorai/yalexer.ml 76 states, 2442 transitions, table size 10224 bytes Ocamlyacc src/plugins/aorai/yaparser.ml Generating META.frama-c-aorai Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Aorai.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Aorai.mli Generating META.frama-c-slicing Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Slicing.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Slicing.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Slicing.mli Generating META.frama-c-sparecode Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Sparecode.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Sparecode.mli Generating META.frama-c-scope Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Scope.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Scope.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Scope.mli Generating META.frama-c-pdg Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Pdg.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Pdg.mli Generating META.frama-c-impact Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Impact.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Impact.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Impact.mli Generating META.frama-c-inout Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Inout.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Inout.mli Generating META.frama-c-postdominators Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Postdominators.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Postdominators.mli Generating META.frama-c-constant_propagation Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Constant_Propagation.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Constant_Propagation.mli Generating META.frama-c-users Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Users.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Users.mli Generating META.frama-c-from Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/From.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/From.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/From.mli Generating META.frama-c-rtegen Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/RteGen.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/RteGen.mli Generating META.frama-c-occurrence Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Occurrence.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Occurrence.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Occurrence.mli Generating META.frama-c-reduc Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Reduc.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Reduc.mli Generating META.frama-c-callgraph Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Callgraph.mli Generating META.frama-c-metrics Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Metrics.mli Generating /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Metrics.mli gmake[1]: *** No rule to make target 'src/plugins/value/Eva.mli', needed by 'src/plugins/value/.depend'. Stop. gmake[1]: Leaving directory '/tmp/devel/frama-c/work/frama-c-25.0-Manganese' find: -not: unknown option gmake[1]: Entering directory '/tmp/devel/frama-c/work/frama-c-25.0-Manganese' Generating src/plugins/value/Eva.mli Generating META.frama-c-eva env: bash: No such file or directory find: -not: unknown option Generating src/plugins/value/Eva.mli env: bash: No such file or directory gmake[1]: *** No rule to make target 'src/plugins/value/Eva.mli', needed by 'src/plugins/value/.depend'. Stop. gmake[1]: Leaving directory '/tmp/devel/frama-c/work/frama-c-25.0-Manganese' Ocamlc src/plugins/aorai/promelaoutput.cmo Ocamlc src/plugins/aorai/bool3.cmo Ocamlc src/plugins/aorai/aorai_option.cmo Ocamlc src/plugins/aorai/path_analysis.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/plugins/aorai/promelaoutput.ml", line 26, characters 5-14: 26 | open Cil_types ^^^^^^^^^ Error: Unbound module Cil_typesFile "src/plugins/aorai/aorai_option.ml", line 26, characters 8-23: 26 | include Plugin.Register ^^^^^^^^^^^^^^^ Error: Unbound module Plugin gmake: *** [share/Makefile.generic:78: src/plugins/aorai/aorai_option.cmo] Error 2 gmake: *** Waiting for unfinished jobs.... gmake: *** [share/Makefile.generic:78: src/plugins/aorai/promelaoutput.cmo] Error 2 File "src/plugins/aorai/bool3.ml", line 1: Error: Could not find the .cmi file for interface src/plugins/aorai/bool3.mli. File "src/plugins/aorai/path_analysis.ml", line 26, characters 5-15: 26 | open Promelaast ^^^^^^^^^^ Error: Unbound module Promelaast gmake: *** [share/Makefile.generic:78: src/plugins/aorai/bool3.cmo] Error 2 gmake: *** [share/Makefile.generic:78: src/plugins/aorai/path_analysis.cmo] Error 2 *** Error code 2 Stop. make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c *** Error code 1 Stop. make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c