Build:
- 0
2026-09-03 20:21.02: New job: build prooftree.0.14 (129c6f715d92) 2026-09-03 20:21.02: Waiting for resource in pool day11-builds 2026-09-03 22:12.58: Got resource from pool day11-builds 2026-09-03 22:12.58: [profile full] build prooftree.0.14 2026-09-03 22:12.58: build prooftree.0.14 (129c6f715d92) === DEPENDENCIES (17 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e camlp-streams.5.0.1 c3ef1cb475af compiler-cloning.enabled 966a2e6839f0 conf-gmp.5 eac5259e412f conf-gtk2.1 e1e573a4d138 conf-linux-libc-dev.0 0af5b24bacd0 conf-pkg-config.5 74f50f3cfe72 coq-core.9.2.0 4c2459283964 dune.3.23.1 299ed55d2ff2 lablgtk.2.18.14 59718d978555 ocaml.5.5.0 22ebd7932512 ocaml-base-compiler.5.5.0 db1659234e8a ocaml-compiler.5.5.0 7f52fb26d939 ocamlfind.1.9.9~preview 6a4c70487cf9 rocq-runtime.9.2.0 a1fd95971cc0 zarith.1.14 bd527d6656b5 === STDOUT === Processing: [default: loading data] [prooftree.0.14: dl] [prooftree.0.14: extract] -> retrieved prooftree.0.14 (https://opam.ocaml.org/cache) [prooftree: ./configure] + /home/opam/.opam/default/.opam-switch/build/prooftree.0.14/./configure "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/prooftree.0.14) - ocamlc version 5.5.0 found. - OCaml 4.06.0 or newer found. Good. - ocamlopt.opt version 5.5.0 found. Native compilation enabled. - trying to find LablGtk2 without ocamlfind... - test ocamlopt.opt -I +lablgtk2 - File "_none_", line 1: - Error: Cannot find file lablgtk.cmxa - ...unsuccessful. Now trying to find LablGtk2 with ocamlfind... - test ocamlopt.opt -I /home/opam/.opam/default/lib/lablgtk2 - ...successful. - - Configuration successful. Summary: - binaries will be copied to /home/opam/.opam/default/bin - man pages will be copied to /home/opam/.opam/default/share/man - native-code compilation enabled with ocamlopt.opt - LablGtk2 at /home/opam/.opam/default/lib/lablgtk2 [prooftree: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/prooftree.0.14) - ocamlyacc coq_evar_parser.mly - echo '(* This file is automatically generated from version.txt *)' > version.ml - echo '(* DO NOT EDIT! *)' >> version.ml - echo '(** Prooftree version module, generated by make *)' >> version.ml - echo >> version.ml - echo '(** Prooftree version, generated from [version.txt] *)' >> version.ml - echo "let version = \"`head -1 version.txt`\"" >> version.ml - ocamllex coq_evar_lexer.mll - 46 states, 503 transitions, table size 2288 bytes - ocamldep.opt -native version.mli proof_tree.mli coq_evar_parser.mli input.mli version.ml util.ml gtk_ext.ml configuration.ml draw_tree.ml tree_layers.ml about_window.ml help_window.ml node_window.ml ext_dialog.ml emacs_commands.ml proof_window.ml evar_types.ml proof_tree.ml coq_evar_parser.ml coq_evar_lexer.ml input.ml main.ml > Makefile.deps - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 version.mli - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 version.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 util.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 gtk_ext.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 configuration.ml - File "configuration.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 draw_tree.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 ext_dialog.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 tree_layers.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 about_window.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 help_window.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 node_window.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 emacs_commands.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 proof_window.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 evar_types.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 proof_tree.mli - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 proof_tree.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 coq_evar_parser.mli - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 coq_evar_parser.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 coq_evar_lexer.ml - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 input.mli - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 input.ml - File "input.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - ocamlopt.opt -c -safe-string -w +A-4-7-48-70 -g -I /home/opam/.opam/default/lib/lablgtk2 main.ml - File "main.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - ocamlopt.opt -g -I /home/opam/.opam/default/lib/lablgtk2 -o prooftree \ - unix.cmxa lablgtk.cmxa gtkInit.cmx version.cmx util.cmx gtk_ext.cmx configuration.cmx draw_tree.cmx tree_layers.cmx about_window.cmx help_window.cmx node_window.cmx ext_dialog.cmx emacs_commands.cmx proof_window.cmx evar_types.cmx proof_tree.cmx coq_evar_parser.cmx coq_evar_lexer.cmx input.cmx main.cmx - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). -> compiled prooftree.0.14 [prooftree: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/prooftree.0.14) - mkdir -p /home/opam/.opam/default/bin - cp prooftree /home/opam/.opam/default/bin - mkdir -p /home/opam/.opam/default/share/man/man1 - cp prooftree.1 /home/opam/.opam/default/share/man/man1 -> installed prooftree.0.14 [WARNING] Opam packages conf-gtk2.1 and conf-pkg-config.5 depend on the following system packages that are no longer installed: libexpat1-dev libgtk2.0-dev pkg-config - conf-gtk2.1: depends on libexpat1-dev, libgtk2.0-dev - conf-pkg-config.5: depends on pkg-config === STDERR === 2026-09-03 22:13.23: OK: build prooftree.0.14 (runc: 9.6s, disk: 13KB) 2026-09-03 22:13.23: Job succeeded