Build:
- 0
2026-09-04 01:23.19: New job: build hol_light.3.1.0 (b9cabd91273e) 2026-09-04 01:23.19: Waiting for resource in pool day11-builds 2026-09-04 01:35.02: Got resource from pool day11-builds 2026-09-04 01:35.02: [profile full] build hol_light.3.1.0 2026-09-04 01:35.02: build hol_light.3.1.0 (b9cabd91273e) === DEPENDENCIES (44 transitive) === astring.0.8.5 79621710c180 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bos.0.3.0 a4bf74b86df8 camlp-streams.5.0.1 337d3dd041f2 camlp5.8.03.06 85acf6ea0d4e camlp5-buildscripts.0.07 f8adf18b4861 conf-bash.1 6de2a9c16097 conf-gmp.5 eac5259e412f conf-libpcre2-8.2 00e030e78dee conf-m4.1 cced3fb5db42 conf-perl.2 f520f20c9658 conf-pkg-config.5 74f50f3cfe72 conf-which.1 4293d66f3d9e csexp.1.5.2 ceaadb4f9db6 cstruct.6.2.0 dfbe38ce8d61 dune.3.24.2 cbbe7152834a dune-compiledb.0.6.0 65a59be9b407 dune-configurator.3.24.2 8d620f8790f9 ezjsonm.1.3.0 e8251e7acada fmt.0.11.0 36f1b0a3f6a7 fpath.0.7.3 82bf6b1d1146 hex.1.5.0 34f8c38ed6bd jsonm.1.0.2 114fa57c21e3 ledit.2.08 3e9a5193c30e logs.0.10.0 ca368ac0e112 not-ocamlfind.0.15 0e31be620727 num.1.6 c9b6c2a04dcf ocaml.5.3.0 6ff460273d57 ocaml-base-compiler.5.3.0 ab889490af4f ocaml-compiler.5.3.0 a36aaaa91913 ocaml-config.3 c2e80612d111 ocamlbuild.0.16.1 21bfaf9ec475 ocamlfind.1.9.8 8c4f353d7b71 ocamlgraph.2.2.0 93e7beee3b86 parsexp.v0.17.0 c9e539cb428e pcre2.8.0.4 ac33948df2d7 re.1.14.0 ac5351d8c826 rresult.0.7.0 fb60ace6b91d sexplib.v0.17.0 8adbbcc6164e sexplib0.v0.17.0 6a756732d111 topkg.1.1.1 58cf4512c849 uutf.1.0.4 fa25c61b2534 zarith.1.14 787bc5ecf3ea === 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.15 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.15: depends on xdot === STDERR === 2026-09-04 01:35.20: OK: build hol_light.3.1.0 (runc: 7.1s, disk: 18KB) 2026-09-04 01:35.20: Job succeeded