Building on x86-bm-c14.sw.ocaml.org
(from ocaml/opam:debian-unstable)
2025-01-01 17:25.25 ---> 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-01-01 17:25.25 ---> 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 2d85539cd05071ec4f91d6c4ee35d2adc44aa283"))
2025-01-01 17:25.25 ---> using "c3dc34689001c88c5c748166aac21d000b27417b693a8a050c46c712e4c6f12f" 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-01-01 17:25.25 ---> using "5a348168a87ee09c4f105e0c0448a2ea8bfb106cbf2d1e7ff2090f1392205351" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.0' '5.0.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.0.0"} | "ocaml-system" {= "5.0.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.0.0 (cached)
-> installed ocaml-base-compiler.5.0.0
-> installed ocaml-config.3
-> installed ocaml.5.0.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.0)
2025-01-01 17:25.25 ---> using "c345ae158af961b4c7a6f7c50041ace3c2b6f566df82f8573386194c691acd33" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [205 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-01-01-1406.38-F-2024-12-21-0229.21.pdiff [800 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-01-01-1406.38-F-2024-12-21-0229.21.pdiff [800 kB]
- Fetched 1069 kB in 4s (279 kB/s)
- Reading package lists...
-
2025-01-01 17:25.25 ---> using "f0f28200d140c169333d7e72ed77c77ad6a732efdf704d1fb6de833424e2510a" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"conf-csdp.1\"\
\nopam install -vy \"conf-csdp.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"conf-csdp.1\" | 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\
\n"))
[NOTE] conf-csdp.1 is not installed.
Nothing to do.
The following actions will be performed:
=== install 1 package
- install conf-csdp 1
The following system packages will first need to be installed:
coinor-csdp
<><> 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" "coinor-csdp"
- debconf: delaying package configuration, since apt-utils is not installed
- (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 ... 19802 files and directories currently installed.)
- Preparing to unpack .../00-libcc1-0_14.2.0-12_amd64.deb ...
- Unpacking libcc1-0:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../01-libgomp1_14.2.0-12_amd64.deb ...
- Unpacking libgomp1:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../02-libitm1_14.2.0-12_amd64.deb ...
- Unpacking libitm1:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../03-libatomic1_14.2.0-12_amd64.deb ...
- Unpacking libatomic1:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../04-libasan8_14.2.0-12_amd64.deb ...
- Unpacking libasan8:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../05-liblsan0_14.2.0-12_amd64.deb ...
- Unpacking liblsan0:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../06-libtsan2_14.2.0-12_amd64.deb ...
- Unpacking libtsan2:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../07-libubsan1_14.2.0-12_amd64.deb ...
- Unpacking libubsan1:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../08-libhwasan0_14.2.0-12_amd64.deb ...
- Unpacking libhwasan0:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../09-libquadmath0_14.2.0-12_amd64.deb ...
- Unpacking libquadmath0:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../10-gcc-14-base_14.2.0-12_amd64.deb ...
- Unpacking gcc-14-base:amd64 (14.2.0-12) over (14.2.0-11) ...
- Setting up gcc-14-base:amd64 (14.2.0-12) ...
- (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 ... 19802 files and directories currently installed.)
- Preparing to unpack .../libstdc++6_14.2.0-12_amd64.deb ...
- Unpacking libstdc++6:amd64 (14.2.0-12) over (14.2.0-11) ...
- Setting up libstdc++6:amd64 (14.2.0-12) ...
- (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 ... 19802 files and directories currently installed.)
- Preparing to unpack .../0-gcc-14_14.2.0-12_amd64.deb ...
- Unpacking gcc-14 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../1-g++-14_14.2.0-12_amd64.deb ...
- Unpacking g++-14 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../2-g++-14-x86-64-linux-gnu_14.2.0-12_amd64.deb ...
- Unpacking g++-14-x86-64-linux-gnu (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../3-libstdc++-14-dev_14.2.0-12_amd64.deb ...
- Unpacking libstdc++-14-dev:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../4-libgcc-14-dev_14.2.0-12_amd64.deb ...
- Unpacking libgcc-14-dev:amd64 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../5-gcc-14-x86-64-linux-gnu_14.2.0-12_amd64.deb ...
- Unpacking gcc-14-x86-64-linux-gnu (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../6-cpp-14-x86-64-linux-gnu_14.2.0-12_amd64.deb ...
- Unpacking cpp-14-x86-64-linux-gnu (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../7-cpp-14_14.2.0-12_amd64.deb ...
- Unpacking cpp-14 (14.2.0-12) over (14.2.0-11) ...
- Preparing to unpack .../8-libgcc-s1_14.2.0-12_amd64.deb ...
- Unpacking libgcc-s1:amd64 (14.2.0-12) over (14.2.0-11) ...
- Setting up libgcc-s1:amd64 (14.2.0-12) ...
- Selecting previously unselected package libblas3: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 ... 19802 files and directories currently installed.)
- Preparing to unpack .../libblas3_3.12.0-4_amd64.deb ...
- Unpacking libblas3:amd64 (3.12.0-4) ...
- Selecting previously unselected package libgfortran5:amd64.
- Preparing to unpack .../libgfortran5_14.2.0-12_amd64.deb ...
- Unpacking libgfortran5:amd64 (14.2.0-12) ...
- Selecting previously unselected package liblapack3:amd64.
- Preparing to unpack .../liblapack3_3.12.0-4_amd64.deb ...
- Unpacking liblapack3:amd64 (3.12.0-4) ...
- Selecting previously unselected package libsdp0:amd64.
- Preparing to unpack .../libsdp0_6.2.0-5+b2_amd64.deb ...
- Unpacking libsdp0:amd64 (6.2.0-5+b2) ...
- Selecting previously unselected package coinor-csdp.
- Preparing to unpack .../coinor-csdp_6.2.0-5+b2_amd64.deb ...
- Unpacking coinor-csdp (6.2.0-5+b2) ...
- Setting up libgomp1:amd64 (14.2.0-12) ...
- Setting up libblas3:amd64 (3.12.0-4) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/blas/libblas.so.3 to provide /usr/lib/x86_64-linux-gnu/libblas.so.3 (libblas.so.3-x86_64-linux-gnu) in auto mode
- Setting up libquadmath0:amd64 (14.2.0-12) ...
- Setting up libatomic1:amd64 (14.2.0-12) ...
- Setting up cpp-14-x86-64-linux-gnu (14.2.0-12) ...
- Setting up libgfortran5:amd64 (14.2.0-12) ...
- Setting up cpp-14 (14.2.0-12) ...
- Setting up libubsan1:amd64 (14.2.0-12) ...
- Setting up libhwasan0:amd64 (14.2.0-12) ...
- Setting up libasan8:amd64 (14.2.0-12) ...
- Setting up libtsan2:amd64 (14.2.0-12) ...
- Setting up libcc1-0:amd64 (14.2.0-12) ...
- Setting up liblsan0:amd64 (14.2.0-12) ...
- Setting up libitm1:amd64 (14.2.0-12) ...
- Setting up liblapack3:amd64 (3.12.0-4) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/lapack/liblapack.so.3 to provide /usr/lib/x86_64-linux-gnu/liblapack.so.3 (liblapack.so.3-x86_64-linux-gnu) in auto mode
- Setting up libsdp0:amd64 (6.2.0-5+b2) ...
- Setting up coinor-csdp (6.2.0-5+b2) ...
- Setting up libgcc-14-dev:amd64 (14.2.0-12) ...
- Setting up libstdc++-14-dev:amd64 (14.2.0-12) ...
- Setting up gcc-14-x86-64-linux-gnu (14.2.0-12) ...
- Setting up gcc-14 (14.2.0-12) ...
- Setting up g++-14-x86-64-linux-gnu (14.2.0-12) ...
- Setting up g++-14 (14.2.0-12) ...
- Processing triggers for libc-bin (2.40-4) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/3: [conf-csdp: sh command -v csdp]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "command -v csdp" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-csdp.1)
- + command -v csdp
- /usr/bin/csdp
-> compiled conf-csdp.1
-> installed conf-csdp.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-01-01 17:25.44 ---> saved as "e3c3f22c7fc7f455e1b7428fdb4e1f56b5ceb462c40bd408a7e1a8718b448634"
Job succeeded
Home|Differences with the last checks|Previous runs