=> 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-20170501nb2
Ocamllex     src/libraries/utils/json.ml
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
Ocamllex     src/kernel_internals/parsing/logic_preprocess.ml
Generating  src/plugins/value/domains/apron/apron_domain.ml
381 states, 4411 transitions, table size 19930 bytes
3329 additional bytes used for bindings
36 states, 360 transitions, table size 1656 bytes
Generating   share/frama-c.rc
Generating   share/Makefile.dynamic_config
148 states, 1842 transitions, table size 8256 bytes
1933 additional bytes used for bindings
Generating   share/Makefile.kernel
136 states, 558 transitions, table size 3048 bytes
2127 additional bytes used for bindings
Generating   src/plugins/wp/.Makefile.plugin.generated
Coqdep for src/plugins/wp/share/coqwp
Generating   src/plugins/security_slicing/.Makefile.plugin.generated
Generating   src/plugins/variadic/.Makefile.plugin.generated
Generating   src/plugins/report/.Makefile.plugin.generated
Generating   src/plugins/obfuscator/.Makefile.plugin.generated
Generating   src/plugins/nonterm/.Makefile.plugin.generated
Generating   src/plugins/print_api/.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/slicing/.Makefile.plugin.generated
Generating  src/kernel_internals/runtime/config.ml
Generating   src/plugins/sparecode/.Makefile.plugin.generated
Generating   src/plugins/scope/.Makefile.plugin.generated
Generating   src/plugins/inout/.Makefile.plugin.generated
Generating   src/plugins/pdg/.Makefile.plugin.generated
Generating   src/plugins/impact/.Makefile.plugin.generated
Generating   src/plugins/users/.Makefile.plugin.generated
Generating   src/plugins/constant_propagation/.Makefile.plugin.generated
Generating   src/plugins/rte/.Makefile.plugin.generated
Generating   src/plugins/postdominators/.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/metrics/.Makefile.plugin.generated
Generating   src/plugins/callgraph/.Makefile.plugin.generated
warning: option -slash has no effect and is deprecated.
Generating   src/kernel_internals/runtime/frama_c_config.ml
Generating   .depend
Ocamllex     src/plugins/wp/rformat.ml
Ocamllex     src/plugins/wp/driver.ml
Ocamllex     src/plugins/wp/why3_xml.ml
Ocamllex     src/plugins/wp/script.ml
Ocamllex     src/plugins/wp/qed/src/numbers.ml
53 states, 1709 transitions, table size 7154 bytes
4689 additional bytes used for bindings
57 states, 826 transitions, table size 3646 bytes
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
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
Ocamllex     src/plugins/aorai/promelalexer_withexps.ml
Ocamllex     src/plugins/aorai/promelalexer.ml
Ocamlyacc    src/plugins/aorai/promelaparser.ml
Ocamlyacc    src/plugins/aorai/promelaparser_withexps.ml
Ocamlyacc    src/plugins/aorai/ltlparser.ml
Ocamllex     src/plugins/aorai/yalexer.ml
Ocamllex     src/plugins/aorai/ltllexer.ml
Ocamlyacc    src/plugins/aorai/yaparser.ml
8 states, 264 transitions, table size 1104 bytes
4 shift/reduce conflicts.
7 shift/reduce conflicts.
85 states, 4392 transitions, table size 18078 bytes
100 states, 4420 transitions, table size 18280 bytes
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli
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/Value.mli
82 states, 3369 transitions, table size 13968 bytes
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli
73 states, 2302 transitions, table size 9646 bytes
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/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/Inout.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.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/Pdg.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/Slicing.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/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/Nonterm.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/Security_slicing.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/Print_api.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/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/Constant_Propagation.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/Users.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/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/gui/Occurrence.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/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/gui/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/gui/Metrics.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/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/LoopAnalysis.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/E_ACSL.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/top/Slicing.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/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/gui/Impact.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/top/Inout.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/Report.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/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/print_api/.depend
Ocamldep     src/plugins/report/.depend
Ocamldep     src/plugins/obfuscator/.depend
Ocamldep     src/plugins/nonterm/.depend
Ocamldep     src/plugins/e-acsl/.depend
Ocamldep     src/plugins/loop_analysis/.depend
Ocamldep     src/plugins/aorai/.depend
Ocamldep     src/plugins/sparecode/.depend
Ocamldep     src/plugins/slicing/.depend
Ocamldep     src/plugins/pdg/.depend
Ocamldep     src/plugins/impact/.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/users/.depend
Ocamldep     src/plugins/from/.depend
Ocamldep     src/plugins/rte/.depend
Ocamldep     src/plugins/occurrence/.depend
Ocamldep     src/plugins/value/.depend
Ocamldep     src/plugins/callgraph/.depend
Ocamldep     src/plugins/metrics/.depend
Ocamldep     src/plugins/wp/.depend
Ocamlc       src/plugins/aorai/bool3.cmi
Ocamlc       src/libraries/datatype/unmarshal.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/stdlib/extlib.cmi
Ocamlc       src/plugins/aorai/ltlast.cmi
Ocamlc       src/libraries/utils/wto.cmi
Ocamlc       src/libraries/utils/filepath.cmi
Ocamlc       src/libraries/utils/escape.cmi
Ocamlc       src/plugins/aorai/aorai_dataflow.cmi
Generating   META.frama-c-e_acsl
Ocamlc       src/libraries/utils/hook.cmi
Ocamlc       src/plugins/value_types/cilE.cmi
Ocamlc       src/plugins/e-acsl/local_config.cmi
Ocamlc       src/plugins/e-acsl/error.cmi
Generating   META.frama-c-loopanalysis
Generating   META.frama-c-nonterm
Generating   META.frama-c-obfuscator
Ocamlc       src/plugins/obfuscator/obfuscate.cmi
Ocamlc       src/plugins/print_api/grammar.cmi
Generating   META.frama-c-print_api
Ocamlc       src/libraries/stdlib/transitioning.cmi
Ocamlc       src/kernel_internals/runtime/config.cmi
Generating   META.frama-c-report
Ocamlc       src/plugins/report/csv.cmi
Ocamlc       src/plugins/report/register.cmi
Generating   META.frama-c-security_slicing
Ocamlc       src/plugins/variadic/format_types.cmi
Generating   META.frama-c-wp
Generating   META.frama-c-variadic
Ocamlc       src/plugins/wp/rformat.cmi
Ocamlc       src/libraries/utils/command.cmi
Compiling    Qed (byte)
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/libraries/utils/task.cmi
Ocamlc       src/plugins/wp/why3_xml.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_z.cmi
Ocamlc       src/libraries/datatype/unmarshal.cmo
Ocamlc       src/libraries/utils/pretty_utils.cmo
Ocamlc       src/libraries/utils/hook.cmo
Ocamlc       src/libraries/utils/bag.cmo
Ocamlc       src/libraries/utils/wto.cmo
Ocamlc       src/libraries/utils/vector.cmo
Ocamlc       src/libraries/utils/indexer.cmi
Ocamlc       src/libraries/utils/rgmap.cmi
Ocamlc       src/libraries/utils/bitvector.cmo
Ocamlc       src/libraries/utils/qstack.cmi
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/binary_cache.cmi
Ocamlc       src/libraries/utils/escape.cmo
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/domains/cvalue/builtins_float.cmi
Ocamlc       src/plugins/value/register.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
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
Ocamlc       src/plugins/gui/widget.cmi
Ocamlc       src/plugins/gui/wutil.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/project_manager.cmi
Ocamlc       src/plugins/gui/file_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-metrics
Generating   META.frama-c-value
Generating   META.frama-c-callgraph
Generating   META.frama-c-occurrence
Generating   META.frama-c-users
Generating   META.frama-c-rtegen
Generating   META.frama-c-from
Generating   META.frama-c-constant_propagation
Generating   META.frama-c-postdominators
Generating   META.frama-c-inout
Generating   META.frama-c-impact
Generating   META.frama-c-pdg
Generating   META.frama-c-scope
Generating   META.frama-c-sparecode
Generating   META.frama-c-slicing
Ocamlopt     src/plugins/aorai/bool3.cmx
Ocamlopt     src/libraries/datatype/unmarshal.cmx
Ocamlopt     src/libraries/stdlib/FCSet.cmx
Ocamlopt     src/libraries/stdlib/transitioning.cmx
Ocamlopt     src/libraries/utils/hook.cmx
Ocamlopt     src/libraries/stdlib/FCBuffer.cmx
Ocamlopt     src/libraries/stdlib/FCMap.cmx
Ocamlopt     src/libraries/utils/qstack.cmx
Ocamlopt     src/libraries/utils/escape.cmx
Ocamlopt     src/libraries/utils/utf8_logic.cmx
Ocamlopt     src/libraries/utils/wto.cmx
Ocamlopt     src/libraries/utils/bitvector.cmx
Ocamlopt     src/plugins/e-acsl/local_config.cmx
Ocamlopt     src/plugins/print_api/grammar.cmx
Ocamlopt     src/plugins/wp/rformat.cmx
Compiling    Qed (opt)
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/plugins/wp/why3_xml.cmx
Ocamlopt     src/kernel_internals/runtime/frama_c_init.cmx
Ocamlopt     src/libraries/datatype/unmarshal_z.cmx
Ocamlopt     src/libraries/utils/indexer.cmx
Ocamlopt     src/libraries/utils/rgmap.cmx
Ocamlopt     src/libraries/utils/leftistheap.cmx
Ocamlopt     src/plugins/gui/gtk_form.cmx
Ocamlopt     src/plugins/gui/wutil.cmx
Ocamlopt     src/plugins/gui/wtable.cmx
Generating   ptests/ptests_config.ml
Generating   tests/ptests_config
Ocamlc       src/plugins/slicing/register_gui.cmi
Ocamlc       src/plugins/security_slicing/register_gui.cmi
Ocamlc       src/kernel_internals/runtime/gui_init.cmi
Ocamlc       src/plugins/value/gui_files/register_gui.cmi
Ocamlc       src/plugins/occurrence/register_gui.cmi
Ocamlc       src/plugins/from/from_register_gui.cmi
Ocamlc       src/plugins/impact/register_gui.cmi
Generating   src/plugins/e-acsl/tests/ptests_config
Generating   src/plugins/report/tests/ptests_config
Generating   src/plugins/wp/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....
CC          src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c 
AR          src/plugins/e-acsl/lib/libeacsl-gmp.a
*** 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