=> 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-20170501nb35 Ocamllex src/libraries/utils/json.ml 36 states, 360 transitions, table size 1656 bytes Ocamlyacc src/kernel_internals/parsing/cparser.ml Ocamllex src/kernel_internals/parsing/logic_lexer.ml Ocamllex src/kernel_internals/parsing/clexer.ml Ocamlyacc src/kernel_internals/parsing/logic_parser.ml 148 states, 1842 transitions, table size 8256 bytes 1933 additional bytes used for bindings Ocamllex src/kernel_internals/parsing/logic_preprocess.ml 381 states, 4411 transitions, table size 19930 bytes 3329 additional bytes used for bindings 136 states, 558 transitions, table size 3048 bytes 2127 additional bytes used for bindings Generating src/plugins/value/domains/apron/apron_domain.ml ocamlfind: Package `num' not found Generating share/frama-c.rc Generating src/kernel_internals/runtime/config.ml Generating share/Makefile.dynamic_config Generating share/Makefile.kernel Generating src/plugins/wp/.Makefile.plugin.generated Generating src/plugins/variadic/.Makefile.plugin.generated Generating src/plugins/security_slicing/.Makefile.plugin.generated Generating src/plugins/report/.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/loop_analysis/.Makefile.plugin.generated Generating src/plugins/e-acsl/.Makefile.plugin.generated Generating src/plugins/slicing/.Makefile.plugin.generated Generating src/plugins/aorai/.Makefile.plugin.generated Generating src/plugins/sparecode/.Makefile.plugin.generated Generating src/plugins/scope/.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/rte/.Makefile.plugin.generated Generating src/plugins/from/.Makefile.plugin.generated Generating src/plugins/occurrence/.Makefile.plugin.generated Generating src/plugins/value/.Makefile.plugin.generated Generating src/plugins/callgraph/.Makefile.plugin.generated Generating src/kernel_internals/runtime/frama_c_config.ml Generating src/plugins/metrics/.Makefile.plugin.generated Generating .depend Ocamllex src/plugins/wp/rformat.ml Ocamllex src/plugins/wp/why3_xml.ml Ocamllex src/plugins/wp/script.ml 31 states, 1109 transitions, table size 4622 bytes 4393 additional bytes used for bindings Ocamllex src/plugins/wp/driver.ml 114 states, 1396 transitions, table size 6268 bytes 3538 additional bytes used for bindings 57 states, 826 transitions, table size 3646 bytes Ocamllex src/plugins/wp/qed/src/numbers.ml 105 states, 2064 transitions, table size 8886 bytes 2265 additional bytes used for bindings 53 states, 1709 transitions, table size 7154 bytes 4689 additional bytes used for bindings Generating src/plugins/wp/Wp.mli Ocamlyacc src/plugins/print_api/grammar.ml Generating src/plugins/e-acsl/local_config.ml Ocamllex src/plugins/print_api/lexer.ml 8 states, 264 transitions, table size 1104 bytes Ocamllex src/plugins/aorai/promelalexer_withexps.ml Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml 100 states, 4420 transitions, table size 18280 bytes Ocamllex src/plugins/aorai/promelalexer.ml 4 shift/reduce conflicts. 85 states, 4392 transitions, table size 18078 bytes Ocamlyacc src/plugins/aorai/promelaparser.ml Ocamllex src/plugins/aorai/ltllexer.ml Ocamlyacc src/plugins/aorai/ltlparser.ml Ocamllex src/plugins/aorai/yalexer.ml 7 shift/reduce conflicts. 82 states, 3369 transitions, table size 13968 bytes 73 states, 2302 transitions, table size 9646 bytes Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli Ocamlyacc src/plugins/aorai/yaparser.ml Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli Ocamldep src/plugins/variadic/.depend Ocamldep src/plugins/print_api/.depend Ocamldep src/plugins/report/.depend Ocamldep src/plugins/obfuscator/.depend Ocamldep src/plugins/nonterm/.depend Ocamldep src/plugins/loop_analysis/.depend Ocamldep src/plugins/e-acsl/.depend Ocamldep src/plugins/aorai/.depend Ocamldep src/plugins/slicing/.depend Ocamldep src/plugins/sparecode/.depend Ocamldep src/plugins/scope/.depend Ocamldep src/plugins/impact/.depend Ocamldep src/plugins/pdg/.depend Ocamldep src/plugins/inout/.depend Ocamldep src/plugins/constant_propagation/.depend Ocamldep src/plugins/postdominators/.depend Ocamldep src/plugins/users/.depend Ocamldep src/plugins/from/.depend Ocamldep src/plugins/rte/.depend Ocamldep src/plugins/value/.depend Ocamldep src/plugins/occurrence/.depend Ocamldep src/plugins/metrics/.depend Ocamldep src/plugins/callgraph/.depend Ocamldep src/plugins/wp/.depend Ocamlc src/plugins/aorai/bool3.cmi Generating META.frama-c-aorai Ocamlc src/libraries/stdlib/FCSet.cmi Ocamlc src/libraries/datatype/unmarshal.cmi ocamlfind: Package `num' not found gmake: *** [share/Makefile.generic:71: src/plugins/aorai/bool3.cmi] Error 2 gmake: *** Waiting for unfinished jobs.... ocamlfind: Package `num' not found ocamlfind: Package `num' not found gmake: *** [share/Makefile.generic:71: src/libraries/stdlib/FCSet.cmi] Error 2 gmake: *** [share/Makefile.generic:71: src/libraries/datatype/unmarshal.cmi] 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