+ case "${usergroup_phase}" in + local run_cmd + run_cmd=run_su + shift + run_su /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/why3-1.5.1nb1/work.log + su pbulk -c '"$@"' make /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/why3-1.5.1nb1/work.log ===> Building for why3-1.5.1nb1 cmp -s src/util/mysexplib-dummy.ml src/util/mysexplib.ml || cp src/util/mysexplib-dummy.ml src/util/mysexplib.ml Generate src/util/config.ml Ocamllex src/util/rc.mll Ocamllex src/util/lexlib.mll 48 states, 1889 transitions, table size 7844 bytes 3073 additional bytes used for bindings 39 states, 600 transitions, table size 2634 bytes 1338 additional bytes used for bindings Menhir src/util/json_parser.mly Ocamllex src/util/json_lexer.mll cmp -s src/util/mlmpfr_dummy.ml src/util/mlmpfr_wrapper.ml || cp src/util/mlmpfr_dummy.ml src/util/mlmpfr_wrapper.ml 52 states, 495 transitions, table size 2292 bytes cmp -s src/util/dynlink_new.ml src/util/dynlink_wrapper.ml || cp src/util/dynlink_new.ml src/util/dynlink_wrapper.ml Ocamllex src/parser/lexer.mll 158 states, 4359 transitions, table size 18384 bytes 7555 additional bytes used for bindings Menhir src/parser/parser_common.mly Menhir src/parser/parser_common.mly src/parser/parser.mly Menhir src/driver/driver_parser.mly Ocamllex src/driver/driver_lexer.mll 34 states, 1366 transitions, table size 5668 bytes Ocamllex src/driver/sexp.mll 27 states, 306 transitions, table size 1386 bytes cmp -s src/session/compress_none.ml src/session/compress.ml || cp src/session/compress_none.ml src/session/compress.ml Ocamllex src/session/xml.mll Read 3 sample input sentences and 3 error messages. 117 states, 1396 transitions, table size 6286 bytes 3556 additional bytes used for bindings menhir --explain --strict src/parser/parser_common.mly src/parser/parser.mly --base src/parser/parser --compile-errors \ src/parser/handcrafted.messages > src/parser/parser_messages.ml cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml src/util/re.ml Ocamllex src/session/strategy_parser.mll 47 states, 678 transitions, table size 2994 bytes 2153 additional bytes used for bindings Ocamllex plugins/tptp/tptp_lexer.mll Menhir plugins/tptp/tptp_parser.mly 101 states, 1563 transitions, table size 6858 bytes 3126 additional bytes used for bindings Ocamllex plugins/python/py_lexer.mll 69 states, 1256 transitions, table size 5438 bytes 1453 additional bytes used for bindings Ocamllex plugins/microc/mc_lexer.mll Menhir plugins/python/py_parser.mly Read 3 sample input sentences and 3 error messages. 77 states, 473 transitions, table size 2354 bytes 1504 additional bytes used for bindings Menhir plugins/microc/mc_parser.mly Ocamllex plugins/cfg/cfg_lexer.mll Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly 155 states, 4342 transitions, table size 18298 bytes 7537 additional bytes used for bindings Ocamllex plugins/parser/dimacs.mll Ocamllex src/tools/why3wc.mll 34 states, 434 transitions, table size 1940 bytes 1293 additional bytes used for bindings 307 states, 15627 transitions, table size 64350 bytes Ocamldep src/ide/wserver.ml Ocamldep src/ide/why3web.ml Ocamldep src/why3session/why3session_lib.ml Ocamldep src/why3session/why3session_info.ml Ocamldep src/why3session/why3session_html.ml Ocamldep src/why3session/why3session_latex.ml Ocamldep src/why3session/why3session_update.ml Ocamldep src/why3session/why3session_main.ml Ocamldep src/tools/why3shell.ml Coqdep lib/coq/BuiltIn.v Coqdep lib/coq/HighOrd.v Coqdep lib/coq/int/Exponentiation.v Coqdep lib/coq/int/Abs.v Coqdep lib/coq/int/ComputerDivision.v Coqdep lib/coq/int/Div2.v Coqdep lib/coq/int/EuclideanDivision.v Coqdep lib/coq/int/Int.v Coqdep lib/coq/int/MinMax.v Coqdep lib/coq/int/Power.v Coqdep lib/coq/int/NumOf.v Coqdep lib/coq/bool/Bool.v Coqdep lib/coq/real/Abs.v Coqdep lib/coq/real/ExpLog.v Coqdep lib/coq/real/FromInt.v Coqdep lib/coq/real/MinMax.v Coqdep lib/coq/real/PowerInt.v Coqdep lib/coq/real/PowerReal.v Coqdep lib/coq/real/Real.v Coqdep lib/coq/real/RealInfix.v Coqdep lib/coq/real/Square.v Coqdep lib/coq/real/Trigonometry.v Coqdep lib/coq/number/Divisibility.v Coqdep lib/coq/number/Gcd.v Coqdep lib/coq/number/Parity.v Coqdep lib/coq/number/Prime.v Coqdep lib/coq/number/Coprime.v Coqdep lib/coq/set/Set.v Coqdep lib/coq/set/Cardinal.v Coqdep lib/coq/set/Fset.v Coqdep lib/coq/set/FsetInduction.v Coqdep lib/coq/set/FsetInt.v Coqdep lib/coq/set/FsetSum.v Coqdep lib/coq/set/SetApp.v Coqdep lib/coq/set/SetAppInt.v Coqdep lib/coq/set/SetImp.v Coqdep lib/coq/set/SetImpInt.v Coqdep lib/coq/map/Map.v Coqdep lib/coq/map/Const.v Coqdep lib/coq/map/Occ.v Coqdep lib/coq/map/MapPermut.v Coqdep lib/coq/map/MapInjection.v Coqdep lib/coq/list/List.v Coqdep lib/coq/list/Length.v Coqdep lib/coq/list/Mem.v Coqdep lib/coq/list/Nth.v Coqdep lib/coq/list/NthLength.v Coqdep lib/coq/list/HdTl.v Coqdep lib/coq/list/NthHdTl.v Coqdep lib/coq/list/Append.v Coqdep lib/coq/list/NthLengthAppend.v Coqdep lib/coq/list/Reverse.v Coqdep lib/coq/list/HdTlNoOpt.v Coqdep lib/coq/list/NthNoOpt.v Coqdep lib/coq/list/RevAppend.v Coqdep lib/coq/list/Combine.v Coqdep lib/coq/list/Distinct.v Coqdep lib/coq/list/NumOcc.v Coqdep lib/coq/list/Permut.v Coqdep lib/coq/option/Option.v Coqdep lib/coq/bv/Pow2int.v Coqdep lib/coq/bv/BV_Gen.v Coqdep lib/coq/for_drivers/ComputerOfEuclideanDivision.v Ocamldep src/isabelle-client/isabelle_client_main.ml cmp -s src/tools/why3pp_sexp-dummy.ml src/tools/why3pp_sexp.ml || cp src/tools/why3pp_sexp-dummy.ml src/tools/why3pp_sexp.ml Ocamllex src/why3doc/doc_lexer.mll 120 states, 685 transitions, table size 3460 bytes 1763 additional bytes used for bindings cp src/util/json_base.ml src/trywhy3/json_base.ml cp src/util/json_base.mli src/trywhy3/json_base.mli cp src/util/json_parser.ml src/trywhy3/json_parser.ml cp src/util/json_lexer.ml src/trywhy3/json_lexer.ml cp src/util/json_parser.mli src/trywhy3/json_parser.mli cp src/util/json_lexer.mli src/trywhy3/json_lexer.mli Ocamldep src/util/mysexplib.ml Ocamldep src/util/config.ml Ocamldep src/util/bigInt.ml Ocamldep src/util/mlmpfr_wrapper.ml Ocamldep src/util/util.ml Ocamldep src/util/opt.ml Ocamldep src/util/lists.ml Ocamldep src/util/strings.ml Ocamldep src/util/pp.ml Ocamldep src/util/extmap.ml Ocamldep src/util/extset.ml Ocamldep src/util/exthtbl.ml Ocamldep src/util/weakhtbl.ml Ocamldep src/util/diffmap.ml Ocamldep src/util/hashcons.ml Ocamldep src/util/wstdlib.ml Ocamldep src/util/exn_printer.ml Ocamldep src/util/getopt.ml Ocamldep src/util/json_base.ml Ocamldep src/util/json_parser.ml Ocamldep src/util/json_lexer.ml Ocamldep src/util/debug.ml Ocamldep src/util/loc.ml Ocamldep src/util/lexlib.ml Ocamldep src/util/print_tree.ml Ocamldep src/util/dynlink_wrapper.ml Ocamldep src/util/cmdline.ml Ocamldep src/util/warning.ml Ocamldep src/util/sysutil.ml Ocamldep src/util/rc.ml Ocamldep src/util/plugin.ml Ocamldep src/util/constant.ml Ocamldep src/util/vector.ml Ocamldep src/util/number.ml Ocamldep src/util/pqueue.ml Ocamldep src/util/re.ml Ocamldep src/core/ident.ml Ocamldep src/core/ty.ml Ocamldep src/core/term.ml Ocamldep src/core/pattern.ml Ocamldep src/core/decl.ml Ocamldep src/core/coercion.ml Ocamldep src/core/theory.ml Ocamldep src/core/parser_tokens.ml Ocamldep src/core/keywords.ml Ocamldep src/core/task.ml Ocamldep src/core/dterm.ml Ocamldep src/core/pretty.ml Ocamldep src/core/env.ml Ocamldep src/core/trans.ml Ocamldep src/core/printer.ml Ocamldep src/core/model_parser.ml Ocamldep src/driver/prove_client.ml Ocamldep src/driver/call_provers.ml Ocamldep src/driver/driver_parser.ml Ocamldep src/driver/driver_lexer.ml Ocamldep src/driver/driver.ml Ocamldep src/driver/whyconf.ml Ocamldep src/driver/autodetection.ml Ocamldep src/driver/smtv2_model_defs.ml Ocamldep src/driver/collect_data_model.ml Ocamldep src/driver/sexp.ml Ocamldep src/driver/smtv2_model_parser.ml Ocamldep src/mlw/ity.ml Ocamldep src/mlw/expr.ml Ocamldep src/mlw/pdecl.ml Ocamldep src/mlw/eval_match.ml Ocamldep src/mlw/typeinv.ml Ocamldep src/mlw/vc.ml Ocamldep src/mlw/pmodule.ml Ocamldep src/mlw/dexpr.ml Ocamldep src/mlw/big_real.ml Ocamldep src/mlw/pinterp_core.ml Ocamldep src/mlw/rac.ml Ocamldep src/mlw/pinterp.ml Ocamldep src/mlw/check_ce.ml Ocamldep src/extract/mltree.ml Ocamldep src/extract/compile.ml Ocamldep src/extract/mlinterp.ml Ocamldep src/extract/pdriver.ml Ocamldep src/extract/ml_printer.ml Ocamldep src/extract/c.ml Ocamldep src/extract/ocaml.ml Ocamldep src/extract/cakeml.ml Ocamldep src/parser/ptree_helpers.ml Ocamldep src/parser/ptree.ml Ocamldep src/parser/glob.ml Ocamldep src/parser/typing.ml Ocamldep src/parser/parser_messages.ml Ocamldep src/parser/parser.ml Ocamldep src/parser/report.ml Ocamldep src/parser/lexer.ml Ocamldep src/parser/mlw_printer.ml Ocamldep src/transform/simplify_formula.ml Ocamldep src/transform/inlining.ml Ocamldep src/transform/split_goal.ml Ocamldep src/transform/args_wrapper.ml Ocamldep src/transform/detect_polymorphism.ml Ocamldep src/transform/reduction_engine.ml Ocamldep src/transform/compute.ml Ocamldep src/transform/eliminate_definition.ml Ocamldep src/transform/eliminate_algebraic.ml Ocamldep src/transform/abstract_quantifiers.ml Ocamldep src/transform/eliminate_unknown_types.ml Ocamldep src/transform/eliminate_unknown_lsymbols.ml Ocamldep src/transform/eliminate_symbol.ml Ocamldep src/transform/eliminate_let.ml Ocamldep src/transform/eliminate_inductive.ml Ocamldep src/transform/eliminate_if.ml Ocamldep src/transform/libencoding.ml Ocamldep src/transform/discriminate.ml Ocamldep src/transform/encoding.ml Ocamldep src/transform/encoding_select.ml Ocamldep src/transform/encoding_guards_full.ml Ocamldep src/transform/encoding_guards.ml Ocamldep src/transform/encoding_tags.ml Ocamldep src/transform/encoding_tags_full.ml Ocamldep src/transform/encoding_twin.ml Ocamldep src/transform/encoding_sort.ml Ocamldep src/transform/simplify_array.ml Ocamldep src/transform/filter_trigger.ml Ocamldep src/transform/abstraction.ml Ocamldep src/transform/close_epsilon.ml Ocamldep src/transform/lift_epsilon.ml Ocamldep src/transform/eliminate_epsilon.ml Ocamldep src/transform/intro_projections_counterexmp.ml Ocamldep src/transform/instantiate_predicate.ml Ocamldep src/transform/smoke_detector.ml Ocamldep src/transform/prop_curry.ml Ocamldep src/transform/eliminate_literal.ml Ocamldep src/transform/generic_arg_trans_utils.ml Ocamldep src/transform/case.ml Ocamldep src/transform/apply.ml Ocamldep src/transform/subst.ml Ocamldep src/transform/introduction.ml Ocamldep src/transform/ind_itp.ml Ocamldep src/transform/destruct.ml Ocamldep src/transform/cut.ml Ocamldep src/transform/congruence.ml Ocamldep src/transform/intro_vc_vars_counterexmp.ml Ocamldep src/transform/prepare_for_counterexmp.ml Ocamldep src/transform/induction.ml Ocamldep src/transform/induction_pr.ml Ocamldep src/transform/reflection.ml Ocamldep src/printer/cntexmp_printer.ml Ocamldep src/printer/alt_ergo.ml Ocamldep src/printer/why3printer.ml Ocamldep src/printer/smtv1.ml Ocamldep src/printer/smtv2.ml Ocamldep src/printer/coq.ml Ocamldep src/printer/pvs.ml Ocamldep src/printer/isabelle.ml Ocamldep src/printer/simplify.ml Ocamldep src/printer/gappa.ml Ocamldep src/printer/cvc3.ml Ocamldep src/printer/yices.ml Ocamldep src/printer/mathematica.ml Ocamldep src/session/compress.ml Ocamldep src/session/xml.ml Ocamldep src/session/termcode.ml Ocamldep src/session/session_itp.ml Ocamldep src/session/strategy.ml Ocamldep src/session/strategy_parser.ml Ocamldep src/session/controller_itp.ml Ocamldep src/session/server_utils.ml Ocamldep src/session/itp_communication.ml Ocamldep src/session/itp_server.ml Ocamldep src/session/json_util.ml Ocamldep src/session/unix_scheduler.ml Ocamldep src/driver/driver_ast.mli Ocamldep plugins/parser/genequlin.ml Ocamldep plugins/parser/dimacs.ml Ocamldep plugins/transform/hypothesis_selection.ml Ocamldep plugins/tptp/tptp_parser.ml Ocamldep plugins/tptp/tptp_typing.ml Ocamldep plugins/tptp/tptp_printer.ml Ocamldep plugins/python/py_parser.ml Ocamldep plugins/python/py_lexer.ml Ocamldep plugins/python/py_main.ml Ocamldep plugins/microc/mc_parser.ml Ocamldep plugins/microc/mc_lexer.ml Ocamldep plugins/microc/mc_printer.ml Ocamldep plugins/tptp/tptp_lexer.ml Ocamldep plugins/microc/mc_main.ml Ocamldep plugins/cfg/cfg_parser.ml Ocamldep plugins/cfg/cfg_lexer.ml Ocamldep plugins/cfg/cfg_paths.ml Ocamldep plugins/cfg/cfg_main.ml Ocamldep plugins/cfg/stackify.ml Ocamldep plugins/cfg/cfg_stackify.ml Ocamldep plugins/tptp/tptp_ast.mli Ocamldep plugins/python/py_ast.mli Ocamldep plugins/microc/mc_ast.mli Ocamldep plugins/cfg/cfg_ast.mli Ocamldep src/tools/main.ml Ocamldep src/tools/why3config.ml Ocamldep src/tools/why3execute.ml Ocamldep src/tools/why3extract.ml Ocamldep src/tools/why3prove.ml Ocamldep src/tools/why3realize.ml Ocamldep src/tools/why3replay.ml Ocamldep src/tools/why3show.ml Ocamldep src/tools/why3wc.ml Ocamldep src/tools/why3pp_sexp.ml Ocamldep src/tools/why3pp.ml Ocamldep src/why3doc/doc_html.ml Ocamldep src/why3doc/doc_def.ml Ocamldep src/why3doc/doc_lexer.ml Ocamldep src/why3doc/doc_main.ml Ocamldep src/trywhy3/json_base.ml Ocamldep src/trywhy3/json_parser.ml Ocamldep src/trywhy3/bindings.ml Ocamldep src/trywhy3/json_lexer.ml Ocamldep src/trywhy3/shortener.ml Ocamldep src/trywhy3/trywhy3.ml Ocamldep src/trywhy3/why3_worker.ml Ocamldep src/trywhy3/worker_proto.ml mkdir lib/plugins Ocamlc src/util/mysexplib.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/config.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/bigInt.mli Ocamlc src/util/mlmpfr_wrapper.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/util.mli File "src/util/mysexplib.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/opt.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/lists.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/util/util.mli", line 110, characters 22-52: 110 | val ansi_color_tags : Format.formatter_tag_functions ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Format.formatter_tag_functions Use formatter_stag_functions. Ocamlc src/util/strings.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/pp.mli Ocamlc src/util/extmap.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/exthtbl.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/weakhtbl.mli File "src/util/pp.mli", line 122, characters 33-51: 122 | ('b, formatter, unit, string) Pervasives.format4 -> 'b ^^^^^^^^^^^^^^^^^^ 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 File "src/util/pp.mli", line 125, characters 33-51: 125 | ('b, formatter, unit, string) Pervasives.format4 -> 'b ^^^^^^^^^^^^^^^^^^ 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 /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/hashcons.mli Ocamlc src/util/exn_printer.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/getopt.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/json_base.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/loc.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/lexlib.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/print_tree.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/dynlink_wrapper.mli Ocamlc src/util/cmdline.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/warning.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/sysutil.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/number.mli Ocamlc src/util/vector.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/pqueue.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/re.ml Ocamlc src/driver/prove_client.mli Ocamlc src/driver/driver_ast.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/driver/sexp.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/driver/smtv2_model_parser.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/mlw/big_real.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/util/re.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file. Linking src/util/ppx_debug_optim findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /opt/pkg/lib/ocaml, /opt/pkg/lib/ocaml/compiler-libs ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/extract/c.mli Ocamlc src/extract/ocaml.mli Ocamlc src/extract/cakeml.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/parser/parser_messages.mli Ocamlc src/transform/abstract_quantifiers.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/eliminate_unknown_types.mli Ocamlc src/transform/eliminate_unknown_lsymbols.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/eliminate_symbol.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/encoding_select.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/encoding_guards_full.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/encoding_tags_full.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/encoding_guards.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/encoding_tags.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/encoding_twin.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/encoding_sort.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/simplify_array.mli Ocamlc src/transform/filter_trigger.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/lift_epsilon.mli Ocamlc src/transform/instantiate_predicate.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/prop_curry.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/case.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/congruence.mli Ocamlc src/transform/induction.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/transform/induction_pr.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/alt_ergo.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/why3printer.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/smtv1.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/smtv2.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/coq.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/pvs.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/isabelle.mli Ocamlc src/printer/simplify.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/gappa.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/cvc3.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/yices.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/printer/mathematica.mli Ocamlc src/session/compress.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/session/xml.mli Ocamlc src/session/unix_scheduler.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/config.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/bigInt.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/mlmpfr_wrapper.ml Ocamlc src/util/util.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/opt.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/lists.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/strings.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/pp.ml Ocamlc src/util/extmap.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/exthtbl.ml Ocamlc src/util/weakhtbl.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/hashcons.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/util/weakhtbl.ml", line 98, characters 13-19: 98 | let iter = H.iter ^^^^^^ Alert old_ephemeron_api: H.iter This function won't be available in 5.0 File "src/util/weakhtbl.ml", line 99, characters 13-19: 99 | let fold = H.fold ^^^^^^ Alert old_ephemeron_api: H.fold This function won't be available in 5.0 File "src/util/weakhtbl.ml", line 101, characters 19-25: 101 | let iterk fn t = H.iter (fun k _ -> fn k) t ^^^^^^ Alert old_ephemeron_api: H.iter This function won't be available in 5.0 File "src/util/weakhtbl.ml", line 102, characters 19-25: 102 | let foldk fn t = H.fold (fun k _ -> fn k) t ^^^^^^ Alert old_ephemeron_api: H.fold This function won't be available in 5.0 Ocamlc src/util/exn_printer.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/getopt.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/json_base.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/lexlib.ml Ocamlc src/util/print_tree.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/cmdline.ml Ocamlc src/util/dynlink_wrapper.ml Ocamlc src/util/warning.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/sysutil.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/vector.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/pqueue.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/util/vector.ml", line 22, characters 22-30: 22 | let create ?capacity:(capacity: (int) option) ~dummy:(dummy: 'a) : 'a t = ^^^^^^^^ Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. Ocamlc src/driver/prove_client.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/driver/sexp.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/mlw/big_real.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/parser/parser_messages.ml Ocamlc src/session/compress.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/session/unix_scheduler.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/session/compress_none.ml", line 43, characters 23-33: 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 File "src/session/compress_none.ml", line 45, characters 20-30: 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 plugins/parser/genequlin.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc plugins/parser/dimacs.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc plugins/tptp/tptp_printer.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc plugins/python/py_main.mli Ocamlc plugins/microc/mc_main.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/tools/main.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/tools/why3config.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/tools/why3execute.mli Ocamlc src/tools/why3extract.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/tools/why3prove.mli Ocamlc src/tools/why3realize.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/tools/why3replay.mli Ocamlc src/tools/why3show.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/tools/why3wc.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/ide/wserver.mli Ocamlc src/ide/why3web.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/why3session/why3session_main.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/tools/why3shell.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/ide/wserver.mli", line 71, characters 35-43: 71 | val get_request_and_content : char Stream.t -> string list * string ^^^^^^^^ Alert deprecated: module Stdlib.Stream Use the camlp-streams library instead. Ocamlc src/isabelle-client/isabelle_client_main.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/tools/why3pp.mli Ocamlc src/why3doc/doc_html.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/why3doc/doc_lexer.mli Ocamlc src/why3doc/doc_main.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf gcc -Wall -O -g -o src/server/logging.o -c src/server/logging.c gcc -Wall -O -g -o src/server/arraylist.o -c src/server/arraylist.c gcc -Wall -O -g -o src/server/options.o -c src/server/options.c gcc -Wall -O -g -o src/server/queue.o -c src/server/queue.c gcc -Wall -O -g -o src/server/readbuf.o -c src/server/readbuf.c gcc -Wall -O -g -o src/server/request.o -c src/server/request.c gcc -Wall -O -g -o src/server/proc.o -c src/server/proc.c gcc -Wall -O -g -o src/server/writebuf.o -c src/server/writebuf.c gcc -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c gcc -Wall -O -g -o src/server/server-win.o -c src/server/server-win.c gcc -Wall -O -g -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c gcc -Wall -O -g -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c Coqc lib/coq/BuiltIn.v Generate drivers/coq-realizations.aux Generate drivers/pvs-realizations.aux Generate drivers/isabelle-realizations.aux Ocamlopt src/util/mysexplib.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/config.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/mlmpfr_wrapper.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/util.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/opt.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/lists.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/strings.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/extmap.ml Ocamlc src/util/extset.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/exthtbl.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/weakhtbl.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/util/weakhtbl.ml", line 98, characters 13-19: 98 | let iter = H.iter ^^^^^^ Alert old_ephemeron_api: H.iter This function won't be available in 5.0 File "src/util/weakhtbl.ml", line 99, characters 13-19: 99 | let fold = H.fold ^^^^^^ Alert old_ephemeron_api: H.fold This function won't be available in 5.0 File "src/util/weakhtbl.ml", line 101, characters 19-25: 101 | let iterk fn t = H.iter (fun k _ -> fn k) t ^^^^^^ Alert old_ephemeron_api: H.iter This function won't be available in 5.0 File "src/util/weakhtbl.ml", line 102, characters 19-25: 102 | let foldk fn t = H.fold (fun k _ -> fn k) t ^^^^^^ Alert old_ephemeron_api: H.fold This function won't be available in 5.0 Ocamlc src/util/diffmap.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/hashcons.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/wstdlib.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/exn_printer.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/getopt.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/json_base.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/json_parser.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/debug.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/print_tree.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/dynlink_wrapper.ml Ocamlopt src/util/cmdline.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/rc.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/plugin.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/constant.mli Ocamlopt src/util/vector.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/util/re.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/core/ident.mli Ocamlc src/core/parser_tokens.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/util/vector.ml", line 22, characters 22-30: 22 | let create ?capacity:(capacity: (int) option) ~dummy:(dummy: 'a) : 'a t = ^^^^^^^^ Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. Ocamlopt src/driver/prove_client.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/driver/driver_parser.mli Ocamlc src/driver/driver_lexer.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/driver/sexp.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/mlw/big_real.ml Ocamlc src/parser/glob.mli ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/parser/parser_messages.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlopt src/session/compress.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/session/compress_none.ml", line 43, characters 23-33: 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 File "src/session/compress_none.ml", line 45, characters 20-30: 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/session/unix_scheduler.ml Ocamlc src/util/extset.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/diffmap.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/wstdlib.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/json_parser.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/debug.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/loc.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/util/debug.ml", line 114, characters 21-39: 114 | (List.sort Pervasives.compare list); ^^^^^^^^^^^^^^^^^^ 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 File "src/util/loc.ml", line 69, characters 14-32: 69 | let compare = Pervasives.compare ^^^^^^^^^^^^^^^^^^ 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 File "src/util/loc.ml", line 70, characters 12-26: 70 | let equal = Pervasives.(=) ^^^^^^^^^^^^^^ 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/util/rc.ml Ocamlc src/util/plugin.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/number.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/util/constant.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/core/ident.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf File "src/util/constant.ml", line 26, characters 33-51: 26 | let c = if structural then Pervasives.compare k1 k2 else 0 in ^^^^^^^^^^^^^^^^^^ 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 File "src/util/constant.ml", line 29, characters 33-51: 29 | let c = if structural then Pervasives.compare k1 k2 else 0 in ^^^^^^^^^^^^^^^^^^ 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 File "src/util/constant.ml", line 32, characters 6-24: 32 | Pervasives.compare c1 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/core/parser_tokens.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/driver/driver_parser.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/driver/driver_lexer.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/parser/glob.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf Ocamlc src/session/xml.ml ocamlfind: [WARNING] Cannot read directory /opt/pkg/lib/ocaml/site-lib/coq which is mentioned in ld.conf gcc -Wall -o lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o gcc -Wall -o lib/why3cpulimit src/server/cpulimit-unix.o src/server/cpulimit-win.o Undefined first referenced symbol in file bind src/server/server-unix.o accept src/server/server-unix.o listen src/server/server-unix.o socket src/server/server-unix.o ld: fatal: symbol referencing errors. No output written to lib/why3server collect2: error: ld returned 1 exit status gmake: *** [Makefile:746: lib/why3server] Error 1 gmake: *** Waiting for unfinished jobs.... *** Error code 2 Stop. bmake[1]: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/devel/why3 *** Error code 1 Stop. bmake: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/devel/why3