Build:
- 0
2026-06-23 20:44.55: New job: build hol_light.3.1.0 (d99064ed4ca0) 2026-06-23 20:44.55: Waiting for resource in pool day11-builds 2026-06-23 21:21.19: Got resource from pool day11-builds 2026-06-23 21:21.19: [profile full] build hol_light.3.1.0 2026-06-23 21:21.19: build hol_light.3.1.0 (d99064ed4ca0) === DEPENDENCIES (44 transitive) === astring.0.8.5 77dbb65bc846 base-threads.base b7164ff76afe base-unix.base 839dc585f12d bos.0.3.0 e79749c26c1c camlp-streams.5.0.1 0ba8db057bd1 camlp5.8.03.06 13b53c034ab0 camlp5-buildscripts.0.07 3ce2aba6ff5c conf-bash.1 e53fa0fe5f26 conf-gmp.5 61e3c79e0ddf conf-libpcre2-8.2 284bfd3c1500 conf-m4.1 16c0f2e0bd7c conf-perl.2 9ee1ae5f2bf1 conf-pkg-config.5 4b60827fc174 conf-which.1 9799649fc020 csexp.1.5.2 1637d117a8bb cstruct.6.2.0 25746fa820f1 dune.3.23.1 433683e90514 dune-compiledb.0.6.0 a89fac7a0132 dune-configurator.3.23.1 d169faaa676d ezjsonm.1.3.0 9c10858fdfcb fmt.0.11.0 9bc6dbd21f1d fpath.0.7.3 adcba1aca8b4 hex.1.5.0 335dfd233f7e jsonm.1.0.2 4deed0147cb2 ledit.2.08 f5824fbfc746 logs.0.10.0 5345d485fed7 not-ocamlfind.0.14 140bac66d2f8 num.1.6 3b13662dc011 ocaml.5.3.0 f3f5cb82ec5e ocaml-base-compiler.5.3.0 3282792848d7 ocaml-compiler.5.3.0 ec781058d2f3 ocaml-config.3 0df636be409d ocamlbuild.0.16.1 6a034beeb0c1 ocamlfind.1.9.8 814b8d0197a7 ocamlgraph.2.2.0 a76bf61b4295 parsexp.v0.17.0 674565423147 pcre2.8.0.4 d11ae97bd4dd re.1.14.0 5602183f89d9 rresult.0.7.0 cf1cd10f9230 sexplib.v0.17.0 4a1bb312c77b sexplib0.v0.17.0 56e363170312 topkg.1.1.1 77f1be4dd954 uutf.1.0.4 5af0bdeb39cf zarith.1.14 bed60daa9e32 === STDOUT === Processing: [default: loading data] [hol_light.3.1.0: dl] [hol_light.3.1.0: extract] [hol_light.3.1.0/META: dl] -> retrieved hol_light.3.1.0 (https://opam.ocaml.org/cache) [hol_light: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/hol_light.3.1.0) - \ - if [ `ocamlc -version | cut -c1-4` = "4.14" ] ; \ - then cp update_database/update_database_4.14.ml update_database.ml ; \ - else cp update_database/update_database_`ocamlc -version | cut -c1`.ml update_database.ml ; \ - fi - \ - if test `ocamlc -version | cut -c1-3` = "3.0" ; \ - then cp pa_j/pa_j_`ocamlc -version | cut -c1-4`.ml pa_j.ml ; \ - elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1-4` = "8.00" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1-4` = "8.02" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1-4` = "8.03" ; \ - then cp pa_j/pa_j_4.xx_`camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1-4`.ml pa_j.ml; \ - elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1` = "7" ; \ - then if test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.01" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.02" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.03" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.04" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.05" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.06" ; \ - then cp pa_j/pa_j_4.xx_7.06.ml pa_j.ml; \ - else cp pa_j/pa_j_4.xx_7.xx.ml pa_j.ml; \ - fi \ - elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.02.1" ; \ - then cp pa_j/pa_j_3.1x_6.02.1.ml pa_j.ml; \ - elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.02.2" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.02.3" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.03" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.04" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.05" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.06" ; \ - then cp pa_j/pa_j_3.1x_6.02.2.ml pa_j.ml; \ - elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.06" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.07" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.08" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.09" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.10" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.11" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.12" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.13" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.14" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.15" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.16" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.17" ; \ - then cp pa_j/pa_j_3.1x_6.11.ml pa_j.ml; \ - else cp pa_j/pa_j_3.1x_`camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1`.xx.ml pa_j.ml; \ - fi - if test `ocamlc -version | cut -c1-3` = "3.0" ; \ - then ocamlc -c -pp "camlp4r pa_extend.cmo q_MLast.cmo" -I `camlp4 -where` pa_j.ml ; \ - elif test `ocamlc -version | cut -c1-3` = "3.1" -o `ocamlc -version | cut -c1-4` = "4.00" -o `ocamlc -version | cut -c1-4` = "4.01" -o `ocamlc -version | cut -c1-4` = "4.02" -o `ocamlc -version | cut -c1-4` = "4.03" -o `ocamlc -version | cut -c1-4` = "4.04" -o `ocamlc -version | cut -c1-4` = "4.05" ; \ - then ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \ - else ocamlc -safe-string -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` -I `ocamlfind query camlp-streams` pa_j.ml ; \ - fi - \ - if test `ocamlc -version | cut -c1-4` = "4.14" -o `ocamlc -version | cut -c1` = "5" ; \ - then ocamlfind ocamlc -package zarith -c -o bignum.cmo bignum_zarith.ml ; \ - else ocamlc -c -o bignum.cmo bignum_num.ml ; \ - fi - \ - ocamlc -verbose -c hol_loader.ml -o hol_loader.cmo - File "hol_loader.ml", line 30, characters 41-65: - 30 | let file_loader = ref (fun (s:string) -> failwith "uninitialized"; false);; - ^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 21 [nonreturning-statement]: this statement never returns (or has an unsound type.) - if [ `uname` = "Linux" ] || [ `uname` = "Darwin" ] ; then \ - if [ `ocamlc -version | cut -c1` = "5" ] || [ `ocamlc -version | cut -c1-4` = "4.14" ] ; then \ - ocamlfind ocamlmktop -package zarith -o ocaml-hol zarith.cma bignum.cmo hol_loader.cmo ; \ - sed "s^__DIR__^`pwd`^g; s^__USE_MODULE__^0^g" hol_4.14.sh > hol.sh ; \ - else \ - ocamlmktop -o ocaml-hol nums.cma bignum.cmo hol_loader.cmo ; \ - sed "s^__DIR__^`pwd`^g; s^__USE_MODULE__^0^g" hol_4.sh > hol.sh ; \ - fi ; \ - chmod +x hol.sh ; \ - else \ - echo 'FAILURE: hol.sh assumes Linux' ; \ - fi [hol_light: sh] + /usr/bin/sh "-c" "sed \"s^/home/opam/.opam/default/.opam-switch/build/hol_light.3.1.0^/home/opam/.opam/default/lib/hol_light^g\" hol.sh >hol_new.sh" (CWD=/home/opam/.opam/default/.opam-switch/build/hol_light.3.1.0) [hol_light: mv hol_new.sh] + /usr/bin/mv "hol_new.sh" "hol.sh" (CWD=/home/opam/.opam/default/.opam-switch/build/hol_light.3.1.0) [hol_light: chmod +x] + /usr/bin/chmod "+x" "hol.sh" (CWD=/home/opam/.opam/default/.opam-switch/build/hol_light.3.1.0) -> compiled hol_light.3.1.0 [hol_light: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/lib/hol_light" (CWD=/home/opam/.opam/default/.opam-switch/build/hol_light.3.1.0) [hol_light: cp .] + /usr/bin/cp "-r" "." "/home/opam/.opam/default/lib/hol_light" (CWD=/home/opam/.opam/default/.opam-switch/build/hol_light.3.1.0) [hol_light: cp hol.sh] + /usr/bin/cp "hol.sh" "/home/opam/.opam/default/bin/hol.sh" (CWD=/home/opam/.opam/default/.opam-switch/build/hol_light.3.1.0) -> installed hol_light.3.1.0 [WARNING] Opam packages conf-gmp.5, conf-libpcre2-8.2, conf-pkg-config.5 and not-ocamlfind.0.14 depend on the following system packages that are no longer installed: libgmp-dev libpcre2-dev pkg-config xdot - conf-gmp.5: depends on libgmp-dev - conf-libpcre2-8.2: depends on libpcre2-dev - conf-pkg-config.5: depends on pkg-config - not-ocamlfind.0.14: depends on xdot === STDERR === 2026-06-23 21:24.43: OK: build hol_light.3.1.0 (runc: 8.8s, disk: 18KB) 2026-06-23 21:24.43: Job succeeded