+ case "${usergroup_phase}" in + local run_cmd + run_cmd=run_su + shift + run_su /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/frama-c-20170501nb35/work.log + su pbulk -c '"$@"' make /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/frama-c-20170501nb35/work.log => Bootstrap dependency digest>=20211023: found digest-20220214 ===> Building for frama-c-20170501nb35 Ocamllex src/kernel_internals/parsing/clexer.ml Ocamllex src/libraries/utils/json.ml 36 states, 360 transitions, table size 1656 bytes Ocamlyacc src/kernel_internals/parsing/cparser.ml Ocamllex src/kernel_internals/parsing/logic_lexer.ml 381 states, 4411 transitions, table size 19930 bytes 3329 additional bytes used for bindings Ocamlyacc src/kernel_internals/parsing/logic_parser.ml 148 states, 1842 transitions, table size 8256 bytes 1933 additional bytes used for bindings Ocamllex src/kernel_internals/parsing/logic_preprocess.ml 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/report/.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/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/postdominators/.Makefile.plugin.generated Generating src/plugins/constant_propagation/.Makefile.plugin.generated Generating src/plugins/users/.Makefile.plugin.generated Generating src/plugins/from/.Makefile.plugin.generated Generating src/plugins/rte/.Makefile.plugin.generated Generating src/plugins/occurrence/.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/script.ml Ocamllex src/plugins/wp/rformat.ml 57 states, 826 transitions, table size 3646 bytes 31 states, 1109 transitions, table size 4622 bytes 4393 additional bytes used for bindings Ocamllex src/plugins/wp/driver.ml Ocamllex src/plugins/wp/why3_xml.ml 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 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 8 states, 264 transitions, table size 1104 bytes Generating src/plugins/e-acsl/local_config.ml Ocamllex src/plugins/aorai/promelalexer_withexps.ml 100 states, 4420 transitions, table size 18280 bytes Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml 4 shift/reduce conflicts. Ocamllex src/plugins/aorai/promelalexer.ml 85 states, 4392 transitions, table size 18078 bytes Ocamlyacc 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 /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli Generating /home/pbulk/build/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/metrics/.depend Ocamldep src/plugins/wp/.depend Generating META.frama-c-aorai Ocamlc src/plugins/aorai/bool3.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/datatype/unmarshal.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/stdlib/FCSet.cmi 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 ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/stdlib/FCHashtbl.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/stdlib/extlib.cmi 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 ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf 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 Ocamlc src/libraries/utils/escape.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/hook.cmi Ocamlc src/plugins/value_types/cilE.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 META.frama-c-e_acsl Ocamlc src/plugins/e-acsl/local_config.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/e-acsl/error.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Generating META.frama-c-loopanalysis Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Generating META.frama-c-nonterm Generating META.frama-c-obfuscator Ocamlc src/plugins/obfuscator/obfuscate.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Generating META.frama-c-print_api Ocamlc src/plugins/print_api/grammar.cmi Ocamlc src/libraries/stdlib/transitioning.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/runtime/config.cmi Generating META.frama-c-report ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/report/csv.cmi Ocamlc src/plugins/report/register.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 META.frama-c-variadic Ocamlc src/plugins/variadic/format_types.cmi Generating META.frama-c-wp ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/wp/rformat.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/libraries/utils/command.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Compiling Qed (byte) Ocamlc src/libraries/utils/bag.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/wp/Warning.cmi 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/plugins/wp/VCS.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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/plugins/wp/script.cmi File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. 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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/plugins/wp/wpReport.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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/libraries/utils/vector.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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/libraries/utils/json.cmi ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. 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/wp/why3_xml.cmi File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. 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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/libraries/utils/task.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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/kernel_internals/typing/alpha.cmi File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. 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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. 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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Generation of the extra-config for why3 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/kernel_internals/runtime/frama_c_init.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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/libraries/stdlib/transitioning.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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/libraries/stdlib/FCSet.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. 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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/libraries/stdlib/FCMap.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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/libraries/stdlib/FCBuffer.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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/libraries/stdlib/FCHashtbl.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 File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. File "_none_", line 1: Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters, like 'PSUZ', is deprecated. Use the equivalent signed form: +P+S+U+Z+7-3. Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. Ocamlc src/libraries/stdlib/extlib.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf 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 make[1]: *** [numbers.cmo] Error 2 make: *** [src/plugins/wp/qed/bin/Qed.cmo] Error 2 make: *** Waiting for unfinished jobs.... 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 *** Error code 2 Stop. bmake[1]: stopped in /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c *** Error code 1 Stop. bmake: stopped in /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c