=> 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-20170501nb11
Ocamllex src/kernel_internals/parsing/clexer.ml
Ocamlyacc src/kernel_internals/parsing/cparser.ml
Ocamllex src/libraries/utils/json.ml
Ocamllex src/kernel_internals/parsing/logic_lexer.ml
Ocamllex src/kernel_internals/parsing/logic_preprocess.ml
Ocamlyacc src/kernel_internals/parsing/logic_parser.ml
Generating src/plugins/value/domains/apron/apron_domain.ml
Generating share/frama-c.rc
Generating share/Makefile.dynamic_config
Generating share/Makefile.kernel
Generating src/plugins/wp/.Makefile.plugin.generated
Generating src/plugins/security_slicing/.Makefile.plugin.generated
Generating src/plugins/variadic/.Makefile.plugin.generated
36 states, 360 transitions, table size 1656 bytes
136 states, 558 transitions, table size 3048 bytes
2127 additional bytes used for bindings
Coqdep for src/plugins/wp/share/coqwp
Generating src/plugins/report/.Makefile.plugin.generated
Generating src/plugins/print_api/.Makefile.plugin.generated
148 states, 1842 transitions, table size 8256 bytes
1933 additional bytes used for bindings
Generating src/plugins/obfuscator/.Makefile.plugin.generated
Generating src/plugins/loop_analysis/.Makefile.plugin.generated
Generating src/plugins/nonterm/.Makefile.plugin.generated
Generating src/plugins/aorai/.Makefile.plugin.generated
Generating src/plugins/slicing/.Makefile.plugin.generated
Generating src/plugins/e-acsl/.Makefile.plugin.generated
Generating src/plugins/scope/.Makefile.plugin.generated
Generating src/plugins/sparecode/.Makefile.plugin.generated
Generating src/kernel_internals/runtime/config.ml
Generating src/plugins/pdg/.Makefile.plugin.generated
381 states, 4411 transitions, table size 19930 bytes
3329 additional bytes used for bindings
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/value/.Makefile.plugin.generated
Generating src/plugins/occurrence/.Makefile.plugin.generated
Generating src/plugins/metrics/.Makefile.plugin.generated
Generating src/plugins/callgraph/.Makefile.plugin.generated
Generating src/kernel_internals/runtime/frama_c_config.ml
warning: option -slash has no effect and is deprecated.
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/qed/src/numbers.ml
Ocamllex src/plugins/wp/script.ml
57 states, 826 transitions, table size 3646 bytes
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
105 states, 2064 transitions, table size 8886 bytes
2265 additional bytes used for bindings
114 states, 1396 transitions, table size 6268 bytes
3538 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
Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml
Ocamllex src/plugins/aorai/promelalexer.ml
Ocamllex src/plugins/aorai/ltllexer.ml
Ocamlyacc src/plugins/aorai/promelaparser.ml
Ocamllex src/plugins/aorai/yalexer.ml
Ocamlyacc src/plugins/aorai/ltlparser.ml
Ocamlyacc src/plugins/aorai/yaparser.ml
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
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/Metrics.mli
8 states, 264 transitions, table size 1104 bytes
4 shift/reduce conflicts.
100 states, 4420 transitions, table size 18280 bytes
7 shift/reduce conflicts.
85 states, 4392 transitions, table size 18078 bytes
82 states, 3369 transitions, table size 13968 bytes
73 states, 2302 transitions, table size 9646 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/From.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/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/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/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/Nonterm.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/Print_api.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/top/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/Impact.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/Inout.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/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/Users.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/gui/From.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/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/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/gui/Value.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/top/Variadic.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/Print_api.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/Obfuscator.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/LoopAnalysis.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/Slicing.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/Sparecode.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/nonterm/.depend
Ocamldep src/plugins/loop_analysis/.depend
Ocamldep src/plugins/e-acsl/.depend
Ocamldep src/plugins/aorai/.depend
Ocamldep src/plugins/sparecode/.depend
Ocamldep src/plugins/scope/.depend
Ocamldep src/plugins/pdg/.depend
Ocamldep src/plugins/impact/.depend
Ocamldep src/plugins/slicing/.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/occurrence/.depend
Ocamldep src/plugins/rte/.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/FCMap.cmi
Ocamlc src/libraries/stdlib/FCHashtbl.cmi
Ocamlc src/plugins/aorai/ltlast.cmi
Ocamlc src/libraries/stdlib/extlib.cmi
Ocamlc src/libraries/utils/wto.cmi
Ocamlc src/libraries/stdlib/FCSet.cmi
Ocamlc src/libraries/utils/escape.cmi
Ocamlc src/libraries/utils/filepath.cmi
Ocamlc src/plugins/value_types/cilE.cmi
Ocamlc src/libraries/utils/hook.cmi
Generating META.frama-c-e_acsl
Ocamlc src/plugins/aorai/aorai_dataflow.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-variadic
Generating META.frama-c-security_slicing
Generating META.frama-c-wp
Ocamlc src/plugins/wp/rformat.cmi
Compiling Qed (byte)
Ocamlc src/libraries/utils/command.cmi
Ocamlc src/plugins/variadic/format_types.cmi
Ocamlc src/libraries/utils/bag.cmi
Ocamlc src/libraries/utils/bitvector.cmi
Ocamlc src/plugins/wp/Warning.cmi
Ocamlc src/plugins/wp/VCS.cmi
Ocamlc src/plugins/wp/script.cmi
Ocamlc src/plugins/wp/wpReport.cmi
Ocamlc src/libraries/utils/json.cmi
Ocamlc src/libraries/utils/vector.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/hook.cmo
Ocamlc src/libraries/utils/bag.cmo
Ocamlc src/libraries/utils/wto.cmo
Ocamlc src/libraries/utils/vector.cmo
Ocamlc src/libraries/utils/rgmap.cmi
Ocamlc src/libraries/utils/indexer.cmi
Ocamlc src/libraries/utils/bitvector.cmo
Ocamlc src/libraries/utils/qstack.cmi
File "src/plugins/wp/qed/src/numbers.mll", line 131, characters 18-19:
Error: This expression has type string but an expression was expected of type
bytes
MakeOcaml:35: recipe for target 'numbers.cmo' failed
gmake[1]: *** [numbers.cmo] Error 2
gmake[1]: *** Waiting for unfinished jobs....
Ocamlc src/libraries/utils/leftistheap.cmi
Ocamlc src/libraries/utils/filepath.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/json.cmo
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
src/plugins/wp/Makefile:275: recipe for target 'src/plugins/wp/qed/bin/Qed.cmo' failed
gmake: *** [src/plugins/wp/qed/bin/Qed.cmo] Error 2
gmake: *** Waiting for unfinished jobs....
Ocamlc src/plugins/value_types/cilE.cmo
*** 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