Build:
- 0
2026-06-24 19:06.34: New job: build hol_light.3.0.0 (447f6d7d4f13) 2026-06-24 19:06.34: Waiting for resource in pool day11-builds 2026-06-24 19:24.27: Got resource from pool day11-builds 2026-06-24 19:24.27: [profile full] build hol_light.3.0.0 2026-06-24 19:24.27: build hol_light.3.0.0 (447f6d7d4f13) === DEPENDENCIES (44 transitive) === astring.0.8.5 6925d4c0b20d base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb bos.0.3.0 c9961dd26ff9 camlp-streams.5.0.1 c03309bddd0c camlp5.8.03.06 e9d23defda8b camlp5-buildscripts.0.07 152248f537e0 conf-bash.1 6730968932c0 conf-gmp.5 be11edf77089 conf-libpcre2-8.2 e4a359949717 conf-m4.1 bd3d9b09c253 conf-perl.2 bdcd7b1dce5e conf-pkg-config.5 d5de2c6a88f9 conf-which.1 84b48e007e35 csexp.1.5.2 0ced60b1f74a cstruct.6.2.0 148f63b60874 dune.3.23.1 9d721df3a13a dune-compiledb.0.6.0 01186102aaa6 dune-configurator.3.23.1 1ab906eeab63 ezjsonm.1.3.0 2e7ea8243cfe fmt.0.11.0 45fd17576f58 fpath.0.7.3 0824a9147f7e hex.1.5.0 b0cec69d8bdc jsonm.1.0.2 49cce6952f44 ledit.2.08 7648be08d181 logs.0.10.0 2a3a9fdae810 not-ocamlfind.0.14 c58f0466039b num.1.6 bf28d08d4620 ocaml.5.3.0 ec34d524d97d ocaml-base-compiler.5.3.0 1841888fe75b ocaml-compiler.5.3.0 f295fe609c87 ocaml-config.3 a52eea84eedb ocamlbuild.0.16.1 bdeca1c5518a ocamlfind.1.9.8 558092066ff0 ocamlgraph.2.2.0 65660bc29dca parsexp.v0.17.0 056711ec90a9 pcre2.8.0.4 bbcf43b4ae79 re.1.14.0 979bfa8c9518 rresult.0.7.0 f6d0ae6f6013 sexplib.v0.17.0 f4278fba614c sexplib0.v0.17.0 a15b0f614c90 topkg.1.1.1 e3d6961e1f2d uutf.1.0.4 94b120860ad2 zarith.1.14 88f19ac83a9a === STDOUT === Processing: [default: loading data] [hol_light.3.0.0: dl] [hol_light.3.0.0: extract] [hol_light.3.0.0/META: dl] -> retrieved hol_light.3.0.0 (https://opam.ocaml.org/cache) [hol_light: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/hol_light.3.0.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.0.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.0.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.0.0) [hol_light: chmod +x] + /usr/bin/chmod "+x" "hol.sh" (CWD=/home/opam/.opam/default/.opam-switch/build/hol_light.3.0.0) -> compiled hol_light.3.0.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.0.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.0.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.0.0) -> installed hol_light.3.0.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-24 19:24.49: OK: build hol_light.3.0.0 (runc: 6.1s, disk: 18KB) 2026-06-24 19:24.49: Job succeeded