Build:
- 1
- 0
2026-09-04 16:52.56: New job: build proverif.2.04 (e6f0c09d504a) 2026-09-04 16:52.56: Waiting for resource in pool day11-builds 2026-09-04 18:08.09: Got resource from pool day11-builds 2026-09-04 18:08.09: [profile full] build proverif.2.04 2026-09-04 18:08.09: build proverif.2.04 (e6f0c09d504a) === DEPENDENCIES (12 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e camlp-streams.5.0.1 922664744f95 compiler-cloning.enabled 966a2e6839f0 conf-gtk2.1 e1e573a4d138 conf-pkg-config.5 74f50f3cfe72 dune.3.24.2 25fbaa318de6 lablgtk.2.18.14 20fb8d7ce3a1 ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 ocamlfind.1.9.9~preview 5e0261154b58 === STDOUT === Processing: [default: loading data] [proverif.2.04: dl] [proverif.2.04: extract] -> retrieved proverif.2.04 (https://opam.ocaml.org/cache) [proverif: ./build] + /home/opam/.opam/default/.opam-switch/build/proverif.2.04/./build (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.2.04) - 36 states, 401 transitions, table size 1820 bytes - 10 shift/reduce conflicts. - 43 states, 762 transitions, table size 3306 bytes - 151 shift/reduce conflicts. - 111 states, 3108 transitions, table size 13098 bytes - File "reduction_helper.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - - 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). - - 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). - - File "main.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - 46 states, 476 transitions, table size 2180 bytes - 71 states, 1001 transitions, table size 4430 bytes - File "analyze.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). - - File "analyze.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). - File "reduction_helper.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - - File "menu_interact.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). - - File "main_interact.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). - - File "main_interact.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). -> compiled proverif.2.04 [proverif: ./build install] + /home/opam/.opam/default/.opam-switch/build/proverif.2.04/./build "install" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.2.04) -> installed proverif.2.04 [WARNING] Opam package conf-gtk2.1 depends on the following system packages that can no longer be found: libexpat1-dev libgtk2.0-dev === STDERR === 2026-09-04 18:08.51: OK: build proverif.2.04 (runc: 28.6s, disk: 12KB) 2026-09-04 18:08.51: Job succeeded