=> Bootstrap dependency digest>=20010302: found digest-20180917 ===> Building for frama-c-20170501nb19 Ocamllex src/libraries/utils/json.ml Ocamllex src/kernel_internals/parsing/clexer.ml Ocamlyacc src/kernel_internals/parsing/cparser.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 36 states, 360 transitions, table size 1656 bytes Generating share/Makefile.dynamic_config 136 states, 558 transitions, table size 3048 bytes 2127 additional bytes used for bindings 148 states, 1842 transitions, table size 8256 bytes 1933 additional bytes used for bindings Generating share/Makefile.kernel Generating src/kernel_internals/runtime/config.ml Generating src/plugins/wp/.Makefile.plugin.generated Generating src/plugins/variadic/.Makefile.plugin.generated Generating src/plugins/security_slicing/.Makefile.plugin.generated 381 states, 4411 transitions, table size 19930 bytes 3329 additional bytes used for bindings Generating src/plugins/print_api/.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/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/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/postdominators/.Makefile.plugin.generated Generating src/plugins/inout/.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/value/.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 .depend Ocamllex src/plugins/wp/script.ml 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 53 states, 1709 transitions, table size 7154 bytes 4689 additional bytes used for bindings 31 states, 1109 transitions, table size 4622 bytes 4393 additional bytes used for bindings Generating src/plugins/wp/Wp.mli 57 states, 826 transitions, table size 3646 bytes 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 Ocamlyacc src/plugins/print_api/grammar.ml Generating src/plugins/e-acsl/local_config.ml Ocamllex src/plugins/print_api/lexer.ml Ocamllex src/plugins/aorai/promelalexer.ml Ocamllex src/plugins/aorai/promelalexer_withexps.ml Ocamlyacc src/plugins/aorai/promelaparser.ml Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml 8 states, 264 transitions, table size 1104 bytes 100 states, 4420 transitions, table size 18280 bytes 85 states, 4392 transitions, table size 18078 bytes 4 shift/reduce conflicts. Ocamllex src/plugins/aorai/ltllexer.ml Ocamllex src/plugins/aorai/yalexer.ml Ocamlyacc src/plugins/aorai/yaparser.ml Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli Ocamlyacc src/plugins/aorai/ltlparser.ml Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli 73 states, 2302 transitions, table size 9646 bytes 82 states, 3369 transitions, table size 13968 bytes 7 shift/reduce conflicts. Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/From.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/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/e-acsl/.depend Ocamldep src/plugins/loop_analysis/.depend Ocamldep src/plugins/aorai/.depend Ocamldep src/plugins/slicing/.depend Ocamldep src/plugins/sparecode/.depend Ocamldep src/plugins/scope/.depend Ocamldep src/plugins/pdg/.depend Ocamldep src/plugins/impact/.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/metrics/.depend Ocamldep src/plugins/callgraph/.depend Ocamldep src/plugins/wp/.depend Generating META.frama-c-aorai Ocamlc src/plugins/aorai/bool3.cmi Ocamlc src/libraries/stdlib/FCHashtbl.cmi Ocamlc src/libraries/utils/pretty_utils.cmi Ocamlc src/libraries/stdlib/FCMap.cmi Ocamlc src/libraries/stdlib/FCSet.cmi Ocamlc src/libraries/stdlib/extlib.cmi Ocamlc src/libraries/datatype/unmarshal.cmi Ocamlc src/plugins/aorai/ltlast.cmi Ocamlc src/libraries/utils/wto.cmi Ocamlc src/plugins/aorai/aorai_dataflow.cmi Ocamlc src/libraries/utils/filepath.cmi Ocamlc src/libraries/utils/escape.cmi Ocamlc src/libraries/utils/hook.cmi Ocamlopt src/plugins/aorai/bool3.cmx Ocamlopt src/libraries/datatype/unmarshal.cmx Ocamlc src/plugins/value_types/cilE.cmi Ocamlc src/libraries/stdlib/transitioning.cmi Ocamlopt src/libraries/stdlib/FCSet.cmx Ocamlc src/libraries/stdlib/FCBuffer.cmi Ocamlc src/kernel_internals/runtime/config.cmi Ocamlopt src/libraries/stdlib/FCMap.cmx Ocamlc src/libraries/utils/qstack.cmi Ocamlc src/libraries/utils/binary_cache.cmi Ocamlc src/libraries/utils/utf8_logic.cmi Ocamlopt src/libraries/utils/escape.cmx Ocamlc src/kernel_internals/typing/alpha.cmi Ocamlc src/kernel_internals/parsing/errorloc.cmi Ocamlopt src/libraries/utils/wto.cmx Ocamlc src/libraries/utils/bitvector.cmi Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi Ocamlc src/libraries/utils/unicode.cmi Generating ptests/ptests_config.ml Generating tests/ptests_config Ocamlc src/plugins/slicing/register_gui.cmi Ocamlc src/plugins/gui/wutil.cmi Ocamlc src/plugins/gui/widget.cmi Ocamlc src/libraries/utils/command.cmi Ocamlc src/libraries/utils/cilconfig.cmi Ocamlc src/libraries/utils/rgmap.cmi Ocamlc src/plugins/gui/wtable.cmi Ocamlc src/libraries/utils/indexer.cmi Ocamlc src/libraries/utils/task.cmi Ocamlc src/plugins/gui/source_viewer.cmi Generating src/plugins/e-acsl/tests/ptests_config Generating src/plugins/report/tests/ptests_config Generating src/plugins/wp/tests/ptests_config Ocamlc src/plugins/aorai/bool3.cmo Ocamlc src/libraries/datatype/structural_descr.cmi Ocamlc src/kernel_services/plugin_entry_points/log.cmi Ocamlc src/libraries/stdlib/integer.cmi Ocamlc src/plugins/aorai/ltl_output.cmi Ocamlopt src/libraries/stdlib/FCBuffer.cmx Ocamlopt src/libraries/stdlib/transitioning.cmx Ocamlopt src/libraries/utils/hook.cmx Ocamlopt src/libraries/stdlib/FCHashtbl.cmx Ocamlopt src/libraries/utils/qstack.cmx Ocamlopt src/libraries/utils/utf8_logic.cmx Ocamlopt src/libraries/utils/bitvector.cmx Linking bin/ptests.opt Ocamlopt src/plugins/gui/wutil.cmx Ocamlc src/plugins/gui/wtext.cmi Ocamlopt src/libraries/utils/rgmap.cmx Ocamlc src/plugins/gui/warning_manager.cmi Ocamlopt src/plugins/gui/wtable.cmx Ocamlopt src/libraries/utils/indexer.cmx Ocamlc src/libraries/datatype/type.cmi Ocamlc src/libraries/project/project_skeleton.cmi Ocamlc src/kernel_services/ast_data/cil_types.cmi Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi Ocamlc src/plugins/aorai/ltl_output.cmo Ocamlopt src/libraries/datatype/structural_descr.cmx Ocamlopt src/libraries/stdlib/extlib.cmx Ocamlopt src/libraries/stdlib/integer.cmx Ocamlc src/kernel_services/plugin_entry_points/journal.cmi Ocamlopt src/plugins/aorai/ltl_output.cmx Ocamlc src/plugins/callgraph/journalize.cmi Ocamlopt src/plugins/gui/widget.cmx Ocamlc src/plugins/gui/filetree.cmi Ocamlc src/libraries/datatype/descr.cmi Ocamlc src/kernel_services/parsetree/logic_ptree.cmi Ocamlc src/kernel_services/ast_printing/printer_api.cmi Ocamlc src/kernel_internals/typing/cfg.cmi Ocamlopt src/libraries/datatype/type.cmx Ocamlopt src/libraries/utils/pretty_utils.cmx Ocamlopt src/libraries/utils/filepath.cmx Ocamlc src/libraries/utils/floating_point.cmi Ocamlc src/kernel_internals/runtime/machdeps.cmi Ocamlc src/kernel_services/ast_queries/ast_info.cmi Ocamlc src/kernel_services/ast_printing/logic_print.cmi Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmi Ocamlc src/kernel_services/analysis/ordered_stmt.cmi Ocamlc src/kernel_services/analysis/undefined_sequence.cmi Ocamlc src/kernel_internals/typing/rmtmps.cmi Ocamlc src/kernel_internals/typing/oneret.cmi Ocamlc src/kernel_internals/typing/mergecil.cmi Ocamlc src/kernel_internals/typing/logic_builtin.cmi Ocamlopt src/plugins/value_types/cilE.cmx Ocamlc src/kernel_services/analysis/logic_interp.cmi Ocamlc src/libraries/datatype/datatype.cmi Ocamlc src/kernel_services/parsetree/cabs.cmo Ocamlc src/plugins/aorai/promelaast.cmi Ocamlc src/kernel_services/ast_printing/printer.cmi Ocamlc src/kernel_internals/parsing/logic_parser.cmi Ocamlopt src/kernel_services/plugin_entry_points/log.cmx Ocamlopt src/kernel_internals/runtime/config.cmx Ocamlopt src/libraries/datatype/descr.cmx Ocamlc src/kernel_services/ast_printing/printer_builder.cmi Ocamlc src/kernel_services/ast_printing/cil_printer.cmi Ocamlopt src/kernel_internals/runtime/machdeps.cmx Ocamlc src/kernel_services/ast_printing/cprint.cmi Ocamlc src/kernel_internals/typing/frontc.cmi Ocamlopt src/plugins/gui/wtext.cmx Ocamlc src/plugins/gui/gui_printers.cmi Ocamlc src/plugins/aorai/promelaoutput.cmi Ocamlc src/kernel_internals/parsing/logic_lexer.cmi Ocamlc src/plugins/aorai/logic_simplification.cmi Ocamlc src/plugins/aorai/ltlparser.cmi Ocamlc src/kernel_internals/parsing/cparser.cmi Ocamlc src/plugins/aorai/yaparser.cmi Ocamlc src/plugins/aorai/promelaparser.cmi Ocamlc src/plugins/aorai/promelaparser_withexps.cmi Ocamlc src/kernel_services/analysis/wto_statement.cmi Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi Ocamlc src/kernel_services/abstract_interp/int_Base.cmi Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx Ocamlc src/libraries/utils/rangemap.cmi Ocamlopt src/plugins/aorai/ltlparser.cmx Ocamlc src/plugins/callgraph/journalize.cmo Ocamlc src/kernel_services/analysis/service_graph.cmi Ocamlopt src/plugins/gui/warning_manager.cmx Ocamlc src/libraries/project/state.cmi Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi Ocamlc src/kernel_services/ast_queries/logic_typing.cmi Ocamlc src/kernel_internals/parsing/clexer.cmi Ocamlc src/plugins/aorai/ltlparser.cmo Ocamlc src/plugins/aorai/ltllexer.cmo Ocamlc src/plugins/aorai/yalexer.cmo Ocamlc src/kernel_services/analysis/dataflow2.cmi Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi Ocamlc src/kernel_services/abstract_interp/origin.cmi Ocamlc src/kernel_services/abstract_interp/bottom.cmi Ocamlc src/kernel_services/ast_data/property.cmi Ocamlc src/libraries/project/state_dependency_graph.cmi Ocamlopt src/libraries/project/project_skeleton.cmx Ocamlc src/libraries/project/state_topological.cmi Ocamlopt src/libraries/utils/binary_cache.cmx Ocamlopt src/kernel_services/parsetree/cabs.cmx Ocamlc src/kernel_services/parsetree/cabshelper.cmi Ocamlc src/kernel_internals/runtime/messages.cmi Ocamlc src/libraries/project/state_selection.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi Ocamlc src/libraries/utils/hptmap_sig.cmi Ocamlc src/kernel_services/ast_data/globals.cmi Ocamlc src/kernel_services/ast_data/ast.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi Ocamlopt src/libraries/datatype/datatype.cmx Ocamlopt src/plugins/aorai/ltllexer.cmx Ocamlc src/kernel_services/ast_printing/description.cmi Ocamlc src/libraries/project/project.cmi Ocamlc src/libraries/utils/hptmap.cmi Ocamlc src/libraries/project/state_builder.cmi Ocamlc src/plugins/slicing/slicingTransform.cmi Ocamlc src/kernel_services/ast_transformations/filter.cmi Ocamlc src/libraries/utils/hptset.cmi Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi Ocamlc src/kernel_services/ast_queries/logic_env.cmi Ocamlc src/kernel_services/ast_queries/cil_const.cmi Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi Ocamlc src/kernel_services/ast_data/annotations.cmi Ocamlc src/kernel_services/ast_data/property_status.cmi Ocamlc src/kernel_services/abstract_interp/fval.cmi Ocamlc src/kernel_services/analysis/bit_utils.cmi Ocamlc src/kernel_services/ast_data/alarms.cmi Ocamlc src/plugins/gui/gtk_helper.cmi Ocamlc src/kernel_services/abstract_interp/ival.cmi Ocamlc src/plugins/gui/pretty_source.cmi Ocamlc src/plugins/gui/menu_manager.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi Ocamlc src/plugins/gui/launcher.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi Ocamlc src/kernel_services/ast_data/kernel_function.cmi Ocamlc src/kernel_services/ast_queries/cil.cmi Ocamlc src/kernel_services/ast_queries/logic_const.cmi Ocamlc src/kernel_internals/typing/cabs2cil.cmi Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi Ocamlopt src/libraries/project/state.cmx Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx Ocamlopt src/libraries/utils/rangemap.cmx Ocamlopt src/kernel_services/abstract_interp/bottom.cmx Ocamlc src/kernel_services/analysis/stmts_graph.cmi Ocamlc src/plugins/gui/source_manager.cmi Ocamlc src/kernel_services/ast_data/statuses_by_call.cmi Ocamlc src/plugins/gui/history.cmi Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi Ocamlc src/kernel_services/ast_queries/logic_utils.cmi Ocamlc src/kernel_services/visitors/visitor.cmi Ocamlc src/plugins/aorai/data_for_aorai.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi Ocamlc src/kernel_services/abstract_interp/base.cmi Ocamlopt src/libraries/project/state_dependency_graph.cmx Ocamlopt src/libraries/project/state_topological.cmx Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx Ocamlc src/kernel_services/visitors/cabsvisit.cmi Ocamlc src/plugins/pdg/ctrlDpds.cmi Ocamlc src/kernel_services/analysis/dataflows.cmi Ocamlc src/plugins/callgraph/callgraph_api.cmi Ocamlc src/plugins/callgraph/uses.cmi Ocamlc src/plugins/gui/design.cmi Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi Ocamlc src/plugins/aorai/aorai_option.cmi Ocamlc src/plugins/aorai/aorai_utils.cmi Ocamlc src/kernel_services/ast_queries/filecheck.cmi Ocamlc src/kernel_services/ast_queries/file.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi Ocamlopt src/libraries/project/state_selection.cmx Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi Ocamlc src/plugins/slicing/slicingParameters.cmi Ocamlc src/plugins/pdg/pdg_parameters.cmi Ocamlc src/plugins/callgraph/options.cmi Ocamlc src/plugins/callgraph/cg.cmi Ocamlc src/plugins/callgraph/services.cmi Ocamlc src/plugins/gui/gui_parameters.cmi Ocamlc src/plugins/aorai/aorai_option.cmo Ocamlc src/plugins/aorai/path_analysis.cmo Ocamlc src/plugins/aorai/promelaoutput.cmo Ocamlc src/plugins/aorai/logic_simplification.cmo Ocamlc src/plugins/aorai/utils_parser.cmo Ocamlc src/plugins/aorai/yaparser.cmo Ocamlc src/plugins/aorai/promelaparser.cmo Ocamlc src/plugins/aorai/promelalexer.cmo Ocamlc src/plugins/aorai/promelaparser_withexps.cmo Ocamlc src/plugins/aorai/promelalexer_withexps.cmo Ocamlc src/plugins/aorai/aorai_dataflow.cmo Ocamlc src/plugins/aorai/aorai_visitors.cmo Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi Ocamlopt src/libraries/project/project.cmx Ocamlc src/kernel_internals/parsing/lexerhack.cmo Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo Ocamlc src/plugins/pdg/pdg_parameters.cmo Ocamlc src/plugins/callgraph/options.cmo Ocamlc src/plugins/callgraph/services.cmo Ocamlc src/plugins/callgraph/uses.cmo Ocamlc src/plugins/slicing/slicingParameters.cmo Ocamlc src/plugins/aorai/data_for_aorai.cmo Ocamlc src/plugins/aorai/aorai_utils.cmo Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi Ocamlopt src/libraries/project/state_builder.cmx Ocamlc src/kernel_services/abstract_interp/locations.cmi Ocamlc src/plugins/value_types/precise_locs.cmi Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi Ocamlc src/plugins/pdg_types/pdgIndex.cmi Ocamlc src/plugins/value_types/inout_type.cmi Ocamlc src/plugins/value_types/cvalue.cmi Ocamlc src/kernel_services/abstract_interp/lmap.cmi Ocamlc src/plugins/value_types/function_Froms.cmi Ocamlc src/plugins/pdg_types/pdgTypes.cmi Ocamlopt src/libraries/utils/hptmap.cmx Ocamlc src/plugins/value_types/value_types.cmi Ocamlc src/plugins/pdg_types/pdgMarks.cmi Ocamlc src/plugins/pdg/pdg_state.cmi Ocamlc src/plugins/pdg/build.cmi Ocamlc src/plugins/pdg/sets.cmi Ocamlc src/plugins/pdg/annot.cmi Ocamlc src/plugins/slicing_types/slicingInternals.cmo Ocamlc src/plugins/pdg/marks.cmi Ocamlc src/plugins/pdg/pdg_state.cmo Ocamlopt src/libraries/utils/hptset.cmx Ocamlc src/plugins/slicing_types/slicingTypes.cmo Ocamlc src/plugins/slicing/fct_slice.cmi Ocamlc src/plugins/slicing/printSlice.cmi Ocamlc src/plugins/slicing/slicingProject.cmi Ocamlopt src/kernel_services/ast_queries/cil_datatype.cmx Ocamlc src/kernel_services/plugin_entry_points/db.cmi Ocamlc src/plugins/slicing/slicingState.cmi Ocamlc src/plugins/slicing/slicingMarks.cmi Ocamlc src/plugins/slicing/slicingMarks.cmo Ocamlc src/plugins/aorai/aorai_register.cmo Ocamlc src/plugins/slicing/slicingMacros.cmi Ocamlc src/plugins/slicing/slicingActions.cmi Ocamlc src/plugins/pdg/ctrlDpds.cmo Ocamlc src/plugins/pdg/build.cmo Ocamlc src/plugins/pdg/sets.cmo Ocamlc src/plugins/pdg/annot.cmo Ocamlc src/plugins/pdg/marks.cmo Ocamlc src/plugins/callgraph/cg.cmo Ocamlc src/plugins/callgraph/register.cmo Ocamlc src/plugins/slicing/slicingCmds.cmi Ocamlc src/plugins/slicing/slicingState.cmo Ocamlc src/plugins/slicing/slicingMacros.cmo Ocamlc src/plugins/slicing/slicingActions.cmo Ocamlc src/plugins/slicing/printSlice.cmo Ocamlc src/plugins/slicing/slicingProject.cmo Ocamlc src/plugins/slicing/slicingTransform.cmo Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.cmi Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.cmi Ocamlc src/plugins/slicing/register.cmo Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmi Packing /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmo Ocamlc src/plugins/pdg/register.cmo Ocamlc src/plugins/slicing/slicingCmds.cmo Ocamlopt src/kernel_services/cmdline_parameters/parameter_customize.cmx Ocamlopt src/kernel_services/ast_queries/cil_state_builder.cmx Ocamlc src/plugins/e-acsl/local_config.cmi Ocamlc src/plugins/e-acsl/options.cmi Generating META.frama-c-e_acsl Ocamlc src/plugins/e-acsl/rte.cmi Ocamlc src/plugins/e-acsl/error.cmi Ocamlc src/plugins/e-acsl/builtins.cmi Ocamlc src/plugins/e-acsl/misc.cmi Ocamlc src/plugins/e-acsl/gmpz.cmi Ocamlc src/plugins/e-acsl/literal_strings.cmi Ocamlc src/kernel_services/analysis/dataflow.cmi Ocamlc src/plugins/e-acsl/mmodel_analysis.cmi Ocamlc src/plugins/e-acsl/prepare_ast.cmi Ocamlc src/plugins/e-acsl/dup_functions.cmi Ocamlc src/plugins/e-acsl/exit_points.cmi Ocamlc src/plugins/e-acsl/label.cmi Ocamlc src/plugins/e-acsl/env.cmi Ocamlc src/plugins/e-acsl/interval.cmi Ocamlc src/plugins/e-acsl/typing.cmi Ocamlc src/plugins/e-acsl/visit.cmi Ocamlopt src/kernel_services/cmdline_parameters/parameter_state.cmx Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.cmi Ocamlc src/plugins/e-acsl/local_config.cmo Ocamlc src/plugins/e-acsl/options.cmo Ocamlc src/plugins/e-acsl/rte.cmo Ocamlc src/plugins/e-acsl/error.cmo Ocamlc src/plugins/e-acsl/builtins.cmo Ocamlc src/plugins/e-acsl/misc.cmo Ocamlc src/plugins/e-acsl/gmpz.cmo Ocamlc src/plugins/e-acsl/literal_strings.cmo Ocamlc src/plugins/e-acsl/mmodel_analysis.cmo Ocamlc src/plugins/e-acsl/prepare_ast.cmo Ocamlc src/plugins/e-acsl/dup_functions.cmo Ocamlc src/plugins/e-acsl/exit_points.cmo Ocamlc src/plugins/e-acsl/label.cmo Ocamlc src/plugins/e-acsl/env.cmo Ocamlc src/plugins/e-acsl/interval.cmo Ocamlc src/plugins/e-acsl/typing.cmo Ocamlc src/plugins/e-acsl/quantif.cmi Ocamlc src/plugins/e-acsl/translate.cmi Ocamlc src/plugins/e-acsl/loops.cmi Ocamlopt src/kernel_services/cmdline_parameters/parameter_builder.cmx Ocamlc src/plugins/slicing/fct_slice.cmo Ocamlc src/plugins/e-acsl/quantif.cmo Ocamlc src/plugins/e-acsl/translate.cmo Ocamlc src/plugins/e-acsl/loops.cmo Ocamlc src/plugins/e-acsl/visit.cmo Ocamlc src/plugins/e-acsl/main.cmo Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.cmi Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.cmi Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.cmi Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.cmi Packing /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.cmo Generating META.frama-c-loopanalysis Ocamlc src/plugins/loop_analysis/options.cmi Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo Ocamlc src/kernel_services/analysis/dominators.cmi Ocamlc src/plugins/loop_analysis/loop_analysis.cmi Ocamlc src/kernel_services/analysis/loop.cmi Ocamlopt src/kernel_services/plugin_entry_points/plugin.cmx Ocamlc src/plugins/loop_analysis/region_analysis.cmi Ocamlc src/plugins/loop_analysis/options.cmo Ocamlc src/plugins/loop_analysis/region_analysis.cmo Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmi Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmo Ocamlc src/plugins/loop_analysis/slevel_analysis.cmo Ocamlc src/plugins/loop_analysis/loop_analysis.cmo Ocamlopt src/kernel_services/plugin_entry_points/kernel.cmx Ocamlopt src/plugins/slicing/slicingParameters.cmx Ocamlopt src/plugins/gui/gui_parameters.cmx Ocamlc src/plugins/loop_analysis/register.cmo Ocamlopt src/plugins/gui/source_viewer.cmx Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.cmi Ocamlopt src/kernel_services/plugin_entry_points/emitter.cmx Ocamlopt src/kernel_services/ast_queries/cil_const.cmx Ocamlopt src/libraries/utils/floating_point.cmx Ocamlopt src/kernel_internals/typing/alpha.cmx Ocamlopt src/kernel_internals/parsing/errorloc.cmx Ocamlopt src/kernel_internals/parsing/lexerhack.cmx Ocamlopt src/kernel_services/abstract_interp/lattice_messages.cmx Ocamlopt src/libraries/utils/unicode.cmx Ocamlopt src/libraries/utils/cilconfig.cmx Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmi Ocamlopt src/kernel_services/abstract_interp/abstract_interp.cmx Packing /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmo Ocamlopt src/kernel_services/ast_queries/logic_env.cmx Generating META.frama-c-nonterm Ocamlc src/plugins/nonterm/nonterm_run.cmo Ocamlopt src/plugins/aorai/aorai_option.cmx Ocamlopt src/plugins/aorai/path_analysis.cmx Ocamlopt src/kernel_services/ast_queries/logic_const.cmx Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.cmi Ocamlopt src/kernel_services/abstract_interp/int_Base.cmx Ocamlopt src/kernel_services/abstract_interp/fval.cmx Ocamlopt src/kernel_services/ast_queries/cil.cmx Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmi Packing /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmo Generating META.frama-c-obfuscator Ocamlc src/plugins/obfuscator/options.cmi Ocamlc src/plugins/obfuscator/obfuscator_kind.cmi Ocamlc src/plugins/obfuscator/obfuscate.cmi Ocamlc src/plugins/obfuscator/obfuscator_kind.cmo Ocamlc src/plugins/obfuscator/dictionary.cmi Ocamlc src/plugins/obfuscator/options.cmo Ocamlopt src/kernel_services/abstract_interp/ival.cmx Ocamlc src/plugins/obfuscator/dictionary.cmo Ocamlc src/plugins/obfuscator/obfuscate.cmo Ocamlc src/plugins/obfuscator/obfuscator_register.cmo Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.cmi Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmi Packing /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmo Generating META.frama-c-print_api Ocamlc src/plugins/print_api/grammar.cmi Ocamlc src/plugins/print_api/lexer.cmo Ocamlc src/plugins/print_api/grammar.cmo Ocamlc src/plugins/print_api/print_interface.cmo Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.cmi Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmi Packing /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmo Generating META.frama-c-report Ocamlc src/plugins/report/report_parameters.cmi Ocamlc src/plugins/report/csv.cmi Ocamlc src/plugins/report/scan.cmi Ocamlc src/plugins/report/register.cmi Ocamlc src/plugins/report/dump.cmi Ocamlc src/plugins/report/report_parameters.cmo Ocamlc src/plugins/report/scan.cmo Ocamlc src/plugins/report/csv.cmo Ocamlc src/plugins/report/dump.cmo Ocamlc src/plugins/report/register.cmo Ocamlopt src/kernel_services/ast_printing/cil_printer.cmx Ocamlopt src/kernel_services/parsetree/cabshelper.cmx Ocamlopt src/kernel_services/ast_queries/ast_info.cmx Ocamlopt src/plugins/aorai/utils_parser.cmx Ocamlopt src/kernel_services/abstract_interp/origin.cmx Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.cmi Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmi Ocamlopt src/kernel_services/visitors/cabsvisit.cmx Packing /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmo Generating META.frama-c-security_slicing Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmi Ocamlc src/plugins/security_slicing/components.cmi Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmo Ocamlc src/plugins/security_slicing/components.cmo Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.cmi Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmi Packing /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmo Generating META.frama-c-variadic Ocamlc src/plugins/variadic/options.cmi Ocamlc src/plugins/variadic/extends.cmi Ocamlc src/plugins/variadic/va_build.cmo Ocamlc src/plugins/variadic/environment.cmo Ocamlc src/plugins/variadic/format_types.cmi Ocamlc src/plugins/variadic/format_pprint.cmi Ocamlc src/plugins/variadic/format_typer.cmi Ocamlc src/plugins/variadic/format_parser.cmi Ocamlc src/plugins/variadic/va_types.cmi Ocamlc src/plugins/variadic/options.cmo Ocamlc src/plugins/variadic/generic.cmo Ocamlc src/plugins/variadic/extends.cmo Ocamlc src/plugins/variadic/format_typer.cmo Ocamlc src/plugins/variadic/format_pprint.cmo Ocamlc src/plugins/variadic/format_parser.cmo Ocamlc src/plugins/variadic/standard.cmo Ocamlc src/plugins/variadic/classify.cmo Ocamlc src/plugins/variadic/translate.cmo Ocamlc src/plugins/variadic/register.cmo Ocamlopt src/kernel_internals/typing/rmtmps.cmx Ocamlopt src/kernel_services/ast_data/ast.cmx Ocamlopt src/kernel_services/ast_printing/logic_print.cmx Ocamlopt src/kernel_services/ast_printing/cil_descriptive_printer.cmx Ocamlopt src/kernel_services/analysis/undefined_sequence.cmx Ocamlopt src/kernel_services/ast_queries/logic_utils.cmx Ocamlc /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.cmi Generating /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmi Packing /tmp/pkgbuild/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmo Ocamlopt src/kernel_services/abstract_interp/map_Lattice.cmx Ocamlopt src/kernel_internals/runtime/messages.cmx Generating META.frama-c-wp Ocamlc src/plugins/wp/rformat.cmi Ocamlc src/plugins/wp/wprop.cmi Ocamlc src/plugins/wp/wp_parameters.cmi Ocamlc src/plugins/wp/wp_error.cmi Ocamlc src/plugins/wp/dyncall.cmi Compiling Qed (byte) Ocamlc src/plugins/wp/clabels.cmi Ocamlc src/plugins/wp/Separation.cmi Ocamlc src/plugins/wp/normAtLabels.cmi Ocamlc src/libraries/utils/bag.cmi Ocamlc src/plugins/wp/Context.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/vector.cmi Ocamlc src/libraries/utils/json.cmi Ocamlc src/plugins/wp/why3_xml.cmi Ocamlc src/plugins/wp/ProverTask.cmi Ocamlopt src/kernel_internals/parsing/logic_parser.cmx Ocamlopt src/kernel_services/ast_printing/cprint.cmx 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 gmake[1]: *** [MakeOcaml:35: numbers.cmo] Error 2 gmake[1]: *** Waiting for unfinished jobs.... Ocamlopt src/kernel_internals/typing/oneret.cmx Ocamlopt src/kernel_internals/typing/logic_builtin.cmx Ocamlc src/plugins/wp/rformat.cmo Ocamlc src/plugins/wp/wprop.cmo gmake: *** [src/plugins/wp/Makefile:277: src/plugins/wp/qed/bin/Qed.cmo] Error 2 gmake: *** Waiting for unfinished jobs.... *** Error code 2 Stop. make[1]: stopped in /usr/pkgsrc/devel/frama-c *** Error code 1 Stop. make: stopped in /usr/pkgsrc/devel/frama-c