=> Bootstrap dependency digest>=20010302: found digest-20190127
===> 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'.
===> 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-20170501nb28
Generating src/plugins/value/domains/apron/apron_domain.ml
Ocamlyacc src/kernel_internals/parsing/logic_parser.ml
Ocamllex src/kernel_internals/parsing/logic_preprocess.ml
Ocamllex src/kernel_internals/parsing/logic_lexer.ml
Ocamllex src/kernel_internals/parsing/clexer.ml
Ocamlyacc src/kernel_internals/parsing/cparser.ml
Ocamllex src/libraries/utils/json.ml
Generating share/frama-c.rc
Generating share/Makefile.dynamic_config
136 states, 558 transitions, table size 3048 bytes
2127 additional bytes used for bindings
Generating share/Makefile.kernel
36 states, 360 transitions, table size 1656 bytes
Generating src/plugins/variadic/.Makefile.plugin.generated
Generating src/kernel_internals/runtime/config.ml
381 states, 4411 transitions, table size 19930 bytes
3329 additional bytes used for bindings
Generating src/plugins/wp/.Makefile.plugin.generated
Generating src/plugins/security_slicing/.Makefile.plugin.generated
Generating src/plugins/print_api/.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/report/.Makefile.plugin.generated
Generating src/plugins/e-acsl/.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/constant_propagation/.Makefile.plugin.generated
Generating src/plugins/users/.Makefile.plugin.generated
Generating src/plugins/from/.Makefile.plugin.generated
148 states, 1842 transitions, table size 8256 bytes
1933 additional bytes used for bindings
Generating src/plugins/inout/.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
Generating src/plugins/aorai/.Makefile.plugin.generated
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
114 states, 1396 transitions, table size 6268 bytes
3538 additional bytes used for bindings
105 states, 2064 transitions, table size 8886 bytes
2265 additional bytes used for bindings
57 states, 826 transitions, table size 3646 bytes
31 states, 1109 transitions, table size 4622 bytes
4393 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
Ocamlyacc src/plugins/aorai/promelaparser.ml
8 states, 264 transitions, table size 1104 bytes
Ocamllex src/plugins/aorai/ltllexer.ml
Ocamlyacc src/plugins/aorai/ltlparser.ml
4 shift/reduce conflicts.
Ocamllex src/plugins/aorai/yalexer.ml
7 shift/reduce conflicts.
85 states, 4392 transitions, table size 18078 bytes
100 states, 4420 transitions, table size 18280 bytes
Ocamlyacc src/plugins/aorai/yaparser.ml
73 states, 2302 transitions, table size 9646 bytes
82 states, 3369 transitions, table size 13968 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
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
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/Postdominators.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/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/Sparecode.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/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/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/Variadic.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/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/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/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/top/Postdominators.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/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/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/top/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/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/top/Obfuscator.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/E_ACSL.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/top/Wp.mli
Ocamldep src/plugins/variadic/.depend
Ocamldep src/plugins/report/.depend
Ocamldep src/plugins/obfuscator/.depend
Ocamldep src/plugins/print_api/.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/pdg/.depend
Ocamldep src/plugins/impact/.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/scope/.depend
Ocamldep src/plugins/inout/.depend
Ocamldep src/plugins/wp/.depend
Ocamlc src/libraries/datatype/unmarshal.cmi
Ocamlc src/plugins/aorai/bool3.cmi
Generating META.frama-c-aorai
Ocamlc src/libraries/stdlib/FCSet.cmi
Ocamlc src/libraries/stdlib/FCHashtbl.cmi
Ocamlc src/libraries/stdlib/FCMap.cmi
Ocamlc src/libraries/stdlib/extlib.cmi
Ocamlc src/libraries/utils/pretty_utils.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
Ocamlc src/plugins/value_types/cilE.cmi
Ocamlopt src/plugins/aorai/bool3.cmx
Ocamlopt src/libraries/datatype/unmarshal.cmx
Ocamlc src/libraries/stdlib/transitioning.cmi
Ocamlopt src/libraries/stdlib/FCSet.cmx
Ocamlc src/libraries/stdlib/FCBuffer.cmi
Ocamlopt src/libraries/utils/hook.cmx
Ocamlc src/kernel_internals/runtime/config.cmi
Ocamlopt src/libraries/stdlib/FCMap.cmx
Ocamlc src/libraries/utils/qstack.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/libraries/utils/binary_cache.cmi
Generating src/plugins/e-acsl/tests/ptests_config
Generating src/plugins/report/tests/ptests_config
Ocamlc src/plugins/aorai/bool3.cmo
Generating src/plugins/wp/tests/ptests_config
Ocamlc src/libraries/stdlib/integer.cmi
Ocamlc src/kernel_services/plugin_entry_points/log.cmi
Ocamlopt src/libraries/stdlib/FCBuffer.cmx
Ocamlc src/libraries/datatype/structural_descr.cmi
Ocamlc src/plugins/aorai/ltl_output.cmi
Ocamlopt src/libraries/stdlib/FCHashtbl.cmx
Ocamlopt src/libraries/stdlib/transitioning.cmx
Ocamlopt src/libraries/utils/utf8_logic.cmx
Ocamlopt src/libraries/utils/qstack.cmx
Ocamlopt src/plugins/aorai/ltl_output.cmx
Ocamlopt src/libraries/utils/bitvector.cmx
Linking bin/ptests.opt
Ocamlc src/kernel_services/ast_data/cil_types.cmi
Ocamlc src/libraries/datatype/type.cmi
Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi
Ocamlc src/libraries/project/project_skeleton.cmi
Ocamlc src/plugins/aorai/ltl_output.cmo
Ocamlopt src/libraries/datatype/structural_descr.cmx
Ocamlopt src/libraries/stdlib/extlib.cmx
File "ptests/ptests.ml", line 307, characters 10-28:
307 | Pervasives.compare optname1 optname2
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlopt src/libraries/stdlib/integer.cmx
File "src/libraries/stdlib/extlib.ml", line 315, characters 2-20:
315 | Pervasives.at_exit
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc src/kernel_services/plugin_entry_points/journal.cmi
Ocamlc src/libraries/utils/floating_point.cmi
File "ptests/ptests.ml", line 1071, characters 26-44:
1071 | let compare c1 c2 = Pervasives.compare (project c1) (project c2)
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc src/kernel_internals/runtime/machdeps.cmi
Ocamlc src/kernel_services/ast_queries/ast_info.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/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/kernel_services/ast_printing/logic_print.cmi
Ocamlc src/libraries/datatype/datatype.cmi
Ocamlc src/kernel_services/parsetree/cabs.cmo
Ocamlc src/plugins/aorai/promelaast.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
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
Ocamlc src/libraries/project/state.cmi
Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi
Ocamlc src/kernel_services/ast_printing/printer.cmi
Ocamlc src/kernel_services/ast_queries/logic_typing.cmi
Ocamlc src/plugins/aorai/promelaoutput.cmi
Ocamlc src/kernel_internals/parsing/logic_lexer.cmi
Ocamlc src/plugins/aorai/logic_simplification.cmi
Ocamlc src/kernel_internals/parsing/cparser.cmi
Ocamlc src/plugins/aorai/ltlparser.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/plugin_entry_points/dynamic.cmi
Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi
Ocamlc src/kernel_services/abstract_interp/int_Base.cmi
Ocamlc src/kernel_services/ast_data/property.cmi
Ocamlc src/libraries/project/state_dependency_graph.cmi
Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx
Ocamlopt src/libraries/datatype/descr.cmx
Ocamlc src/libraries/project/state_topological.cmi
Ocamlopt src/kernel_services/parsetree/cabs.cmx
Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx
Ocamlc src/kernel_services/parsetree/cabshelper.cmi
Ocamlc src/libraries/utils/rangemap.cmi
Ocamlopt src/plugins/aorai/ltlparser.cmx
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_internals/parsing/clexer.cmi
Ocamlc src/kernel_services/ast_data/ast.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/abstract_interp/bottom.cmi
Ocamlc src/libraries/project/project.cmi
Ocamlc src/kernel_services/abstract_interp/origin.cmi
Ocamlc src/libraries/utils/hptmap.cmi
Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi
Ocamlopt src/plugins/aorai/ltllexer.cmx
Ocamlc src/libraries/project/state_builder.cmi
Ocamlopt src/libraries/project/project_skeleton.cmx
Ocamlopt src/libraries/utils/binary_cache.cmx
Ocamlc src/libraries/utils/hptset.cmi
Ocamlopt src/libraries/datatype/datatype.cmx
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/ast_queries/cil_state_builder.cmi
Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi
Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi
Ocamlc src/kernel_services/ast_data/property_status.cmi
Ocamlc src/kernel_services/ast_data/annotations.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/kernel_services/abstract_interp/ival.cmi
Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi
Ocamlc src/kernel_services/abstract_interp/base.cmi
Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.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_internals/typing/cabs2cil.cmi
Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi
Ocamlc src/kernel_services/ast_queries/logic_const.cmi
Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi
Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi
Ocamlc src/kernel_services/ast_queries/logic_utils.cmi
Ocamlc src/kernel_services/visitors/cabsvisit.cmi
Ocamlc src/kernel_services/plugin_entry_points/plugin.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/cmdline_parameters/parameter_builder.cmi
Ocamlc src/kernel_services/ast_queries/filecheck.cmi
Ocamlc src/kernel_services/ast_queries/file.cmi
Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi
Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi
Ocamlc src/kernel_services/abstract_interp/locations.cmi
Ocamlc src/plugins/aorai/aorai_utils.cmi
Ocamlc src/plugins/aorai/aorai_option.cmi
Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi
Ocamlc src/plugins/value_types/precise_locs.cmi
Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi
Ocamlc src/plugins/pdg_types/pdgIndex.cmi
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/value_types/inout_type.cmi
Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi
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/plugins/value_types/function_Froms.cmi
Ocamlc src/plugins/pdg_types/pdgTypes.cmi
Ocamlc src/plugins/value_types/cvalue.cmi
Ocamlc src/kernel_internals/parsing/lexerhack.cmo
Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo
Ocamlc src/kernel_services/abstract_interp/lmap.cmi
Ocamlc src/plugins/aorai/aorai_option.cmo
Ocamlc src/plugins/aorai/data_for_aorai.cmo
Ocamlc src/plugins/aorai/aorai_utils.cmo
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/plugins/value_types/value_types.cmi
Ocamlc src/plugins/pdg_types/pdgMarks.cmi
Ocamlopt src/libraries/project/state_dependency_graph.cmx
Ocamlopt src/libraries/project/state_topological.cmx
Ocamlc src/plugins/slicing_types/slicingInternals.cmo
Ocamlopt src/libraries/project/state_selection.cmx
Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx
Ocamlc src/plugins/slicing_types/slicingTypes.cmo
Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx
File "src/kernel_services/plugin_entry_points/dynamic.ml", line 49, characters 6-18:
49 | Dynlink.init () ;
^^^^^^^^^^^^
Error: Unbound value Dynlink.init
gmake: *** [share/Makefile.generic:89: src/kernel_services/plugin_entry_points/dynamic.cmx] 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