Build:
- 0
2025-05-19 20:08.42: New job: Voodoo do z3.4.9.1; 28ee27b79eba6813c283b2f2f665b2ec
Prep base: ((from ocaml/opam:debian-12-ocaml-5.3@sha256:601a187e2900fccdc210cf20312e1bb4b7d0d219d790e3a816c5bf992c14e3e6)
(user (uid 1000) (gid 1000))
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
(workdir /home/opam)
(run (shell "sudo chown opam:opam /home/opam"))
)2025-05-19 20:08.42: Waiting for resource in pool OCluster
2025-05-19 20:08.42: Waiting for worker…
2025-05-19 20:38.54: Got resource from pool OCluster
2025-05-19 20:38.54: Using cache hint "docs-universe-compile-5.3.0"
To reproduce locally:
cat > prep.spec <<'END-OF-SPEC'
((build odoc_driver
((from ocaml/opam:debian-12-ocaml-5.3@sha256:601a187e2900fccdc210cf20312e1bb4b7d0d219d790e3a816c5bf992c14e3e6)
(user (uid 1000) (gid 1000))
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
(workdir /home/opam)
(run (shell "sudo chown opam:opam /home/opam"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "(sudo apt-get update) && (opam pin -ny sherlodoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300) && (opam pin -ny odoc-parser.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc-md.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc-driver.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300) && (opam install -y odoc-md) && (opam install -y odoc-driver sherlodoc) && (cp $(opam config var bin)/odoc_driver_voodoo $(opam config var bin)/sherlodoc $(opam config var bin)/odoc-md /home/opam) && (rm -rf $(opam config var prefix))"))))
(build tools
((from ocaml/opam:debian-12-ocaml-5.3@sha256:601a187e2900fccdc210cf20312e1bb4b7d0d219d790e3a816c5bf992c14e3e6)
(user (uid 1000) (gid 1000))
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
(workdir /home/opam)
(run (shell "sudo chown opam:opam /home/opam"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "(sudo apt-get update && sudo apt-get install -yy m4) && (opam pin -ny odoc-parser.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam depext -iy odoc-parser) && (opam pin -ny odoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam depext -iy odoc) && (cp $(opam config var bin)/odoc /home/opam) && (rm -rf $(opam config var prefix))"))))
(from ocaml/opam:debian-12-ocaml-5.3@sha256:601a187e2900fccdc210cf20312e1bb4b7d0d219d790e3a816c5bf992c14e3e6)
(user (uid 1000) (gid 1000))
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
(workdir /home/opam)
(run (shell "sudo chown opam:opam /home/opam"))
(workdir /home/opam/docs/)
(run (shell "sudo chown opam:opam . "))
(copy (from (build tools)) (src /home/opam/odoc) (dst /home/opam/))
(copy (from (build odoc_driver))
(src /home/opam/odoc_driver_voodoo /home/opam/sherlodoc /home/opam/odoc-md)
(dst /home/opam/))
(run (shell "mv ~/sherlodoc $(opam config var bin)/sherlodoc"))
(run (network host)
(shell "sudo apt install -y jq"))
(run (network host)
(shell "git clone https://github.com/jonludlam/docs-ci-scripts.git && echo NOTRANDOM"))
(run (cache (compile-cache (target /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile)))
(network host)
(secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config)))
(shell "(ssh -MNf sage.caelum.ci.dev) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++/1.0 conf-c++.1.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5 conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4 conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0 conf-python-3.9.0.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 false) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/5.3.0 ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/5.3.0 ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler/5.3.0 ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/3 ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8 ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith/1.14 zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/get_prep_for_compile.sh sage.caelum.ci.dev /data prep0/u/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1 prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1) && (export OCAMLRUNPAM=b) && (time opam exec -- /home/opam/odoc_driver_voodoo --verbose --odoc /home/opam/odoc --odoc-md /home/opam/odoc-md --odoc-dir epoch-137f967e4b669fa675bae6ebe4c27b18/compile --odocl-dir linked --html-dir epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw --stats z3 --blessed) && (jq . driver-benchmarks.json || true) && (shopt -s nullglob && ((echo LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1 && [ ! -z \"$(ls -A epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1)\" ] && tar -cvf epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/* && rm -R epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/* && mv epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/content.tar) || (echo 'Empty directory'))) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1 sage.caelum.ci.dev:/data/.) && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1'; HASH=$((sha256sum $1/content.tar 2>/dev/null | cut -d \" \" -f 1) || echo -n 'empty'); rm -f $1/content.tar; printf \"COMPILE:$2:$HASH\\n\";) && (mkdir -p linked && mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18 && mv linked epoch-137f967e4b669fa675bae6ebe4c27b18/) && (mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1) && (shopt -s nullglob && ((echo LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1 && [ ! -z \"$(ls -A epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1)\" ] && tar -cvf epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/* && rm -R epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/* && mv epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/content.tar) || (echo 'Empty directory'))) && (echo raw_folder: epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/ sage.caelum.ci.dev:/data/.) && (echo '0.740267') && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1'; HASH=$((sha256sum $1/content.tar 2>/dev/null | cut -d \" \" -f 1) || echo -n 'empty'); rm -f $1/content.tar; printf \"LINKED:$2:$HASH\\n\";) && (echo '0.407060') && (mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1 sage.caelum.ci.dev:/data/.) && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1' raw; HASH=$(find $1 -type f -exec sha256sum {} \\; | sort | sha256sum); printf \"RAW:$2:$HASH\\n\";) && (rm -rf /home/opam/docs/*)"))
)
END-OF-SPEC
ocluster-client submit-obuilder --local-file prep.spec \
--pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-compile-5.3.0 \
--secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config
2025-05-19 20:38.54: RETRYING: 2025-05-19/200842-voodoo-do-5d9b56 Number of retries: 0 (retriable error condition)
Building on sage.caelum.ci.dev
(build "odoc_driver" …)
(from ocaml/opam:debian-12-ocaml-5.3@sha256:601a187e2900fccdc210cf20312e1bb4b7d0d219d790e3a816c5bf992c14e3e6)
2025-05-19 20:38.54 ---> using "0585f6b0985f7eb566e20fd068ca8d674792c3b808091294d28083728c5a5ee6" from cache
/: (user (uid 1000) (gid 1000))
/: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-05-19 20:38.54 ---> using "ae726e48bd5f551a94db6e06d9a454beed3df8df5b83bbe29cc82399b4efe7ee" from cache
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2025-05-19 20:38.54 ---> using "c9903ef84dcf27b4bdd7ad252272ff9bcb9549fcd436f10e38f136465be2cc4b" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "(sudo apt-get update) && (opam pin -ny sherlodoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300) && (opam pin -ny odoc-parser.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc-md.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc-driver.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300) && (opam install -y odoc-md) && (opam install -y odoc-driver sherlodoc) && (cp $(opam config var bin)/odoc_driver_voodoo $(opam config var bin)/sherlodoc $(opam config var bin)/odoc-md /home/opam) && (rm -rf $(opam config var prefix))"))
Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
Get:4 http://deb.debian.org/debian bookworm/main amd64 Packages [8793 kB]
Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [259 kB]
Fetched 9306 kB in 2s (5753 kB/s)
Reading package lists...
[sherlodoc.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
sherlodoc is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
[odoc-parser.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc-parser is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
[odoc-md.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc-md is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
[odoc.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
[odoc-driver.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc-driver is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[odoc-md.dev] synchronised (no changes)
The following actions will be performed:
=== install 22 packages
- install astring 0.8.5 [required by odoc]
- install camlp-streams 5.0.1 [required by odoc-parser]
- install cmarkit 0.3.0 [required by odoc-md]
- install cmdliner 1.3.0 [required by cmarkit, odoc]
- install cppo 1.8.0 [required by odoc]
- install crunch 4.0.0 [required by odoc]
- install dune 3.18.2 [required by odoc-md]
- install fmt 0.10.0 [required by odoc]
- install fpath 0.7.3 [required by odoc]
- install ocamlbuild 0.16.1 [required by cmarkit]
- install ocamlfind 1.9.8 [required by cmarkit]
- install odoc dev (pinned) [required by odoc-md]
- install odoc-md dev (pinned)
- install odoc-parser dev (pinned) [required by odoc]
- install ptime 1.2.0 [required by crunch]
- install re 1.12.0 [required by tyxml]
- install result 1.5 [required by odoc]
- install seq base [required by tyxml, yojson]
- install topkg 1.0.8 [required by cmarkit]
- install tyxml 4.6.0 [required by odoc]
- install uutf 1.0.4 [required by tyxml]
- install yojson 2.2.2 [required by odoc]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved cmarkit.0.3.0 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved crunch.4.0.0 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved result.1.5 (cached)
-> retrieved topkg.1.0.8 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved tyxml.4.6.0 (cached)
-> retrieved yojson.2.2.2 (cached)
-> retrieved dune.3.18.2 (cached)
-> installed cmdliner.1.3.0
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed topkg.1.0.8
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed cmarkit.0.3.0
-> installed dune.3.18.2
-> installed result.1.5
-> installed camlp-streams.5.0.1
-> installed crunch.4.0.0
-> installed re.1.12.0
-> installed cppo.1.8.0
-> installed yojson.2.2.2
-> installed odoc-parser.dev
-> installed tyxml.4.6.0
-> installed odoc.dev
-> installed odoc-md.dev
Done.
# To update the current shell environment, run: eval $(opam env)
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[odoc-driver.dev] synchronised (no changes)
[sherlodoc.dev] synchronised (no changes)
The following actions will be performed:
=== install 62 packages
- install base v0.17.2 [required by ppx_sexp_conv]
- install base-bytes base [required by ocplib-endian]
- install base64 3.5.1 [required by sherlodoc]
- install bigstringaf 0.10.0 [required by sherlodoc]
- install bos 0.2.1 [required by odoc-driver]
- install brr 0.0.7 [required by sherlodoc]
- install checkseum 0.5.2 [required by decompress]
- install csexp 1.5.2 [required by dune-configurator]
- install cstruct 6.2.0 [required by eio]
- install decompress 1.5.3 [required by sherlodoc]
- install domain-local-await 1.0.1 [required by eio]
- install dune-configurator 3.18.2 [required by base, bigstringaf, checkseum]
- install eio 1.2 [required by odoc-driver]
- install eio_linux 1.2 [required by eio_main]
- install eio_main 1.2 [required by odoc-driver]
- install eio_posix 1.2 [required by eio_main]
- install gen 1.1 [required by sedlex]
- install hmap 0.8.1 [required by eio]
- install iomux 0.3 [required by eio_posix]
- install js_of_ocaml 6.0.1 [required by sherlodoc]
- install js_of_ocaml-compiler 6.0.1 [required by brr, js_of_ocaml]
- install js_of_ocaml-toplevel 6.0.1 [required by brr]
- install jsonm 1.0.2 [required by opam-core]
- install logs 0.8.0 [required by odoc-driver]
- install lwt 5.9.1 [required by sherlodoc]
- install lwt-dllist 1.1.0 [required by eio]
- install menhir 20240715 [required by sherlodoc]
- install menhirCST 20240715 [required by menhir]
- install menhirLib 20240715 [required by js_of_ocaml-compiler]
- install menhirSdk 20240715 [required by js_of_ocaml-compiler]
- install mtime 2.1.0 [required by eio, progress]
- install num 1.5-1 [required by sexplib]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlgraph 2.2.0 [required by opam-core]
- install ocplib-endian 1.2 [required by lwt]
- install odoc-driver dev (pinned)
- install opam-core 2.3.0 [required by opam-format]
- install opam-file-format 2.1.6 [required by opam-format]
- install opam-format 2.3.0 [required by odoc-driver]
- install optint 0.3.0 [required by progress, eio, decompress]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_blob 0.9.0 [required by sherlodoc]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_sexp_conv v0.17.0 [required by odoc-driver]
- install ppxlib 0.35.0 [required by js_of_ocaml, ppx_sexp_conv, ppx_blob]
- install ppxlib_jane v0.17.2 [required by ppx_sexp_conv]
- install progress 0.4.0 [required by odoc-driver]
- install psq 0.2.1 [required by eio]
- install rresult 0.7.0 [required by bos]
- install sedlex 3.4 [required by js_of_ocaml-compiler]
- install sexplib v0.17.0 [required by odoc-driver]
- install sexplib0 v0.17.0 [required by ppx_sexp_conv, sexplib]
- install sha 1.15.4 [required by opam-core]
- install sherlodoc dev (pinned)
- install stdlib-shims 0.3.0 [required by terminal]
- install swhid_core 0.1 [required by opam-core]
- install terminal 0.4.0 [required by progress]
- install thread-table 1.0.0 [required by domain-local-await]
- install uring 0.9 [required by eio_linux]
- install uucp 16.0.0 [required by progress]
- install vector 1.0.0 [required by progress]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bytes.base
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved base64.3.5.1 (cached)
-> retrieved base.v0.17.2 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved checkseum.0.5.2 (cached)
-> retrieved brr.0.0.7 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved eio.1.2, eio_linux.1.2, eio_main.1.2, eio_posix.1.2 (cached)
-> installed base64.3.5.1
-> installed csexp.1.5.2
-> retrieved decompress.1.5.3 (cached)
-> retrieved dune-configurator.3.18.2 (cached)
-> installed cstruct.6.2.0
-> retrieved gen.1.1 (cached)
-> retrieved hmap.0.8.1 (cached)
-> retrieved iomux.0.3 (cached)
-> retrieved jsonm.1.0.2 (cached)
-> retrieved logs.0.8.0 (cached)
-> retrieved lwt-dllist.1.1.0 (cached)
-> retrieved lwt.5.9.1 (cached)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
-> retrieved js_of_ocaml.6.0.1, js_of_ocaml-compiler.6.0.1, js_of_ocaml-toplevel.6.0.1 (cached)
-> installed gen.1.1
-> installed hmap.0.8.1
-> installed jsonm.1.0.2
-> installed dune-configurator.3.18.2
-> installed lwt-dllist.1.1.0
-> retrieved mtime.2.1.0 (cached)
-> retrieved num.1.5-1 (cached)
-> installed menhirCST.20240715
-> installed menhirLib.20240715
-> installed menhirSdk.20240715
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlgraph.2.2.0 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved opam-core.2.3.0, opam-format.2.3.0 (cached)
-> retrieved opam-file-format.2.1.6 (cached)
-> retrieved optint.0.3.0 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_blob.0.9.0 (cached)
-> installed ocaml_intrinsics_kernel.v0.17.1
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved ppxlib_jane.v0.17.2 (cached)
-> retrieved psq.0.2.1 (cached)
-> installed bigstringaf.0.10.0
-> retrieved rresult.0.7.0 (cached)
-> retrieved sedlex.3.4 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> installed ocplib-endian.1.2
-> installed iomux.0.3
-> installed ppx_derivers.1.2.1
-> retrieved progress.0.4.0, terminal.0.4.0 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved sha.1.15.4 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved swhid_core.0.1 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved vector.1.0.0 (cached)
-> installed optint.0.3.0
-> retrieved uring.0.9 (cached)
-> installed psq.0.2.1
-> retrieved uucp.16.0.0 (cached)
-> installed vector.1.0.0
-> installed thread-table.1.0.0
-> installed stdlib-shims.0.3.0
-> installed opam-file-format.2.1.6
-> installed rresult.0.7.0
-> installed swhid_core.0.1
-> installed mtime.2.1.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed sexplib0.v0.17.0
-> installed domain-local-await.1.0.1
-> installed checkseum.0.5.2
-> installed num.1.5-1
-> installed sha.1.15.4
-> installed ocamlgraph.2.2.0
-> installed parsexp.v0.17.0
-> installed decompress.1.5.3
-> installed uring.0.9
-> installed eio.1.2
-> installed lwt.5.9.1
-> installed sexplib.v0.17.0
-> installed eio_linux.1.2
-> installed eio_posix.1.2
-> installed eio_main.1.2
-> installed opam-core.2.3.0
-> installed base.v0.17.2
-> installed opam-format.2.3.0
-> installed menhir.20240715
-> installed ppxlib.0.35.0
-> installed ppxlib_jane.v0.17.2
-> installed ppx_blob.0.9.0
-> installed sedlex.3.4
-> installed ppx_sexp_conv.v0.17.0
-> installed uucp.16.0.0
-> installed terminal.0.4.0
-> installed js_of_ocaml-compiler.6.0.1
-> installed logs.0.8.0
-> installed js_of_ocaml-toplevel.6.0.1
-> installed progress.0.4.0
-> installed bos.0.2.1
-> installed brr.0.0.7
-> installed js_of_ocaml.6.0.1
-> installed sherlodoc.dev
-> installed odoc-driver.dev
Done.
# To update the current shell environment, run: eval $(opam env)
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
2025-05-19 20:38.54 ---> using "4e1e35dac07cf97a4faacf8f22f7965811e61ebf198d6256503aa71e926d4aa8" from cache
2025-05-19 20:38.54 --> finished "odoc_driver"
(build "tools" …)
(from ocaml/opam:debian-12-ocaml-5.3@sha256:601a187e2900fccdc210cf20312e1bb4b7d0d219d790e3a816c5bf992c14e3e6)
2025-05-19 20:38.54 ---> using "0585f6b0985f7eb566e20fd068ca8d674792c3b808091294d28083728c5a5ee6" from cache
/: (user (uid 1000) (gid 1000))
/: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-05-19 20:38.54 ---> using "ae726e48bd5f551a94db6e06d9a454beed3df8df5b83bbe29cc82399b4efe7ee" from cache
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2025-05-19 20:38.54 ---> using "c9903ef84dcf27b4bdd7ad252272ff9bcb9549fcd436f10e38f136465be2cc4b" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "(sudo apt-get update && sudo apt-get install -yy m4) && (opam pin -ny odoc-parser.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam depext -iy odoc-parser) && (opam pin -ny odoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam depext -iy odoc) && (cp $(opam config var bin)/odoc /home/opam) && (rm -rf $(opam config var prefix))"))
Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
Get:4 http://deb.debian.org/debian bookworm/main amd64 Packages [8793 kB]
Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [259 kB]
Fetched 9306 kB in 2s (3884 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
Suggested packages:
m4-doc
The following NEW packages will be installed:
m4
0 upgraded, 1 newly installed, 0 to remove and 34 not upgraded.
Need to get 287 kB of archives.
After this operation, 686 kB of additional disk space will be used.
Get:1 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 287 kB in 0s (4219 kB/s)
Selecting previously unselected package m4.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18778 files and directories currently installed.)
Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ...
Unpacking m4 (1.4.19-3) ...
Setting up m4 (1.4.19-3) ...
[odoc-parser.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc-parser is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [y/n] y
The following actions will be performed:
=== recompile 1 package
- recompile opam-depext 1.2.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.3 (cached)
-> removed opam-depext.1.2.3
-> installed opam-depext.1.2.3
Done.
<><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# To update the current shell environment, run: eval $(opam env)
<><> Carrying on to "opam depext -iy odoc-parser" <><><><><><><><><><><><><><><>
Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[odoc-parser.dev] synchronised (no changes)
The following actions will be performed:
=== install 8 packages
- install astring 0.8.5 [required by odoc-parser]
- install camlp-streams 5.0.1 [required by odoc-parser]
- install dune 3.18.2 [required by odoc-parser]
- install ocamlbuild 0.16.1 [required by astring]
- install ocamlfind 1.9.8 [required by astring]
- install odoc-parser dev (pinned)
- install result 1.5 [required by odoc-parser]
- install topkg 1.0.8 [required by astring]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved result.1.5 (cached)
-> retrieved topkg.1.0.8 (cached)
-> retrieved dune.3.18.2 (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed topkg.1.0.8
-> installed astring.0.8.5
-> installed dune.3.18.2
-> installed result.1.5
-> installed camlp-streams.5.0.1
-> installed odoc-parser.dev
Done.
# To update the current shell environment, run: eval $(opam env)
[odoc.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[odoc.dev] synchronised (no changes)
The following actions will be performed:
=== install 12 packages
- install cmdliner 1.3.0 [required by odoc]
- install cppo 1.8.0 [required by odoc]
- install crunch 4.0.0 [required by odoc]
- install fmt 0.10.0 [required by odoc]
- install fpath 0.7.3 [required by odoc]
- install odoc dev (pinned)
- install ptime 1.2.0 [required by crunch]
- install re 1.12.0 [required by tyxml]
- install seq base [required by tyxml, yojson]
- install tyxml 4.6.0 [required by odoc]
- install uutf 1.0.4 [required by tyxml]
- install yojson 2.2.2 [required by odoc]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cppo.1.8.0 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved crunch.4.0.0 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved ptime.1.2.0 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved tyxml.4.6.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved yojson.2.2.2 (cached)
-> installed fpath.0.7.3
-> installed re.1.12.0
-> installed cppo.1.8.0
-> installed ptime.1.2.0
-> installed yojson.2.2.2
-> installed cmdliner.1.3.0
-> installed crunch.4.0.0
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed tyxml.4.6.0
-> installed odoc.dev
Done.
# To update the current shell environment, run: eval $(opam env)
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
2025-05-19 20:38.54 ---> using "0d9974ac940c92eca680a3f16b63ab7b56397a059c4bdf4ed8d1fba722f5afff" from cache
2025-05-19 20:38.54 --> finished "tools"
(from ocaml/opam:debian-12-ocaml-5.3@sha256:601a187e2900fccdc210cf20312e1bb4b7d0d219d790e3a816c5bf992c14e3e6)
2025-05-19 20:38.54 ---> using "0585f6b0985f7eb566e20fd068ca8d674792c3b808091294d28083728c5a5ee6" from cache
/: (user (uid 1000) (gid 1000))
/: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-05-19 20:38.54 ---> using "ae726e48bd5f551a94db6e06d9a454beed3df8df5b83bbe29cc82399b4efe7ee" from cache
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2025-05-19 20:38.54 ---> using "c9903ef84dcf27b4bdd7ad252272ff9bcb9549fcd436f10e38f136465be2cc4b" from cache
/home/opam: (workdir /home/opam/docs/)
/home/opam/docs/: (run (shell "sudo chown opam:opam . "))
2025-05-19 20:38.54 ---> using "f583e05756c7aedbc68f4b467c44211a8a83ba43178a1431554751270b250913" from cache
/home/opam/docs/: (copy (from (build tools))
(src /home/opam/odoc)
(dst /home/opam/))
2025-05-19 20:38.55 ---> using "6e9c18b5b7c6f313393da5ca6516d87015caef467adcbe00a6d4daaca88b1c94" from cache
/home/opam/docs/: (copy (from (build odoc_driver))
(src /home/opam/odoc_driver_voodoo /home/opam/sherlodoc /home/opam/odoc-md)
(dst /home/opam/))
2025-05-19 20:38.55 ---> using "582e973685d380d4c91eadc2611eee02c82c5fe4f8bd732e0080fb22bc4404cd" from cache
/home/opam/docs/: (run (shell "mv ~/sherlodoc $(opam config var bin)/sherlodoc"))
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
2025-05-19 20:38.55 ---> using "e1ad684d87e8ecb0503cdc49997ea5d48c4cb27ae7123783a97f5de8d6764315" from cache
/home/opam/docs/: (run (network host)
(shell "sudo apt install -y jq"))
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
libjq1 libonig5
The following NEW packages will be installed:
jq libjq1 libonig5
0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded.
Need to get 388 kB of archives.
After this operation, 1165 kB of additional disk space will be used.
Get:1 http://deb.debian.org/debian bookworm/main amd64 libonig5 amd64 6.9.8-1 [188 kB]
Get:2 http://deb.debian.org/debian bookworm/main amd64 libjq1 amd64 1.6-2.1 [135 kB]
Get:3 http://deb.debian.org/debian bookworm/main amd64 jq amd64 1.6-2.1 [64.9 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 388 kB in 0s (2403 kB/s)
Selecting previously unselected package libonig5:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18778 files and directories currently installed.)
Preparing to unpack .../libonig5_6.9.8-1_amd64.deb ...
Unpacking libonig5:amd64 (6.9.8-1) ...
Selecting previously unselected package libjq1:amd64.
Preparing to unpack .../libjq1_1.6-2.1_amd64.deb ...
Unpacking libjq1:amd64 (1.6-2.1) ...
Selecting previously unselected package jq.
Preparing to unpack .../archives/jq_1.6-2.1_amd64.deb ...
Unpacking jq (1.6-2.1) ...
Setting up libonig5:amd64 (6.9.8-1) ...
Setting up libjq1:amd64 (1.6-2.1) ...
Setting up jq (1.6-2.1) ...
Processing triggers for libc-bin (2.36-9+deb12u10) ...
2025-05-19 20:38.55 ---> using "68b410475ab9f82a3afbc8ba2d0741fcfe949b21d715a40de34978360f4ea08b" from cache
/home/opam/docs/: (run (network host)
(shell "git clone https://github.com/jonludlam/docs-ci-scripts.git && echo NOTRANDOM"))
Cloning into 'docs-ci-scripts'...
NOTRANDOM
2025-05-19 20:38.55 ---> using "4f83f8c4d00a26e017479ab656db6c2e4ea6d9adb8a44d3fb93763aeea9f832c" from cache
/home/opam/docs/: (run (cache (compile-cache (target /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile)))
(network host)
(secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config)))
(shell "(ssh -MNf sage.caelum.ci.dev) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++/1.0 conf-c++.1.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5 conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4 conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0 conf-python-3.9.0.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 false) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/5.3.0 ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/5.3.0 ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler/5.3.0 ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/3 ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8 ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith/1.14 zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/get_prep_for_compile.sh sage.caelum.ci.dev /data prep0/u/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1 prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1) && (export OCAMLRUNPAM=b) && (time opam exec -- /home/opam/odoc_driver_voodoo --verbose --odoc /home/opam/odoc --odoc-md /home/opam/odoc-md --odoc-dir epoch-137f967e4b669fa675bae6ebe4c27b18/compile --odocl-dir linked --html-dir epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw --stats z3 --blessed) && (jq . driver-benchmarks.json || true) && (shopt -s nullglob && ((echo LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1 && [ ! -z \"$(ls -A epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1)\" ] && tar -cvf epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/* && rm -R epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/* && mv epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/content.tar) || (echo 'Empty directory'))) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1 sage.caelum.ci.dev:/data/.) && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1'; HASH=$((sha256sum $1/content.tar 2>/dev/null | cut -d \" \" -f 1) || echo -n 'empty'); rm -f $1/content.tar; printf \"COMPILE:$2:$HASH\\n\";) && (mkdir -p linked && mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18 && mv linked epoch-137f967e4b669fa675bae6ebe4c27b18/) && (mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1) && (shopt -s nullglob && ((echo LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1 && [ ! -z \"$(ls -A epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1)\" ] && tar -cvf epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/* && rm -R epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/* && mv epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/content.tar) || (echo 'Empty directory'))) && (echo raw_folder: epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/ sage.caelum.ci.dev:/data/.) && (echo '0.740267') && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1'; HASH=$((sha256sum $1/content.tar 2>/dev/null | cut -d \" \" -f 1) || echo -n 'empty'); rm -f $1/content.tar; printf \"LINKED:$2:$HASH\\n\";) && (echo '0.407060') && (mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1 sage.caelum.ci.dev:/data/.) && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1' raw; HASH=$(find $1 -type f -exec sha256sum {} \\; | sort | sha256sum); printf \"RAW:$2:$HASH\\n\";) && (rm -rf /home/opam/docs/*)"))
Warning: Permanently added '[sage.caelum.ci.dev]:2222' (ED25519) to the list of known hosts.
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++/1.0
+ epoch=conf-c++.1.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18
+ cache=true
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++/1.0 from sage.caelum.ci.dev enable_cache=true'
+ date
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++/1.0 from sage.caelum.ci.dev enable_cache=true
Mon May 19 21:38:56 BST 2025
+ '[' true = true ']'
+ ldir=/home/opam/.cache/
+ cd /home/opam/.cache/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++/1.0
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++/1.0
+ ln -sf /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++/1.0 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-c++/1.0/.epoch ']'
+ [[ conf-c++.1.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 == \c\o\n\f\-\c\+\+\.\1\.\0\-\b\4\3\4\9\c\f\7\2\3\2\e\6\b\6\6\6\2\1\e\0\8\9\f\2\b\9\b\e\e\e\5\-\1\3\7\f\9\6\7\e\4\b\6\6\9\f\a\6\7\5\b\a\e\6\e\b\e\4\c\2\7\b\1\8 ]]
+ exit 0
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5
+ epoch=conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e-137f967e4b669fa675bae6ebe4c27b18
+ cache=true
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5 from sage.caelum.ci.dev enable_cache=true'
+ date
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5 from sage.caelum.ci.dev enable_cache=true
Mon May 19 21:38:56 BST 2025
+ '[' true = true ']'
+ ldir=/home/opam/.cache/
+ cd /home/opam/.cache/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5
+ ln -sf /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5/.epoch ']'
+ [[ conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e-137f967e4b669fa675bae6ebe4c27b18 == \c\o\n\f\-\g\m\p\.\5\-\c\e\5\6\a\3\9\7\f\5\7\b\2\c\2\2\6\d\9\6\f\d\c\b\7\8\5\d\e\9\8\e\-\1\3\7\f\9\6\7\e\4\b\6\6\9\f\a\6\7\5\b\a\e\6\e\b\e\4\c\2\7\b\1\8 ]]
+ exit 0
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4 from sage.caelum.ci.dev enable_cache=true
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4
+ epoch=conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18
+ cache=true
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4 from sage.caelum.ci.dev enable_cache=true'
+ date
Mon May 19 21:38:56 BST 2025
+ '[' true = true ']'
+ ldir=/home/opam/.cache/
+ cd /home/opam/.cache/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4
+ ln -sf /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4/.epoch ']'
+ [[ conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 == \c\o\n\f\-\p\k\g\-\c\o\n\f\i\g\.\4\-\b\4\3\4\9\c\f\7\2\3\2\e\6\b\6\6\6\2\1\e\0\8\9\f\2\b\9\b\e\e\e\5\-\1\3\7\f\9\6\7\e\4\b\6\6\9\f\a\6\7\5\b\a\e\6\e\b\e\4\c\2\7\b\1\8 ]]
+ exit 0
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0
+ epoch=conf-python-3.9.0.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18
+ cache=false
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0 from sage.caelum.ci.dev enable_cache=false'
+ date
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0 from sage.caelum.ci.dev enable_cache=false
Mon May 19 21:38:56 BST 2025
+ '[' false = true ']'
+ ldir=/tmp/
+ cd /tmp/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0
+ ln -sf /tmp/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0/.epoch ']'
+ mkdir -p /tmp/pkgs
+ RC=1
+ [[ 1 -ne 0 ]]
+ rsync -avR sage.caelum.ci.dev:/data/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0 /tmp/pkgs/
receiving incremental file list
data/
data/epoch-137f967e4b669fa675bae6ebe4c27b18/
data/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/
data/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/
data/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/
data/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0/
data/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0/content.tar
sent 71 bytes received 10,558 bytes 21,258.00 bytes/sec
total size is 10,240 speedup is 0.96
+ RC=0
+ [[ 0 -ne 0 ]]
+ tar xvf /tmp/pkgs//data/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0/content.tar
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0/__odoc_partial.m
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0/doc/
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0/doc/page-index.odoc
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-python-3/9.0.0/doc/.odoc_pkg_marker
+ echo conf-python-3.9.0.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18
+ rm -rf /tmp/pkgs
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/5.3.0
+ epoch=ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81-137f967e4b669fa675bae6ebe4c27b18
+ cache=true
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/5.3.0 from sage.caelum.ci.dev enable_cache=true'
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/5.3.0 from sage.caelum.ci.dev enable_cache=true
+ date
Mon May 19 21:38:56 BST 2025
+ '[' true = true ']'
+ ldir=/home/opam/.cache/
+ cd /home/opam/.cache/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/5.3.0
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/5.3.0
+ ln -sf /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/5.3.0 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/5.3.0/.epoch ']'
+ [[ ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81-137f967e4b669fa675bae6ebe4c27b18 == \o\c\a\m\l\.\5\.\3\.\0\-\f\a\1\e\7\b\2\3\1\b\e\6\d\3\7\a\5\e\0\7\6\7\4\7\5\8\8\e\8\a\8\1\-\1\3\7\f\9\6\7\e\4\b\6\6\9\f\a\6\7\5\b\a\e\6\e\b\e\4\c\2\7\b\1\8 ]]
+ exit 0
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/5.3.0
+ epoch=ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63-137f967e4b669fa675bae6ebe4c27b18
+ cache=true
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/5.3.0 from sage.caelum.ci.dev enable_cache=true'
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/5.3.0 from sage.caelum.ci.dev enable_cache=true
+ date
Mon May 19 21:38:56 BST 2025
+ '[' true = true ']'
+ ldir=/home/opam/.cache/
+ cd /home/opam/.cache/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/5.3.0
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/5.3.0
+ ln -sf /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/5.3.0 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/5.3.0/.epoch ']'
+ [[ ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63-137f967e4b669fa675bae6ebe4c27b18 == \o\c\a\m\l\-\b\a\s\e\-\c\o\m\p\i\l\e\r\.\5\.\3\.\0\-\2\5\9\c\c\3\b\1\6\b\9\8\1\e\6\a\5\1\e\2\0\7\5\7\f\9\c\d\8\e\6\3\-\1\3\7\f\9\6\7\e\4\b\6\6\9\f\a\6\7\5\b\a\e\6\e\b\e\4\c\2\7\b\1\8 ]]
+ exit 0
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler/5.3.0
+ epoch=ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18
+ cache=true
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler/5.3.0 from sage.caelum.ci.dev enable_cache=true'
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler/5.3.0 from sage.caelum.ci.dev enable_cache=true
+ date
Mon May 19 21:38:56 BST 2025
+ '[' true = true ']'
+ ldir=/home/opam/.cache/
+ cd /home/opam/.cache/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler/5.3.0
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler/5.3.0
+ ln -sf /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler/5.3.0 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-compiler/5.3.0/.epoch ']'
+ [[ ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5-137f967e4b669fa675bae6ebe4c27b18 == \o\c\a\m\l\-\c\o\m\p\i\l\e\r\.\5\.\3\.\0\-\b\4\3\4\9\c\f\7\2\3\2\e\6\b\6\6\6\2\1\e\0\8\9\f\2\b\9\b\e\e\e\5\-\1\3\7\f\9\6\7\e\4\b\6\6\9\f\a\6\7\5\b\a\e\6\e\b\e\4\c\2\7\b\1\8 ]]
+ exit 0
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/3
+ epoch=ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d-137f967e4b669fa675bae6ebe4c27b18
+ cache=true
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/3 from sage.caelum.ci.dev enable_cache=true'
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/3 from sage.caelum.ci.dev enable_cache=true
+ date
Mon May 19 21:38:56 BST 2025
+ '[' true = true ']'
+ ldir=/home/opam/.cache/
+ cd /home/opam/.cache/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/3
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/3
+ ln -sf /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/3 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/3/.epoch ']'
+ [[ ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d-137f967e4b669fa675bae6ebe4c27b18 == \o\c\a\m\l\-\c\o\n\f\i\g\.\3\-\5\9\3\d\6\2\e\5\4\e\3\f\b\7\3\4\e\5\2\b\e\3\6\0\e\c\f\9\0\b\6\d\-\1\3\7\f\9\6\7\e\4\b\6\6\9\f\a\6\7\5\b\a\e\6\e\b\e\4\c\2\7\b\1\8 ]]
+ exit 0
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8
+ epoch=ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a-137f967e4b669fa675bae6ebe4c27b18
+ cache=true
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8 from sage.caelum.ci.dev enable_cache=true'
+ date
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8 from sage.caelum.ci.dev enable_cache=true
Mon May 19 21:38:56 BST 2025
+ '[' true = true ']'
+ ldir=/home/opam/.cache/
+ cd /home/opam/.cache/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8
+ ln -sf /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8/.epoch ']'
+ [[ ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a-137f967e4b669fa675bae6ebe4c27b18 == \o\c\a\m\l\f\i\n\d\.\1\.\9\.\8\-\c\4\3\b\1\7\a\b\d\e\b\9\c\1\3\d\2\c\e\b\8\3\d\3\0\9\e\d\6\3\2\a\-\1\3\7\f\9\6\7\e\4\b\6\6\9\f\a\6\7\5\b\a\e\6\e\b\e\4\c\2\7\b\1\8 ]]
+ exit 0
+ host=sage.caelum.ci.dev
+ dir=/data
+ pkg=epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith/1.14
+ epoch=zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad-137f967e4b669fa675bae6ebe4c27b18
+ cache=true
+ echo 'Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith/1.14 from sage.caelum.ci.dev enable_cache=true'
+ date
Downloading compiled pkg epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith/1.14 from sage.caelum.ci.dev enable_cache=true
Mon May 19 21:38:56 BST 2025
+ '[' true = true ']'
+ ldir=/home/opam/.cache/
+ cd /home/opam/.cache/
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith/1.14
+ mkdir -p /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith
++ dirname epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith/1.14
+ ln -sf /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith/1.14 /home/opam/docs/epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith
+ '[' -f epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/zarith/1.14/.epoch ']'
+ [[ zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad-137f967e4b669fa675bae6ebe4c27b18 == \z\a\r\i\t\h\.\1\.\1\4\-\1\c\d\9\a\c\6\2\a\a\3\b\d\f\3\d\c\6\c\9\4\2\c\f\0\6\7\9\4\0\a\d\-\1\3\7\f\9\6\7\e\4\b\6\6\9\f\a\6\7\5\b\a\e\6\e\b\e\4\c\2\7\b\1\8 ]]
+ exit 0
+ set -e
+ host=sage.caelum.ci.dev
+ dir=/data
+ prep_path=prep0/u/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1
+ local_prep_path=prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1
+ rsync -a sage.caelum.ci.dev:/data/prep0/u/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/content.tar .
real 0m0.383s
user 0m0.033s
sys 0m0.088s
+ tar xf content.tar
+ mkdir -p prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1
+ mv home/opam/.opam/5.3/bin home/opam/.opam/5.3/lib prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1
+ mv home/opam/.opam/5.3/.opam-switch/packages/z3.4.9.1/opam prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1
process_meta_file: prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: z3, [3]
odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/doc/z3/odoc-config.sexp
prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/doc/z3/odoc-config.sexp: No such file or directory
odoc_driver_voodoo: [DEBUG] Config.packages:
process_meta_file: prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/META
odoc_driver_voodoo: [DEBUG] prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/z3ml,z3
odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/ for package z3
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/odoc classify prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/z3.cmti (then prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/Z3.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/z3.cmt (then prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/Z3.cmt)
odoc_driver_voodoo: [INFO] No files for module: Z3
odoc_driver_voodoo: [DEBUG] Checking prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/z3enums.cmti (then prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/Z3enums.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/z3enums.cmt (then prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/Z3enums.cmt)
odoc_driver_voodoo: [INFO] No files for module: Z3enums
odoc_driver_voodoo: [DEBUG] Checking prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/z3native.cmti (then prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/Z3native.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/z3native.cmt (then prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/Z3native.cmt)
odoc_driver_voodoo: [INFO] No files for module: Z3native
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/stublibs
odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/z3/
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/stublibs
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/stublibs for package z3
odoc_driver_voodoo: [DEBUG] 1 - Executing: /home/opam/odoc classify prep/universes/28ee27b79eba6813c283b2f2f665b2ec/z3/4.9.1/lib/stublibs
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ce56a397f57b2c226d96fdcb785de98e/conf-gmp/5/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/b4349cf7232e6b66621e089f2b9beee5/conf-pkg-config/4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/c43b17abdeb9c13d2ceb83d309ed632a/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/conf-c++/1.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/conf-python-3/9.0.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml/5.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/5.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler/5.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-config/3/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 371 precompiled units, 0 other units
odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/odoc compile _mld/p/z3/4.9.1/doc/index.mld --output-dir epoch-137f967e4b669fa675bae6ebe4c27b18/compile --enable-missing-root-warning --parent-id p/z3/4.9.1/doc
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/odoc compile _mld/p/z3/4.9.1/doc/z3/index.mld --output-dir epoch-137f967e4b669fa675bae6ebe4c27b18/compile --enable-missing-root-warning --parent-id p/z3/4.9.1/doc/z3
odoc_driver_voodoo: [DEBUG] linking epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/z3/page-index.odoc
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/odoc link epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/page-index.odoc -o linked/p/z3/4.9.1/doc/page-index.odocl -P z3:epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc -L z3:epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/z3 --enable-missing-root-warning --warnings-tags z3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/odoc link epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/z3/page-index.odoc -o linked/p/z3/4.9.1/doc/z3/page-index.odocl -L z3:epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/z3 --enable-missing-root-warning --warnings-tags z3
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/odoc count-occurrences epoch-137f967e4b669fa675bae6ebe4c27b18/compile -o epoch-137f967e4b669fa675bae6ebe4c27b18/compile/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 7 - Executing: sherlodoc js epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/odoc compile-index -o _index/z3/index.odoc-index --root linked/p/z3/4.9.1/doc --occurrences epoch-137f967e4b669fa675bae6ebe4c27b18/compile/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/odoc sidebar-generate -o _index/z3/sidebar.odoc-sidebar _index/z3/index.odoc-index
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/odoc sidebar-generate --json -o epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1/doc/sidebar.json _index/z3/index.odoc-index
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/odoc compile-index --json --simplified-json --wrap-json -o epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1/doc/index.js --root linked/p/z3/4.9.1/doc --occurrences epoch-137f967e4b669fa675bae6ebe4c27b18/compile/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 12 - Executing: sherlodoc index --format js _index/z3/index.odoc-index -o epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/odoc html-generate linked/p/z3/4.9.1/doc/page-index.odocl --sidebar _index/z3/sidebar.odoc-sidebar --search-uri p/z3/4.9.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/odoc html-generate linked/p/z3/4.9.1/doc/z3/page-index.odocl --sidebar _index/z3/sidebar.odoc-sidebar --search-uri p/z3/4.9.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/odoc html-generate linked/p/z3/4.9.1/doc/page-index.odocl --sidebar _index/z3/sidebar.odoc-sidebar --search-uri p/z3/4.9.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/odoc html-generate linked/p/z3/4.9.1/doc/z3/page-index.odocl --sidebar _index/z3/sidebar.odoc-sidebar --search-uri p/z3/4.9.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/odoc support-files -o epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw
real 0m0.284s
user 0m0.132s
sys 0m0.212s
jq: error: Could not open file driver-benchmarks.json: No such file or directory
LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/__odoc_partial.m
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/page-index.odoc
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/z3/
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/z3/page-index.odoc
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/z3/.odoc_lib_marker
epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/z3/4.9.1/doc/.odoc_pkg_marker
real 0m0.064s
user 0m0.010s
sys 0m0.005s
COMPILE::63a2441a001e926582ea1ad3bcb7a0f91944761c6066d81d450e0c1e6425890a
LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1
epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/doc/
epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/doc/page-index.odocl
epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/doc/z3/
epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/z3/4.9.1/doc/z3/page-index.odocl
raw_folder: epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/z3/4.9.1
real 0m0.066s
user 0m0.008s
sys 0m0.008s
0.740267
LINKED::293efe1224db585990259cbf07b36d619b07e82c98de09499456994997db2fc5
0.407060
real 0m0.066s
user 0m0.006s
sys 0m0.009s
RAW:raw:6057b7294a668b06c0eb206a1d9a381bb96926f1524a9c7f466efc78b39c5fbe -
2025-05-19 20:38.57 ---> saved as "6ba63ba9e3acf200221ee480672f6fbff280a03c90eecb4cc24d58e37c4ac77d"
Job succeeded
2025-05-19 20:38.59: Job succeeded