=> Bootstrap dependency digest>=20010302: found digest-20160304 ===> Skipping vulnerability checks. WARNING: No /var/db/pkg/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'. ===> Building for frama-c-20170501nb4 Ocamllex src/kernel_internals/parsing/clexer.ml Ocamlyacc src/kernel_internals/parsing/cparser.ml Ocamllex src/kernel_internals/parsing/logic_lexer.ml Ocamlyacc src/kernel_internals/parsing/logic_parser.ml Ocamllex src/kernel_internals/parsing/logic_preprocess.ml Ocamllex src/libraries/utils/json.ml Generating src/plugins/value/domains/apron/apron_domain.ml Generating share/frama-c.rc Coqdep for src/plugins/wp/share/coqwp Generating share/Makefile.dynamic_config 36 states, 360 transitions, table size 1656 bytes Generating src/plugins/print_api/.Makefile.plugin.generated Generating src/plugins/variadic/.Makefile.plugin.generated 136 states, 558 transitions, table size 3048 bytes 2127 additional bytes used for bindings Generating share/Makefile.kernel 148 states, 1842 transitions, table size 8256 bytes 1933 additional bytes used for bindings 381 states, 4411 transitions, table size 19930 bytes 3329 additional bytes used for bindings Generating src/plugins/wp/.Makefile.plugin.generated Generating src/kernel_internals/runtime/config.ml Generating src/plugins/report/.Makefile.plugin.generated Generating src/plugins/security_slicing/.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/aorai/.Makefile.plugin.generated Generating src/plugins/sparecode/.Makefile.plugin.generated Generating src/plugins/slicing/.Makefile.plugin.generated Generating src/plugins/scope/.Makefile.plugin.generated Generating src/plugins/pdg/.Makefile.plugin.generated Generating src/plugins/postdominators/.Makefile.plugin.generated Generating src/plugins/impact/.Makefile.plugin.generated Generating src/plugins/users/.Makefile.plugin.generated Generating src/plugins/inout/.Makefile.plugin.generated Generating src/plugins/from/.Makefile.plugin.generated Generating src/plugins/constant_propagation/.Makefile.plugin.generated Generating src/plugins/occurrence/.Makefile.plugin.generated Generating src/plugins/rte/.Makefile.plugin.generated Generating src/plugins/callgraph/.Makefile.plugin.generated Generating src/plugins/metrics/.Makefile.plugin.generated Generating src/kernel_internals/runtime/frama_c_config.ml Generating src/plugins/value/.Makefile.plugin.generated Generating .depend warning: option -slash has no effect and is deprecated. Ocamllex src/plugins/wp/rformat.ml Ocamllex src/plugins/wp/driver.ml Ocamllex src/plugins/wp/script.ml Ocamllex src/plugins/wp/qed/src/numbers.ml Ocamllex src/plugins/wp/why3_xml.ml 114 states, 1396 transitions, table size 6268 bytes 3538 additional bytes used for bindings 31 states, 1109 transitions, table size 4622 bytes 4393 additional bytes used for bindings 53 states, 1709 transitions, table size 7154 bytes 4689 additional bytes used for bindings 57 states, 826 transitions, table size 3646 bytes 105 states, 2064 transitions, table size 8886 bytes 2265 additional bytes used for bindings Generating src/plugins/wp/Wp.mli Ocamlyacc src/plugins/print_api/grammar.ml Ocamllex src/plugins/print_api/lexer.ml Generating src/plugins/e-acsl/local_config.ml Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml Ocamllex src/plugins/aorai/promelalexer.ml Ocamlyacc src/plugins/aorai/promelaparser.ml Ocamllex src/plugins/aorai/ltllexer.ml Ocamllex src/plugins/aorai/promelalexer_withexps.ml Ocamlyacc src/plugins/aorai/ltlparser.ml Ocamlyacc src/plugins/aorai/yaparser.ml Ocamllex src/plugins/aorai/yalexer.ml 4 shift/reduce conflicts. 7 shift/reduce conflicts. Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli 8 states, 264 transitions, table size 1104 bytes 82 states, 3369 transitions, table size 13968 bytes Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli 100 states, 4420 transitions, table size 18280 bytes Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli 73 states, 2302 transitions, table size 9646 bytes Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli 85 states, 4392 transitions, table size 18078 bytes Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/From.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.mli Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli Ocamldep src/plugins/variadic/.depend Ocamldep src/plugins/security_slicing/.depend Ocamldep src/plugins/report/.depend Ocamldep src/plugins/print_api/.depend Ocamldep src/plugins/obfuscator/.depend Ocamldep src/plugins/loop_analysis/.depend Ocamldep src/plugins/e-acsl/.depend Ocamldep src/plugins/nonterm/.depend Ocamldep src/plugins/slicing/.depend Ocamldep src/plugins/impact/.depend Ocamldep src/plugins/aorai/.depend Ocamldep src/plugins/sparecode/.depend Ocamldep src/plugins/pdg/.depend Ocamldep src/plugins/scope/.depend Ocamldep src/plugins/inout/.depend Ocamldep src/plugins/postdominators/.depend Ocamldep src/plugins/constant_propagation/.depend Ocamldep src/plugins/from/.depend Ocamldep src/plugins/users/.depend Ocamldep src/plugins/rte/.depend Ocamldep src/plugins/occurrence/.depend Ocamldep src/plugins/value/.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/utils/pretty_utils.cmi Ocamlc src/libraries/stdlib/FCSet.cmi Ocamlc src/libraries/stdlib/FCMap.cmi Ocamlc src/libraries/stdlib/FCHashtbl.cmi Ocamlc src/libraries/datatype/unmarshal.cmi Ocamlc src/libraries/stdlib/extlib.cmi Ocamlc src/plugins/aorai/ltlast.cmi Ocamlc src/plugins/aorai/aorai_dataflow.cmi Ocamlc src/libraries/utils/wto.cmi Generating META.frama-c-e_acsl Ocamlc src/libraries/utils/filepath.cmi Ocamlc src/libraries/utils/hook.cmi Ocamlc src/plugins/value_types/cilE.cmi Ocamlc src/libraries/utils/escape.cmi Generating META.frama-c-loopanalysis Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo Generating META.frama-c-nonterm Ocamlc src/plugins/e-acsl/local_config.cmi Ocamlc src/plugins/e-acsl/error.cmi Generating META.frama-c-obfuscator Ocamlc src/plugins/print_api/grammar.cmi Generating META.frama-c-print_api Ocamlc src/libraries/stdlib/transitioning.cmi Ocamlc src/plugins/obfuscator/obfuscate.cmi Ocamlc src/kernel_internals/runtime/config.cmi Ocamlc src/plugins/report/register.cmi Ocamlc src/plugins/report/csv.cmi Generating META.frama-c-variadic Generating META.frama-c-security_slicing Generating META.frama-c-report Generating META.frama-c-wp Ocamlc src/plugins/variadic/format_types.cmi Ocamlc src/plugins/wp/rformat.cmi Compiling Qed (byte) Ocamlc src/libraries/utils/command.cmi Ocamlc src/libraries/utils/bag.cmi Ocamlc src/plugins/wp/Warning.cmi Ocamlc src/libraries/utils/bitvector.cmi Ocamlc src/plugins/wp/VCS.cmi Ocamlc src/plugins/wp/script.cmi Ocamlc src/libraries/utils/vector.cmi Ocamlc src/plugins/wp/wpReport.cmi Ocamlc src/libraries/utils/json.cmi Ocamlc src/plugins/wp/why3_xml.cmi Ocamlc src/libraries/utils/task.cmi Ocamlc src/kernel_internals/typing/alpha.cmi Coqc src/plugins/wp/share/coqwp/BuiltIn.v Generation of the extra-config for why3 Ocamlc src/kernel_internals/runtime/frama_c_init.cmi Ocamlc src/libraries/stdlib/transitioning.cmo Ocamlc src/libraries/stdlib/FCSet.cmo Ocamlc src/libraries/stdlib/FCMap.cmo Ocamlc src/libraries/stdlib/FCBuffer.cmi Ocamlc src/libraries/stdlib/FCHashtbl.cmo Ocamlc src/libraries/stdlib/extlib.cmo Ocamlc src/libraries/datatype/unmarshal.cmo Ocamlc src/libraries/datatype/unmarshal_z.cmi Ocamlc src/libraries/utils/pretty_utils.cmo Ocamlc src/libraries/utils/bag.cmo Ocamlc src/libraries/utils/hook.cmo Ocamlc src/libraries/utils/vector.cmo Ocamlc src/libraries/utils/indexer.cmi Ocamlc src/libraries/utils/bitvector.cmo Ocamlc src/libraries/utils/rgmap.cmi Ocamlc src/libraries/utils/qstack.cmi Ocamlc src/libraries/utils/wto.cmo Ocamlc src/libraries/utils/leftistheap.cmi Ocamlc src/libraries/utils/filepath.cmo Ocamlc src/libraries/utils/json.cmo Ocamlc src/kernel_internals/runtime/config.cmo Ocamlc src/libraries/utils/utf8_logic.cmi Ocamlc src/libraries/utils/escape.cmo Ocamlc src/libraries/utils/binary_cache.cmi Ocamlc src/libraries/utils/unicode.cmi Ocamlc src/libraries/utils/cilconfig.cmi Ocamlc src/kernel_internals/parsing/errorloc.cmi Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi Ocamlc src/plugins/value_types/cilE.cmo Ocamlc src/kernel_internals/runtime/special_hooks.cmi Ocamlc src/plugins/metrics/css_html.cmo CC src/libraries/utils/c_bindings.o Ocamlc src/plugins/metrics/metrics_cabs.cmi Ocamlc src/plugins/value/slevel/stop_at_nth.cmi Ocamlc src/plugins/value/utils/structure.cmi Ocamlc src/plugins/value/legacy/function_args.cmi Ocamlc src/plugins/value/register.cmi Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmi Ocamlc src/plugins/from/functionwise.cmi Ocamlc src/plugins/from/callwise.cmi Ocamlc src/plugins/from/from_register.cmi Ocamlc src/plugins/constant_propagation/register.cmi Ocamlc src/plugins/scope/zones.cmi Ocamlc src/plugins/gui/wutil.cmi Ocamlc src/plugins/gui/widget.cmi Ocamlc src/plugins/gui/wtable.cmi Ocamlc src/plugins/gui/gtk_form.cmi Ocamlc src/plugins/gui/source_viewer.cmi Ocamlc src/plugins/gui/book_manager.cmi Ocamlc src/plugins/gui/analyses_manager.cmi Ocamlc src/plugins/gui/file_manager.cmi Ocamlc src/plugins/gui/project_manager.cmi Ocamlc src/plugins/gui/debug_manager.cmi Ocamlc src/plugins/gui/help_manager.cmi Ocamlc src/plugins/gui/property_navigator.cmi Generating META.frama-c-callgraph Ocamlc src/plugins/gui/wutil.cmo Generating META.frama-c-metrics Generating META.frama-c-value Generating META.frama-c-rtegen Generating META.frama-c-from Generating META.frama-c-occurrence Generating META.frama-c-constant_propagation Generating META.frama-c-postdominators Generating META.frama-c-impact Generating META.frama-c-inout Generating META.frama-c-pdg Generating META.frama-c-scope Generating META.frama-c-users Generating META.frama-c-sparecode Generating META.frama-c-slicing Ocamlopt src/libraries/datatype/unmarshal.cmx Ocamlopt src/plugins/aorai/bool3.cmx Ocamlopt src/libraries/stdlib/FCSet.cmx Ocamlopt src/libraries/stdlib/FCBuffer.cmx Ocamlopt src/libraries/stdlib/transitioning.cmx Ocamlopt src/libraries/stdlib/FCMap.cmx Ocamlopt src/libraries/utils/hook.cmx Ocamlopt src/libraries/utils/qstack.cmx Ocamlopt src/libraries/utils/utf8_logic.cmx Ocamlopt src/libraries/utils/escape.cmx Ocamlopt src/plugins/e-acsl/local_config.cmx Ocamlopt src/libraries/utils/bitvector.cmx Ocamlopt src/libraries/utils/wto.cmx Ocamlopt src/plugins/print_api/grammar.cmx Ocamlopt src/plugins/wp/rformat.cmx Ocamlopt src/libraries/utils/bag.cmx Ocamlopt src/plugins/wp/script.cmx Ocamlopt src/libraries/utils/vector.cmx Ocamlopt src/libraries/utils/json.cmx Ocamlopt src/kernel_internals/runtime/frama_c_init.cmx Ocamlopt src/libraries/datatype/unmarshal_z.cmx Ocamlopt src/plugins/wp/why3_xml.cmx Ocamlopt src/libraries/utils/indexer.cmx Ocamlopt src/libraries/utils/rgmap.cmx Ocamlopt src/libraries/utils/leftistheap.cmx Ocamlopt src/plugins/gui/wutil.cmx Ocamlopt src/plugins/gui/wtable.cmx Ocamlopt src/plugins/gui/gtk_form.cmx Ocamlc src/plugins/slicing/register_gui.cmi Generating tests/ptests_config Ocamlc src/plugins/security_slicing/register_gui.cmi Ocamlc src/kernel_internals/runtime/gui_init.cmi Generating ptests/ptests_config.ml Ocamlc src/plugins/value/gui_files/register_gui.cmi Ocamlc src/plugins/impact/register_gui.cmi Ocamlc src/plugins/occurrence/register_gui.cmi Ocamlc src/plugins/from/from_register_gui.cmi Generating src/plugins/e-acsl/tests/ptests_config Generating src/plugins/wp/tests/ptests_config Generating src/plugins/report/tests/ptests_config gmake[1]: Entering directory '/data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/src/plugins/e-acsl/contrib/libjemalloc' gmake[1]: *** No targets specified and no makefile found. Stop. gmake[1]: Leaving directory '/data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/src/plugins/e-acsl/contrib/libjemalloc' src/plugins/e-acsl/Makefile:158: recipe for target 'src/plugins/e-acsl/lib/libeacsl-jemalloc.a' failed gmake: *** [src/plugins/e-acsl/lib/libeacsl-jemalloc.a] Error 2 gmake: *** Waiting for unfinished jobs.... *** Error code 2 Stop. make[1]: stopped in /data/pkgsrc/devel/frama-c *** Error code 1 Stop. make: stopped in /data/pkgsrc/devel/frama-c