Build:
- 0
2026-06-20 15:52.38: New job: build inferno.20180405 (50ca5a8f1950) 2026-06-20 15:52.38: Waiting for resource in pool day11-builds 2026-06-20 15:59.55: Got resource from pool day11-builds 2026-06-20 15:59.55: [profile full] build inferno.20180405 2026-06-20 15:59.55: build inferno.20180405 (50ca5a8f1950) === DEPENDENCIES (6 transitive) === compiler-cloning.enabled 0d2606125f88 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocamlbuild.0.16.1 b485a4f69c01 ocamlfind.1.9.8 5b46f9d92bbd === STDOUT === Processing: [default: loading data] [inferno.20180405: dl] [inferno.20180405: extract] -> retrieved inferno.20180405 (https://opam.ocaml.org/cache) [inferno: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/inferno.20180405) - /usr/bin/make -C src all - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/inferno.20180405/src' - ocamlbuild -classic-display -use-ocamlfind -cflags "-g" -lflags "-g" -I lib inferno.cma inferno.cmxa inferno.cmxs - + ocamlfind ocamlc -config - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/Generalization.mli > lib/Generalization.mli.depends - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/UnifierSig.ml > lib/UnifierSig.ml.depends - + ocamlfind ocamlc -c -g -I lib -o lib/UnifierSig.cmo lib/UnifierSig.ml - + ocamlfind ocamlc -c -g -I lib -o lib/UnifierSig.cmo lib/UnifierSig.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/Generalization.cmi lib/Generalization.mli - + ocamlfind ocamlc -c -g -I lib -o lib/Generalization.cmi lib/Generalization.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/Generalization.ml > lib/Generalization.ml.depends - + ocamlfind ocamldep -modules lib/InfiniteArray.mli > lib/InfiniteArray.mli.depends - + ocamlfind ocamldep -modules lib/Option.mli > lib/Option.mli.depends - + ocamlfind ocamlc -c -g -I lib -o lib/InfiniteArray.cmi lib/InfiniteArray.mli - + ocamlfind ocamlc -c -g -I lib -o lib/InfiniteArray.cmi lib/InfiniteArray.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/Option.cmi lib/Option.mli - + ocamlfind ocamlc -c -g -I lib -o lib/Option.cmi lib/Option.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/InfiniteArray.ml > lib/InfiniteArray.ml.depends - + ocamlfind ocamldep -modules lib/Option.ml > lib/Option.ml.depends - + ocamlfind ocamldep -modules lib/SolverHi.mli > lib/SolverHi.mli.depends - + ocamlfind ocamldep -modules lib/SolverSig.ml > lib/SolverSig.ml.depends - + ocamlfind ocamlc -c -g -I lib -o lib/SolverSig.cmo lib/SolverSig.ml - + ocamlfind ocamlc -c -g -I lib -o lib/SolverSig.cmo lib/SolverSig.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/SolverHi.cmi lib/SolverHi.mli - + ocamlfind ocamlc -c -g -I lib -o lib/SolverHi.cmi lib/SolverHi.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/SolverHi.ml > lib/SolverHi.ml.depends - + ocamlfind ocamldep -modules lib/SolverLo.mli > lib/SolverLo.mli.depends - + ocamlfind ocamldep -modules lib/WriteOnceRef.mli > lib/WriteOnceRef.mli.depends - + ocamlfind ocamlc -c -g -I lib -o lib/WriteOnceRef.cmi lib/WriteOnceRef.mli - + ocamlfind ocamlc -c -g -I lib -o lib/WriteOnceRef.cmi lib/WriteOnceRef.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/SolverLo.cmi lib/SolverLo.mli - + ocamlfind ocamlc -c -g -I lib -o lib/SolverLo.cmi lib/SolverLo.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/SolverLo.ml > lib/SolverLo.ml.depends - + ocamlfind ocamldep -modules lib/Unifier.mli > lib/Unifier.mli.depends - + ocamlfind ocamlc -c -g -I lib -o lib/Unifier.cmi lib/Unifier.mli - + ocamlfind ocamlc -c -g -I lib -o lib/Unifier.cmi lib/Unifier.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/TRef.mli > lib/TRef.mli.depends - + ocamlfind ocamlc -c -g -I lib -o lib/TRef.cmi lib/TRef.mli - + ocamlfind ocamlc -c -g -I lib -o lib/TRef.cmi lib/TRef.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/TRef.ml > lib/TRef.ml.depends - + ocamlfind ocamldep -modules lib/TUnionFind.mli > lib/TUnionFind.mli.depends - + ocamlfind ocamlc -c -g -I lib -o lib/TUnionFind.cmi lib/TUnionFind.mli - + ocamlfind ocamlc -c -g -I lib -o lib/TUnionFind.cmi lib/TUnionFind.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/TUnionFind.ml > lib/TUnionFind.ml.depends - + ocamlfind ocamldep -modules lib/Unifier.ml > lib/Unifier.ml.depends - + ocamlfind ocamldep -modules lib/UnionFind.mli > lib/UnionFind.mli.depends - + ocamlfind ocamlc -c -g -I lib -o lib/UnionFind.cmi lib/UnionFind.mli - + ocamlfind ocamlc -c -g -I lib -o lib/UnionFind.cmi lib/UnionFind.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -modules lib/UnionFind.ml > lib/UnionFind.ml.depends - + ocamlfind ocamldep -modules lib/WriteOnceRef.ml > lib/WriteOnceRef.ml.depends - + ocamlfind ocamlc -c -g -I lib -o lib/Generalization.cmo lib/Generalization.ml - + ocamlfind ocamlc -c -g -I lib -o lib/Generalization.cmo lib/Generalization.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/InfiniteArray.cmo lib/InfiniteArray.ml - + ocamlfind ocamlc -c -g -I lib -o lib/InfiniteArray.cmo lib/InfiniteArray.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/Option.cmo lib/Option.ml - + ocamlfind ocamlc -c -g -I lib -o lib/Option.cmo lib/Option.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/SolverHi.cmo lib/SolverHi.ml - + ocamlfind ocamlc -c -g -I lib -o lib/SolverHi.cmo lib/SolverHi.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/SolverLo.cmo lib/SolverLo.ml - + ocamlfind ocamlc -c -g -I lib -o lib/SolverLo.cmo lib/SolverLo.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/TRef.cmo lib/TRef.ml - + ocamlfind ocamlc -c -g -I lib -o lib/TRef.cmo lib/TRef.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/TUnionFind.cmo lib/TUnionFind.ml - + ocamlfind ocamlc -c -g -I lib -o lib/TUnionFind.cmo lib/TUnionFind.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/Unifier.cmo lib/Unifier.ml - + ocamlfind ocamlc -c -g -I lib -o lib/Unifier.cmo lib/Unifier.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/UnionFind.cmo lib/UnionFind.ml - + ocamlfind ocamlc -c -g -I lib -o lib/UnionFind.cmo lib/UnionFind.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -g -I lib -o lib/WriteOnceRef.cmo lib/WriteOnceRef.ml - + ocamlfind ocamlc -c -g -I lib -o lib/WriteOnceRef.cmo lib/WriteOnceRef.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -pack lib/InfiniteArray.cmo lib/Option.cmo lib/UnifierSig.cmo lib/Generalization.cmo lib/SolverSig.cmo lib/TRef.cmo lib/TUnionFind.cmo lib/Unifier.cmo lib/WriteOnceRef.cmo lib/SolverLo.cmo lib/SolverHi.cmo lib/UnionFind.cmo -o lib/inferno.cmo - + ocamlfind ocamlc -pack lib/InfiniteArray.cmo lib/Option.cmo lib/UnifierSig.cmo lib/Generalization.cmo lib/SolverSig.cmo lib/TRef.cmo lib/TUnionFind.cmo lib/Unifier.cmo lib/WriteOnceRef.cmo lib/SolverLo.cmo lib/SolverHi.cmo lib/UnionFind.cmo -o lib/inferno.cmo - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -a -g -I lib lib/inferno.cmo -o lib/inferno.cma - + ocamlfind ocamlc -a -g -I lib lib/inferno.cmo -o lib/inferno.cma - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/InfiniteArray.cmx lib/InfiniteArray.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/InfiniteArray.cmx lib/InfiniteArray.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/Option.cmx lib/Option.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/Option.cmx lib/Option.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/UnifierSig.cmx lib/UnifierSig.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/UnifierSig.cmx lib/UnifierSig.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/Generalization.cmx lib/Generalization.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/Generalization.cmx lib/Generalization.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/TRef.cmx lib/TRef.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/TRef.cmx lib/TRef.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/TUnionFind.cmx lib/TUnionFind.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/TUnionFind.cmx lib/TUnionFind.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/SolverSig.cmx lib/SolverSig.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/SolverSig.cmx lib/SolverSig.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/Unifier.cmx lib/Unifier.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/Unifier.cmx lib/Unifier.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/WriteOnceRef.cmx lib/WriteOnceRef.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/WriteOnceRef.cmx lib/WriteOnceRef.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/SolverLo.cmx lib/SolverLo.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/SolverLo.cmx lib/SolverLo.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/SolverHi.cmx lib/SolverHi.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/SolverHi.cmx lib/SolverHi.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/UnionFind.cmx lib/UnionFind.ml - + ocamlfind ocamlopt -c -g -for-pack Inferno -I lib -o lib/UnionFind.cmx lib/UnionFind.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + touch lib/inferno.mli ; if ocamlfind ocamlopt -pack -I lib lib/InfiniteArray.cmx lib/Option.cmx lib/UnifierSig.cmx lib/Generalization.cmx lib/SolverSig.cmx lib/TRef.cmx lib/TUnionFind.cmx lib/Unifier.cmx lib/WriteOnceRef.cmx lib/SolverLo.cmx lib/SolverHi.cmx lib/UnionFind.cmx -o lib/inferno.cmx ; then rm -f lib/inferno.mli ; else rm -f lib/inferno.mli ; exit 1; fi - + touch lib/inferno.mli ; if ocamlfind ocamlopt -pack -I lib lib/InfiniteArray.cmx lib/Option.cmx lib/UnifierSig.cmx lib/Generalization.cmx lib/SolverSig.cmx lib/TRef.cmx lib/TUnionFind.cmx lib/Unifier.cmx lib/WriteOnceRef.cmx lib/SolverLo.cmx lib/SolverHi.cmx lib/UnionFind.cmx -o lib/inferno.cmx ; then rm -f lib/inferno.mli ; else rm -f lib/inferno.mli ; exit 1; fi - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -a -g -I lib lib/inferno.cmx -o lib/inferno.cmxa - + ocamlfind ocamlopt -a -g -I lib lib/inferno.cmx -o lib/inferno.cmxa - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -shared -g -linkall -I lib lib/inferno.cmxa -o lib/inferno.cmxs - + ocamlfind ocamlopt -shared -g -linkall -I lib lib/inferno.cmxa -o lib/inferno.cmxs - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/inferno.20180405/src' -> compiled inferno.20180405 [inferno: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/inferno.20180405) - /usr/bin/make -C src install - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/inferno.20180405/src' - Selecting OPAM based install. - Specify PREFIX=... for system-wide install. - Installed /home/opam/.opam/default/lib/inferno/UnifierSig.ml - Installed /home/opam/.opam/default/lib/inferno/SolverSig.ml - Installed /home/opam/.opam/default/lib/inferno/WriteOnceRef.mli - Installed /home/opam/.opam/default/lib/inferno/UnionFind.mli - Installed /home/opam/.opam/default/lib/inferno/Unifier.mli - Installed /home/opam/.opam/default/lib/inferno/TUnionFind.mli - Installed /home/opam/.opam/default/lib/inferno/TRef.mli - Installed /home/opam/.opam/default/lib/inferno/SolverLo.mli - Installed /home/opam/.opam/default/lib/inferno/SolverHi.mli - Installed /home/opam/.opam/default/lib/inferno/Option.mli - Installed /home/opam/.opam/default/lib/inferno/InfiniteArray.mli - Installed /home/opam/.opam/default/lib/inferno/Generalization.mli - Installed /home/opam/.opam/default/lib/inferno/inferno.cmxs - Installed /home/opam/.opam/default/lib/inferno/inferno.cmxa - Installed /home/opam/.opam/default/lib/inferno/inferno.cmx - Installed /home/opam/.opam/default/lib/inferno/inferno.cmo - Installed /home/opam/.opam/default/lib/inferno/inferno.cmi - Installed /home/opam/.opam/default/lib/inferno/inferno.cma - Installed /home/opam/.opam/default/lib/inferno/META - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/inferno.20180405/src' -> installed inferno.20180405 === STDERR === 2026-06-20 16:00.04: OK: build inferno.20180405 (runc: 3.5s, disk: 22KB) 2026-06-20 16:00.04: Job succeeded