+ 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