=> Bootstrap dependency digest>=20010302: found digest-20190127 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for frama-c-20170501nb32 Ocamllex src/kernel_internals/parsing/logic_lexer.ml Ocamllex src/libraries/utils/json.ml Ocamllex src/kernel_internals/parsing/clexer.ml Ocamlyacc src/kernel_internals/parsing/cparser.ml 36 states, 360 transitions, table size 1656 bytes 148 states, 1842 transitions, table size 8256 bytes 1933 additional bytes used for bindings Ocamlyacc src/kernel_internals/parsing/logic_parser.ml Ocamllex src/kernel_internals/parsing/logic_preprocess.ml 381 states, 4411 transitions, table size 19930 bytes 3329 additional bytes used for bindings 136 states, 558 transitions, table size 3048 bytes 2127 additional bytes used for bindings Generating src/plugins/value/domains/apron/apron_domain.ml Generating src/kernel_internals/runtime/config.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/variadic/.Makefile.plugin.generated Generating src/plugins/security_slicing/.Makefile.plugin.generated 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/slicing/.Makefile.plugin.generated Generating src/plugins/aorai/.Makefile.plugin.generated Generating src/plugins/scope/.Makefile.plugin.generated Generating src/plugins/sparecode/.Makefile.plugin.generated Generating src/plugins/impact/.Makefile.plugin.generated Generating src/plugins/pdg/.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/occurrence/.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/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/driver.ml 57 states, 826 transitions, table size 3646 bytes Ocamllex src/plugins/wp/rformat.ml Ocamllex src/plugins/wp/why3_xml.ml 105 states, 2064 transitions, table size 8886 bytes 2265 additional bytes used for bindings 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 Generating src/plugins/wp/Wp.mli 31 states, 1109 transitions, table size 4622 bytes 4393 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 8 states, 264 transitions, table size 1104 bytes Ocamllex src/plugins/aorai/promelalexer_withexps.ml Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml Ocamllex src/plugins/aorai/promelalexer.ml 100 states, 4420 transitions, table size 18280 bytes 4 shift/reduce conflicts. 85 states, 4392 transitions, table size 18078 bytes Ocamlyacc src/plugins/aorai/promelaparser.ml Ocamllex src/plugins/aorai/ltllexer.ml Ocamlyacc src/plugins/aorai/ltlparser.ml 82 states, 3369 transitions, table size 13968 bytes 7 shift/reduce conflicts. Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli Ocamlyacc src/plugins/aorai/yaparser.ml Ocamllex src/plugins/aorai/yalexer.ml 73 states, 2302 transitions, table size 9646 bytes Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli Generating /tmp/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/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/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/callgraph/.depend Ocamldep src/plugins/wp/.depend Ocamldep src/plugins/metrics/.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/utils/pretty_utils.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/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/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 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/datatype/structural_descr.cmx Ocamlopt src/libraries/stdlib/transitioning.cmx Ocamlopt src/libraries/stdlib/FCBuffer.cmx Ocamlopt src/libraries/stdlib/integer.cmx Ocamlopt src/libraries/stdlib/FCHashtbl.cmx Ocamlopt src/libraries/utils/qstack.cmx Ocamlopt src/libraries/utils/utf8_logic.cmx Ocamlopt src/plugins/aorai/ltl_output.cmx Ocamlopt src/libraries/utils/bitvector.cmx Linking bin/ptests.opt Ocamlc src/libraries/datatype/type.cmi Ocamlc src/libraries/project/project_skeleton.cmi Ocamlc src/kernel_services/ast_data/cil_types.cmi 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 Ocamlc src/kernel_services/cmdline_parameters/cmdline.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/plugins/aorai/ltl_output.cmo Ocamlopt src/libraries/datatype/type.cmx Ocamlopt src/libraries/stdlib/extlib.cmx Ocamlc src/kernel_services/plugin_entry_points/journal.cmi 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/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/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/parsetree/logic_ptree.cmi Ocamlc src/libraries/datatype/descr.cmi Ocamlc src/kernel_services/ast_printing/printer_api.cmi Ocamlc src/kernel_internals/typing/cfg.cmi Ocamlopt src/libraries/utils/pretty_utils.cmx Ocamlopt src/libraries/utils/filepath.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/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_services/ast_printing/printer.cmi Ocamlc src/kernel_internals/parsing/logic_parser.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 Ocamlopt src/kernel_services/plugin_entry_points/log.cmx Ocamlopt src/kernel_internals/runtime/config.cmx Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx Ocamlc src/kernel_services/ast_printing/cprint.cmi Ocamlopt src/plugins/aorai/ltlparser.cmx 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_queries/logic_typing.cmi Ocamlc src/plugins/aorai/promelaoutput.cmi Ocamlc src/plugins/aorai/logic_simplification.cmi Ocamlc src/kernel_internals/parsing/logic_lexer.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/wto_statement.cmi Ocamlc src/kernel_services/abstract_interp/int_Base.cmi Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi Ocamlc src/kernel_services/abstract_interp/lattice_type.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 Ocamlc src/libraries/project/state_topological.cmi Ocamlopt src/kernel_services/parsetree/cabs.cmx Ocamlc src/kernel_services/parsetree/cabshelper.cmi Ocamlc src/libraries/utils/rangemap.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/analysis/dataflow2.cmi Ocamlc src/kernel_services/abstract_interp/origin.cmi Ocamlc src/kernel_services/abstract_interp/bottom.cmi Ocamlopt src/plugins/aorai/ltllexer.cmx Ocamlc src/libraries/project/project.cmi Ocamlc src/libraries/utils/hptmap.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi Ocamlopt src/libraries/project/project_skeleton.cmx Ocamlopt src/libraries/utils/binary_cache.cmx Ocamlc src/libraries/project/state_builder.cmi Ocamlc src/libraries/utils/hptset.cmi Ocamlopt src/libraries/datatype/datatype.cmx Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi Ocamlc src/kernel_services/ast_queries/cil_state_builder.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/fval.cmi Ocamlc src/kernel_services/ast_data/property_status.cmi Ocamlc src/kernel_services/analysis/bit_utils.cmi Ocamlc src/kernel_services/ast_data/annotations.cmi Ocamlc src/kernel_services/abstract_interp/ival.cmi Ocamlc src/kernel_services/ast_data/alarms.cmi Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.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_services/ast_queries/logic_const.cmi Ocamlc src/kernel_internals/typing/cabs2cil.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 Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi Ocamlc src/kernel_services/visitors/cabsvisit.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/aorai_utils.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi Ocamlc src/plugins/aorai/aorai_option.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 Ocamlopt src/libraries/project/state.cmx Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx Ocamlopt src/libraries/utils/rangemap.cmx Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx Ocamlc src/kernel_internals/parsing/lexerhack.cmo Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo Ocamlopt src/kernel_services/abstract_interp/bottom.cmx 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/int_Intervals.cmi Ocamlopt src/libraries/project/state_dependency_graph.cmx Ocamlopt src/libraries/project/state_topological.cmx Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx 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 /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c *** Error code 1 Stop. make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c