Build:
- 0
2026-06-16 12:14.24: New job: build tptp.0.3.2 (81cdb273e6b5) 2026-06-16 12:14.24: Waiting for resource in pool day11-builds 2026-06-16 12:51.16: Got resource from pool day11-builds 2026-06-16 12:51.16: [profile full] build tptp.0.3.2 2026-06-16 12:51.16: build tptp.0.3.2 (81cdb273e6b5) === DEPENDENCIES (17 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b dune.3.23.1 5402470d931c menhir.20260209 949a55ecfabe menhirCST.20260209 2f7f161ea867 menhirGLR.20260209 88b9413f2126 menhirLib.20260209 33c89da356e0 menhirSdk.20260209 3e7d50160069 ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-config.2 669e0fcf9e4d ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e pprint.20230830 f74230475eb4 zarith.1.14 cde7973b8292 === STDOUT === Processing: [default: loading data] [tptp.0.3.2: dl] [tptp.0.3.2: extract] -> retrieved tptp.0.3.2 (https://opam.ocaml.org/cache) [tptp: ocaml setup.ml] + /home/opam/.opam/default/bin/ocaml "setup.ml" "-configure" "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/tptp.0.3.2) - File "./setup.ml", line 318, characters 20-36: - 318 | String.compare (String.lowercase s1) (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 318, characters 42-58: - 318 | String.compare (String.lowercase s1) (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 327, characters 14-30: - 327 | (String.lowercase s1) = (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 327, characters 38-54: - 327 | (String.lowercase s1) = (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 330, characters 25-41: - 330 | Hashtbl.hash (String.lowercase s) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 368, characters 10-26: - 368 | String.lowercase buf - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 474, characters 13-29: - 474 | String.lowercase - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 1381, characters 23-41: - 1381 | 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 "./setup.ml", line 1825, characters 16-33: - 1825 | concat dir (String.capitalize base) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "./setup.ml", line 1831, characters 16-35: - 1831 | concat dir (String.uncapitalize base) - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "setup.ml", line 2916, characters 10-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2922, characters 10-21: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2925, characters 23-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2928, characters 20-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2931, characters 10-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2934, characters 16-28: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2935, characters 15-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2935, characters 32-42: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2935, characters 48-61: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2936, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2937, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2938, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3088, characters 4-21: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3107, characters 24-40: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3109, characters 21-33: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3110, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3110, characters 41-53: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3112, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3112, characters 41-54: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3114, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3114, characters 50-62: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3116, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3116, characters 50-63: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3118, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3131, characters 15-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3229, characters 16-34: - 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 "setup.ml", line 5847, characters 11-28: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "setup.ml", line 5848, characters 11-30: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "setup.ml", line 6484, characters 33-42: - Warning 6 [labels-omitted]: label what was omitted in the application of this function. - File "setup.ml", line 6485, characters 36-45: - Warning 6 [labels-omitted]: label what was omitted in the application of this function. - - Configuration: - ocamlfind: ........................................... /home/opam/.opam/default/bin/ocamlfind - ocamlc: .............................................. /home/opam/.opam/default/bin/ocamlc.opt - ocamlopt: ............................................ /home/opam/.opam/default/bin/ocamlopt.opt - ocamlbuild: .......................................... /home/opam/.opam/default/bin/ocamlbuild - Package name: ........................................ tptp - Package version: ..................................... 0.3.2 - os_type: ............................................. Unix - system: .............................................. linux - architecture: ........................................ amd64 - ccomp_type: .......................................... cc - ocaml_version: ....................................... 4.14.4 - standard_library_default: ............................ /home/opam/.opam/default/lib/ocaml - standard_library: .................................... /home/opam/.opam/default/lib/ocaml - bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - model: ............................................... default - ext_obj: ............................................. .o - ext_asm: ............................................. .s - ext_lib: ............................................. .a - ext_dll: ............................................. .so - default_executable_name: ............................. a.out - systhread_supported: ................................. true - Install architecture-independent files dir: .......... /home/opam/.opam/default - Install architecture-dependent files in dir: ......... $prefix - User executables: .................................... $exec_prefix/bin - System admin executables: ............................ $exec_prefix/sbin - Program executables: ................................. $exec_prefix/libexec - Read-only single-machine data: ....................... $prefix/etc - Modifiable architecture-independent data: ............ $prefix/com - Modifiable single-machine data: ...................... $prefix/var - Object code libraries: ............................... $exec_prefix/lib - Read-only arch-independent data root: ................ $prefix/share - Read-only architecture-independent data: ............. $datarootdir - Info documentation: .................................. $datarootdir/info - Locale-dependent data: ............................... $datarootdir/locale - Man documentation: ................................... $datarootdir/man - Documentation root: .................................. $datarootdir/doc/$pkg_name - HTML documentation: .................................. $docdir - DVI documentation: ................................... $docdir - PDF documentation: ................................... $docdir - PS documentation: .................................... $docdir - findlib_version: ..................................... 1.9.8 - is_native: ........................................... true - suffix_program: ...................................... - Remove a file.: ...................................... rm -f - Remove a directory.: ................................. rm -rf - Turn ocaml debug flag on: ............................ true - Turn ocaml profile flag on: .......................... false - Compiler support generation of .cmxs.: ............... true - OCamlbuild additional flags: ......................... - Create documentations: ............................... true - Compile tests executable and library and run them: ... false - menhir: .............................................. /home/opam/.opam/default/bin/menhir - pkg_zarith: .......................................... /home/opam/.opam/default/lib/zarith - pkg_pprint: .......................................... /home/opam/.opam/default/lib/pprint - pkg_menhirlib: ....................................... /home/opam/.opam/default/lib/menhirLib - ocamldoc: ............................................ /home/opam/.opam/default/bin/ocamldoc - [tptp: ocaml setup.ml] + /home/opam/.opam/default/bin/ocaml "setup.ml" "-build" (CWD=/home/opam/.opam/default/.opam-switch/build/tptp.0.3.2) - File "./setup.ml", line 318, characters 20-36: - 318 | String.compare (String.lowercase s1) (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 318, characters 42-58: - 318 | String.compare (String.lowercase s1) (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 327, characters 14-30: - 327 | (String.lowercase s1) = (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 327, characters 38-54: - 327 | (String.lowercase s1) = (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 330, characters 25-41: - 330 | Hashtbl.hash (String.lowercase s) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 368, characters 10-26: - 368 | String.lowercase buf - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 474, characters 13-29: - 474 | String.lowercase - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 1381, characters 23-41: - 1381 | 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 "./setup.ml", line 1825, characters 16-33: - 1825 | concat dir (String.capitalize base) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "./setup.ml", line 1831, characters 16-35: - 1831 | concat dir (String.uncapitalize base) - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "setup.ml", line 2916, characters 10-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2922, characters 10-21: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2925, characters 23-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2928, characters 20-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2931, characters 10-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2934, characters 16-28: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2935, characters 15-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2935, characters 32-42: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2935, characters 48-61: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2936, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2937, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2938, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3088, characters 4-21: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3107, characters 24-40: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3109, characters 21-33: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3110, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3110, characters 41-53: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3112, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3112, characters 41-54: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3114, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3114, characters 50-62: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3116, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3116, characters 50-63: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3118, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3131, characters 15-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3229, characters 16-34: - 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 "setup.ml", line 5847, characters 11-28: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "setup.ml", line 5848, characters 11-30: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "setup.ml", line 6484, characters 33-42: - Warning 6 [labels-omitted]: label what was omitted in the application of this function. - File "setup.ml", line 6485, characters 36-45: - Warning 6 [labels-omitted]: label what was omitted in the application of this function. - + /home/opam/.opam/default/bin/ocamlc.opt -config - + /home/opam/.opam/default/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - + /home/opam/.opam/default/bin/ocamlc.opt -config - File "_tags", line 24, characters 27-36: - Warning: the tag "pkg_oUnit" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning. - File "_tags", line 29, characters 19-28: - Warning: the tag "pkg_oUnit" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning. - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp_ast.mli > src/tptp_ast.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_ast.cmi src/tptp_ast.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp_ast.ml > src/tptp_ast.ml.depends - + menhir --raw-depend --ocamldep '/home/opam/.opam/default/bin/ocamlfind ocamldep -modules' --base src/tptp_parser src/tptp_parser.mly > src/tptp_parser.mlypack.depends - + menhir --raw-depend --ocamldep '/home/opam/.opam/default/bin/ocamlfind ocamldep -modules' --base src/tptp_parser src/tptp_parser.mly > src/tptp_parser.mlypack.depends - File "src/tptp_parser.mly", line 50, characters 59-63: - Warning: the token PLUS is unused. - File "src/tptp_parser.mly", line 50, characters 54-58: - Warning: the token STAR is unused. - + menhir --ocamlc '/home/opam/.opam/default/bin/ocamlfind ocamlc -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src' --infer --base src/tptp_parser src/tptp_parser.mly - + menhir --ocamlc '/home/opam/.opam/default/bin/ocamlfind ocamlc -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src' --infer --base src/tptp_parser src/tptp_parser.mly - File "src/tptp_parser.mly", line 50, characters 59-63: - Warning: the token PLUS is unused. - File "src/tptp_parser.mly", line 50, characters 54-58: - Warning: the token STAR is unused. - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp_parser.mli > src/tptp_parser.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_parser.cmi src/tptp_parser.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp_parser.ml > src/tptp_parser.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp_lexer.mli > src/tptp_lexer.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_lexer.cmi src/tptp_lexer.mli - + /home/opam/.opam/default/bin/ocamllex.opt -q src/tptp_lexer.mll - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp_lexer.ml > src/tptp_lexer.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp_printer.mli > src/tptp_printer.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_printer.cmi src/tptp_printer.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp_printer.ml > src/tptp_printer.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp.mli > src/tptp.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp.cmi src/tptp.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package menhirLib -package pprint -package zarith -modules src/tptp.ml > src/tptp.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_ast.cmo src/tptp_ast.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_parser.cmo src/tptp_parser.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_lexer.cmo src/tptp_lexer.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_lexer.cmo src/tptp_lexer.ml - File "src/tptp_lexer.mll", line 26, characters 28-44: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_printer.cmo src/tptp_printer.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp.cmo src/tptp.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp.cmo src/tptp.ml - File "src/tptp.ml", line 69, characters 6-25: - 69 | Pervasives.close_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 - + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I src src/tptp_ast.cmo src/tptp_parser.cmo src/tptp_lexer.cmo src/tptp_printer.cmo src/tptp.cmo -o src/tptp.cma - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_ast.cmx src/tptp_ast.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_parser.cmx src/tptp_parser.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_lexer.cmx src/tptp_lexer.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_lexer.cmx src/tptp_lexer.ml - File "src/tptp_lexer.mll", line 26, characters 28-44: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp_printer.cmx src/tptp_printer.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp.cmx src/tptp.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package menhirLib -package pprint -package zarith -I src -o src/tptp.cmx src/tptp.ml - File "src/tptp.ml", line 69, characters 6-25: - 69 | Pervasives.close_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 - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I src src/tptp_ast.cmx src/tptp_parser.cmx src/tptp_lexer.cmx src/tptp_printer.cmx src/tptp.cmx -o src/tptp.cmxa - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -I src src/tptp.cmxa src/tptp_ast.cmx src/tptp_parser.cmx src/tptp_lexer.cmx src/tptp_printer.cmx src/tptp.cmx -o src/tptp.cmxs - + /home/opam/.opam/default/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - File "myocamlbuild.ml", line 155, characters 10-27: - 155 | Stream.of_channel chn - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 161, characters 10-21: - 161 | Stream.from - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 164, characters 23-34: - 164 | match Stream.next st with - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 167, characters 20-34: - 167 | with Stream.Failure -> None) - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 170, characters 10-27: - 170 | Genlex.make_lexer ["="] st_line - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 173, characters 16-28: - 173 | match Stream.npeek 3 lexer with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 174, characters 15-27: - 174 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 174, characters 32-42: - 174 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 174, characters 48-61: - 174 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 175, characters 16-27: - 175 | Stream.junk lexer; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 176, characters 16-27: - 176 | Stream.junk lexer; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 177, characters 16-27: - 177 | Stream.junk lexer; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 518, characters 43-62: - 518 | List.map (fun m -> (String.uncapitalize m) ^ ".cmi") - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Ocamlbuild_plugin.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "myocamlbuild.ml", line 531, characters 51-70: - 531 | List.map (fun m -> dir^"/"^(String.uncapitalize m)^".cmi") - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Ocamlbuild_plugin.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. -> compiled tptp.0.3.2 [tptp: ocaml setup.ml] + /home/opam/.opam/default/bin/ocaml "setup.ml" "-install" (CWD=/home/opam/.opam/default/.opam-switch/build/tptp.0.3.2) - File "./setup.ml", line 318, characters 20-36: - 318 | String.compare (String.lowercase s1) (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 318, characters 42-58: - 318 | String.compare (String.lowercase s1) (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 327, characters 14-30: - 327 | (String.lowercase s1) = (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 327, characters 38-54: - 327 | (String.lowercase s1) = (String.lowercase s2) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 330, characters 25-41: - 330 | Hashtbl.hash (String.lowercase s) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 368, characters 10-26: - 368 | String.lowercase buf - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 474, characters 13-29: - 474 | String.lowercase - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "./setup.ml", line 1381, characters 23-41: - 1381 | 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 "./setup.ml", line 1825, characters 16-33: - 1825 | concat dir (String.capitalize base) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "./setup.ml", line 1831, characters 16-35: - 1831 | concat dir (String.uncapitalize base) - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "setup.ml", line 2916, characters 10-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2922, characters 10-21: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2925, characters 23-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2928, characters 20-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2931, characters 10-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2934, characters 16-28: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2935, characters 15-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2935, characters 32-42: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2935, characters 48-61: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 2936, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2937, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 2938, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3088, characters 4-21: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3107, characters 24-40: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3109, characters 21-33: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3110, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3110, characters 41-53: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3112, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3112, characters 41-54: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3114, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3114, characters 50-62: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3116, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3116, characters 50-63: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3118, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3131, characters 15-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3229, characters 16-34: - 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 "setup.ml", line 5847, characters 11-28: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "setup.ml", line 5848, characters 11-30: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "setup.ml", line 6484, characters 33-42: - Warning 6 [labels-omitted]: label what was omitted in the application of this function. - File "setup.ml", line 6485, characters 36-45: - Warning 6 [labels-omitted]: label what was omitted in the application of this function. - W: Cannot find source header for module Tptp_parser in library tptp - Installed /home/opam/.opam/default/lib/tptp/tptp_ast.mli - Installed /home/opam/.opam/default/lib/tptp/tptp_lexer.mli - Installed /home/opam/.opam/default/lib/tptp/tptp_printer.mli - Installed /home/opam/.opam/default/lib/tptp/tptp.mli - Installed /home/opam/.opam/default/lib/tptp/tptp.cma - Installed /home/opam/.opam/default/lib/tptp/tptp.cmxa - Installed /home/opam/.opam/default/lib/tptp/tptp.a - Installed /home/opam/.opam/default/lib/tptp/tptp.cmxs - Installed /home/opam/.opam/default/lib/tptp/tptp.cmi - Installed /home/opam/.opam/default/lib/tptp/tptp.cmti - Installed /home/opam/.opam/default/lib/tptp/tptp.cmt - Installed /home/opam/.opam/default/lib/tptp/tptp.annot - Installed /home/opam/.opam/default/lib/tptp/tptp_printer.cmi - Installed /home/opam/.opam/default/lib/tptp/tptp_printer.cmti - Installed /home/opam/.opam/default/lib/tptp/tptp_printer.cmt - Installed /home/opam/.opam/default/lib/tptp/tptp_printer.annot - Installed /home/opam/.opam/default/lib/tptp/tptp_lexer.cmi - Installed /home/opam/.opam/default/lib/tptp/tptp_lexer.cmti - Installed /home/opam/.opam/default/lib/tptp/tptp_lexer.cmt - Installed /home/opam/.opam/default/lib/tptp/tptp_lexer.annot - Installed /home/opam/.opam/default/lib/tptp/tptp_parser.cmi - Installed /home/opam/.opam/default/lib/tptp/tptp_parser.cmti - Installed /home/opam/.opam/default/lib/tptp/tptp_parser.cmt - Installed /home/opam/.opam/default/lib/tptp/tptp_parser.annot - Installed /home/opam/.opam/default/lib/tptp/tptp_ast.cmi - Installed /home/opam/.opam/default/lib/tptp/tptp_ast.cmti - Installed /home/opam/.opam/default/lib/tptp/tptp_ast.cmt - Installed /home/opam/.opam/default/lib/tptp/tptp_ast.annot - Installed /home/opam/.opam/default/lib/tptp/tptp.cmx - Installed /home/opam/.opam/default/lib/tptp/tptp_printer.cmx - Installed /home/opam/.opam/default/lib/tptp/tptp_lexer.cmx - Installed /home/opam/.opam/default/lib/tptp/tptp_parser.cmx - Installed /home/opam/.opam/default/lib/tptp/tptp_ast.cmx - Installed /home/opam/.opam/default/lib/tptp/META -> installed tptp.0.3.2 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-06-16 12:52.47: OK: build tptp.0.3.2 (runc: 16.2s, disk: 44KB) 2026-06-16 12:52.47: Job succeeded