=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> 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-20170501nb35 Ocamllex src/libraries/utils/json.ml 36 states, 360 transitions, table size 1656 bytes Ocamllex src/kernel_internals/parsing/logic_lexer.ml Ocamllex src/kernel_internals/parsing/clexer.ml Ocamlyacc src/kernel_internals/parsing/cparser.ml 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 share/frama-c.rc Generating src/kernel_internals/runtime/config.ml Generating share/Makefile.kernel Generating share/Makefile.dynamic_config 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/report/.Makefile.plugin.generated Generating src/plugins/obfuscator/.Makefile.plugin.generated Generating src/plugins/nonterm/.Makefile.plugin.generated Generating src/plugins/print_api/.Makefile.plugin.generated Generating src/plugins/loop_analysis/.Makefile.plugin.generated Generating src/plugins/e-acsl/.Makefile.plugin.generated Generating src/plugins/aorai/.Makefile.plugin.generated Generating src/plugins/slicing/.Makefile.plugin.generated Generating src/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/inout/.Makefile.plugin.generated Generating src/plugins/constant_propagation/.Makefile.plugin.generated Generating src/plugins/postdominators/.Makefile.plugin.generated Generating src/plugins/users/.Makefile.plugin.generated Generating src/plugins/rte/.Makefile.plugin.generated Generating src/plugins/occurrence/.Makefile.plugin.generated Generating src/plugins/from/.Makefile.plugin.generated Generating src/plugins/value/.Makefile.plugin.generated Generating src/plugins/callgraph/.Makefile.plugin.generated Generating src/kernel_internals/runtime/frama_c_config.ml Generating src/plugins/metrics/.Makefile.plugin.generated Generating .depend Ocamllex src/plugins/wp/why3_xml.ml Ocamllex src/plugins/wp/script.ml Ocamllex src/plugins/wp/rformat.ml Ocamllex src/plugins/wp/driver.ml 114 states, 1396 transitions, table size 6268 bytes 3538 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 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 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 8 states, 264 transitions, table size 1104 bytes Ocamllex src/plugins/aorai/promelalexer_withexps.ml 100 states, 4420 transitions, table size 18280 bytes Ocamllex src/plugins/aorai/promelalexer.ml Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml 85 states, 4392 transitions, table size 18078 bytes 4 shift/reduce conflictsOcamlyacc src/plugins/aorai/promelaparser.ml . Ocamllex src/plugins/aorai/ltllexer.ml 82 states, 3369 transitions, table size 13968 bytes Ocamlyacc src/plugins/aorai/ltlparser.ml 7 shift/reduce conflicts. Ocamllex src/plugins/aorai/yalexer.ml 73 states, 2302 transitions, table size 9646 bytes Ocamlyacc src/plugins/aorai/yaparser.ml 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/Metrics.mli 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/RteGen.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/From.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/Constant_Propagation.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/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/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/Aorai.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/E_ACSL.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/LoopAnalysis.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/Report.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/Obfuscator.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/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/Impact.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/Postdominators.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/Constant_Propagation.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/From.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/Value.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/Wp.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/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/Wp.mli Ocamldep src/plugins/report/.depend Ocamldep src/plugins/obfuscator/.depend Ocamldep src/plugins/nonterm/.depend Ocamldep src/plugins/loop_analysis/.depend Ocamldep src/plugins/aorai/.depend Ocamldep src/plugins/e-acsl/.depend Ocamldep src/plugins/slicing/.depend Ocamldep src/plugins/sparecode/.depend Ocamldep src/plugins/scope/.depend Ocamldep src/plugins/pdg/.depend Ocamldep src/plugins/inout/.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/rte/.depend Ocamldep src/plugins/occurrence/.depend Ocamldep src/plugins/value/.depend Ocamldep src/plugins/callgraph/.depend Ocamldep src/plugins/metrics/.depend Ocamldep src/plugins/wp/.depend Ocamldep src/plugins/print_api/.depend Ocamldep src/plugins/variadic/.depend Ocamlc src/libraries/datatype/unmarshal.cmi Ocamlc src/plugins/aorai/bool3.cmi Ocamlc src/libraries/stdlib/FCSet.cmi Generating META.frama-c-aorai ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/pretty_utils.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/stdlib/FCMap.cmi Ocamlc src/libraries/stdlib/extlib.cmi Ocamlc src/libraries/stdlib/FCHashtbl.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/ltlast.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/wto.cmi Ocamlc src/plugins/aorai/aorai_dataflow.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/filepath.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/escape.cmi Ocamlc src/libraries/utils/hook.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/value_types/cilE.cmi Ocamlopt src/plugins/aorai/bool3.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/datatype/unmarshal.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/stdlib/transitioning.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/stdlib/FCSet.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/stdlib/FCBuffer.cmi Ocamlopt src/libraries/utils/hook.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/runtime/config.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/stdlib/FCMap.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/qstack.cmi Ocamlc src/libraries/utils/binary_cache.cmi Ocamlc src/libraries/utils/utf8_logic.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/utils/escape.cmx Ocamlc src/kernel_internals/typing/alpha.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/parsing/errorloc.cmi Ocamlopt src/libraries/utils/wto.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/bitvector.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/unicode.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Generating ptests/ptests_config.ml Generating src/plugins/e-acsl/tests/ptests_config Generating src/plugins/report/tests/ptests_config Generating tests/ptests_config Generating src/plugins/wp/tests/ptests_config Ocamlc src/plugins/aorai/bool3.cmo Ocamlc src/libraries/datatype/structural_descr.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/plugin_entry_points/log.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/stdlib/integer.cmi Ocamlc src/plugins/aorai/ltl_output.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/datatype/structural_descr.cmx Ocamlopt src/libraries/stdlib/transitioning.cmx Ocamlopt src/libraries/stdlib/FCBuffer.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/stdlib/integer.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/stdlib/FCHashtbl.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/utils/qstack.cmx Ocamlopt src/libraries/utils/utf8_logic.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/plugins/aorai/ltl_output.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/utils/bitvector.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Linking bin/ptests.opt ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/datatype/type.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/project/project_skeleton.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_data/cil_types.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/cmdline_parameters/cmdline.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 ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/ltl_output.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/datatype/type.cmx 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 ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/stdlib/extlib.cmx Ocamlc src/kernel_services/plugin_entry_points/journal.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/floating_point.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 ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/runtime/machdeps.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/ast_info.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/analysis/ordered_stmt.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/analysis/undefined_sequence.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/typing/rmtmps.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/typing/oneret.cmi Ocamlc src/kernel_internals/typing/mergecil.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/typing/logic_builtin.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/plugins/value_types/cilE.cmx Ocamlc src/libraries/datatype/descr.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/parsetree/logic_ptree.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_printing/printer_api.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/typing/cfg.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/utils/pretty_utils.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/utils/filepath.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/datatype/descr.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_printing/printer_builder.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_printing/cil_printer.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/kernel_internals/runtime/machdeps.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_printing/logic_print.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/datatype/datatype.cmi Ocamlc src/kernel_services/parsetree/cabs.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/promelaast.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_printing/printer.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/parsing/logic_parser.cmi Ocamlc src/kernel_internals/parsing/cparser.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/ltlparser.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/yaparser.cmi Ocamlc src/plugins/aorai/promelaparser.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/promelaparser_withexps.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/kernel_services/plugin_entry_points/log.cmx Ocamlopt src/kernel_internals/runtime/config.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_printing/cprint.cmi Ocamlopt src/plugins/aorai/ltlparser.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/typing/frontc.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/project/state.cmi Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/logic_typing.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/promelaoutput.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/logic_simplification.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/parsing/logic_lexer.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/parsing/clexer.cmi Ocamlc src/kernel_services/ast_data/ast.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/ltlparser.cmo Ocamlc src/plugins/aorai/ltllexer.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/yalexer.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/analysis/wto_statement.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf 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/kernel_services/abstract_interp/int_Base.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx Ocamlc src/libraries/project/state_dependency_graph.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/project/state_topological.cmi Ocamlopt src/kernel_services/parsetree/cabs.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/parsetree/cabshelper.cmi Ocamlc src/libraries/utils/rangemap.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/project/state_selection.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/hptmap_sig.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_data/globals.cmi Ocamlc src/kernel_services/analysis/dataflow2.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/origin.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/bottom.cmi Ocamlopt src/plugins/aorai/ltllexer.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/project/project.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/hptmap.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/project/project_skeleton.cmx Ocamlopt src/libraries/utils/binary_cache.cmx Ocamlc src/libraries/project/state_builder.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/hptset.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/datatype/datatype.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/logic_env.cmi Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/cil_const.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_data/annotations.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_data/property_status.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/analysis/bit_utils.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/fval.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_data/alarms.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/ival.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/base.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_data/kernel_function.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/cil.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/logic_const.cmi Ocamlc src/kernel_internals/typing/cabs2cil.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/data_for_aorai.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/visitors/cabsvisit.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/logic_utils.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/visitors/visitor.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/aorai_utils.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi Ocamlopt src/libraries/project/state.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/utils/rangemap.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/kernel_services/abstract_interp/bottom.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/aorai/aorai_option.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/filecheck.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_services/ast_queries/file.cmi Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/project/state_dependency_graph.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/libraries/project/state_topological.cmx Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/parsing/lexerhack.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf 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