Building on laodoke.caelum.ci.dev
(from ocaml/opam:debian-unstable)
2025-05-23 05:12.15 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-05-23 05:12.15 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q d4d1aa63ab7830b868cb8cbd85e076c699d8eb06"))
2025-05-23 05:12.15 ---> using "9dd08d1070d43bd32b9bd541b7c80c489e99c8b764fe1cf09cf53dcf45faae9d" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-05-23 05:12.15 ---> using "d921eb389f66f97f3cd81fad6e72bfcbf285b9f49ad655f05bd4f22ef863e39d" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.08' '4.08.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.08.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.1 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.08.1 (cached)
-> installed ocaml-base-compiler.4.08.1
-> installed ocaml-config.1
-> installed ocaml.4.08.1
Done.
# To update the current shell environment, run: eval $(opam env --switch=4.08)
2025-05-23 05:12.15 ---> using "d52572fe2dfe22c81dbf457d2e3b01cd299a567f999d2880d53a60049aed228f" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [208 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-05-22-2015.53-F-2025-05-11-0804.30.pdiff [289 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-05-22-2015.53-F-2025-05-11-0804.30.pdiff [289 kB]
- Fetched 560 kB in 4s (142 kB/s)
- Reading package lists...
-
2025-05-23 05:12.15 ---> using "3d32cf0c5180e85e40c406588ac39856f88827260bc11d6a8f51d30352fbfb50" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y conf-llvm.17\
\nopam install -vy conf-llvm.17\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: conf-llvm.17 | grep -q 'debian-unstable'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi \
\n\
\n\
\nexit $res"))
[NOTE] conf-llvm.17 is not installed.
Nothing to do.
The following actions will be performed:
=== install 2 packages
- install conf-bash 1 [required by conf-llvm]
- install conf-llvm 17
The following system packages will first need to be installed:
llvm-17-dev zlib1g-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "llvm-17-dev" "zlib1g-dev"
- Selecting previously unselected package libpipeline1: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 ... 20678 files and directories currently installed.)
- Preparing to unpack .../libpipeline1_1.5.8-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.8-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../binfmt-support_2.2.2-7_amd64.deb ...
- Unpacking binfmt-support (2.2.2-7) ...
- Selecting previously unselected package libpython3.13-minimal:amd64.
- Preparing to unpack .../libpython3.13-minimal_3.13.3-4_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.3-4) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.3-4_amd64.deb ...
- Unpacking python3.13-minimal (3.13.3-4) ...
- Setting up libpython3.13-minimal:amd64 (3.13.3-4) ...
- Setting up python3.13-minimal (3.13.3-4) ...
- Selecting previously unselected package python3-minimal.
- (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 ... 21025 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.3-1_amd64.deb ...
- Unpacking python3-minimal (3.13.3-1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_13.0.0_all.deb ...
- Unpacking media-types (13.0.0) ...
- Selecting previously unselected package readline-common.
- Preparing to unpack .../2-readline-common_8.2-6_all.deb ...
- Unpacking readline-common (8.2-6) ...
- Selecting previously unselected package libreadline8t64:amd64.
- Preparing to unpack .../3-libreadline8t64_8.2-6_amd64.deb ...
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
- Unpacking libreadline8t64:amd64 (8.2-6) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../4-libpython3.13-stdlib_3.13.3-4_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.3-4) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.3-4_amd64.deb ...
- Unpacking python3.13 (3.13.3-4) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.3-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.3-1) ...
- Setting up python3-minimal (3.13.3-1) ...
- Selecting previously unselected package python3.
- (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 ... 21511 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.13.3-1_amd64.deb ...
- Unpacking python3 (3.13.3-1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../01-libxml2_2.12.7+dfsg+really2.9.14-1_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-1) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../02-libz3-4_4.13.3-1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.13.3-1) ...
- Selecting previously unselected package libllvm17t64:amd64.
- Preparing to unpack .../03-libllvm17t64_1%3a17.0.6-21+b1_amd64.deb ...
- Unpacking libllvm17t64:amd64 (1:17.0.6-21+b1) ...
- Selecting previously unselected package libclang-cpp17t64.
- Preparing to unpack .../04-libclang-cpp17t64_1%3a17.0.6-21+b1_amd64.deb ...
- Unpacking libclang-cpp17t64 (1:17.0.6-21+b1) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../05-libffi-dev_3.4.8-2_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.8-2) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../06-libncurses6_6.5+20250216-2_amd64.deb ...
- Unpacking libncurses6:amd64 (6.5+20250216-2) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../07-libncurses-dev_6.5+20250216-2_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.5+20250216-2) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../08-libpfm4_4.13.0+git99-gc5587f9-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../09-libxml2-dev_2.12.7+dfsg+really2.9.14-1_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-1) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../10-libyaml-0-2_0.2.5-2_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../11-libz3-dev_4.13.3-1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.13.3-1) ...
- Selecting previously unselected package llvm-17-runtime.
- Preparing to unpack .../12-llvm-17-runtime_1%3a17.0.6-21+b1_amd64.deb ...
- Unpacking llvm-17-runtime (1:17.0.6-21+b1) ...
- Selecting previously unselected package llvm-17-linker-tools.
- Preparing to unpack .../13-llvm-17-linker-tools_1%3a17.0.6-21+b1_amd64.deb ...
- Unpacking llvm-17-linker-tools (1:17.0.6-21+b1) ...
- Selecting previously unselected package llvm-17.
- Preparing to unpack .../14-llvm-17_1%3a17.0.6-21+b1_amd64.deb ...
- Unpacking llvm-17 (1:17.0.6-21+b1) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../15-python3-pygments_2.18.0+dfsg-2_all.deb ...
- Unpacking python3-pygments (2.18.0+dfsg-2) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../16-python3-yaml_6.0.2-1+b2_amd64.deb ...
- Unpacking python3-yaml (6.0.2-1+b2) ...
- Selecting previously unselected package llvm-17-tools.
- Preparing to unpack .../17-llvm-17-tools_1%3a17.0.6-21+b1_amd64.deb ...
- Unpacking llvm-17-tools (1:17.0.6-21+b1) ...
- Selecting previously unselected package llvm-17-dev.
- Preparing to unpack .../18-llvm-17-dev_1%3a17.0.6-21+b1_amd64.deb ...
- Unpacking llvm-17-dev (1:17.0.6-21+b1) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../19-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- Setting up media-types (13.0.0) ...
- Setting up libpipeline1:amd64 (1.5.8-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-2) ...
- Setting up libffi-dev:amd64 (3.4.8-2) ...
- Setting up libz3-4:amd64 (4.13.3-1) ...
- Setting up libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ...
- Setting up libncurses6:amd64 (6.5+20250216-2) ...
- Setting up binfmt-support (2.2.2-7) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- Setting up readline-common (8.2-6) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-1) ...
- Setting up libz3-dev:amd64 (4.13.3-1) ...
- Setting up libncurses-dev:amd64 (6.5+20250216-2) ...
- Setting up libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-1) ...
- Setting up libllvm17t64:amd64 (1:17.0.6-21+b1) ...
- Setting up libreadline8t64:amd64 (8.2-6) ...
- Setting up llvm-17-runtime (1:17.0.6-21+b1) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.3-4) ...
- Setting up libpython3-stdlib:amd64 (3.13.3-1) ...
- Setting up llvm-17-linker-tools (1:17.0.6-21+b1) ...
- Setting up python3.13 (3.13.3-4) ...
- Setting up python3 (3.13.3-1) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Setting up libclang-cpp17t64 (1:17.0.6-21+b1) ...
- Setting up python3-pygments (2.18.0+dfsg-2) ...
- Setting up llvm-17 (1:17.0.6-21+b1) ...
- Setting up python3-yaml (6.0.2-1+b2) ...
- Setting up llvm-17-tools (1:17.0.6-21+b1) ...
- Setting up llvm-17-dev (1:17.0.6-21+b1) ...
- Processing triggers for libc-bin (2.41-7) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-llvm.17 (cached)
Processing 3/6: [conf-bash: bash]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "bash" "--version" (CWD=/home/opam/.opam/4.08/.opam-switch/build/conf-bash.1)
- GNU bash, version 5.2.37(1)-release (x86_64-pc-linux-gnu)
- Copyright (C) 2022 Free Software Foundation, Inc.
- License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
-
- This is free software; you are free to change and redistribute it.
- There is NO WARRANTY, to the extent permitted by law.
-> compiled conf-bash.1
-> installed conf-bash.1
Processing 5/6: [conf-llvm: bash configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "bash" "configure.sh" "17" (CWD=/home/opam/.opam/4.08/.opam-switch/build/conf-llvm.17)
- + version=17
- + hash brew
- + shopt -s nullglob
- + for llvm_config in llvm-config-$version llvm-config${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config-mp-$version llvm-config-mp-${version}.0 llvm${version}-config llvm-config-${version}-32 llvm-config-${version}-64 llvm-config $brew_llvm_config
- ++ llvm-config-17 --version
- + llvm_version=17.0.6
- + case $llvm_version in
- + echo 'config: "llvm-config-17"'
- + echo 'version: "17.0.6"'
- + exit 0
-> compiled conf-llvm.17
-> installed conf-llvm.17
Done.
# To update the current shell environment, run: eval $(opam env)
2025-05-23 05:18.14 ---> saved as "b9ec8d06a9f1ff6ecf02684419100cc43a73179ee1af044025f8f03f97067227"
Job succeeded
Home|Differences with the last checks|Previous runs