Building on clete
(from ocaml/opam:debian-12)
Unable to find image 'ocaml/opam:debian-12' locally
debian-12: Pulling from ocaml/opam
Digest: sha256:2c522bba435007ee57603a129ba191bd3a153391f2426add01a61e20a2e406b4
Status: Downloaded newer image for ocaml/opam:debian-12
2025-10-21 05:43.38 ---> using "3551d9ed2d69f19aec1e4e931b1f046c3436a7d1cffba906f040bcef59cc3f6d" 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-10-21 05:43.38 ---> using "ee98a3b74cf685b158a24abe5d8f69cc8831775c32f916dac90643d1e3693e5c" 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 5bf570252bd9fee71938b828ca0b86573c1e3355"))
2025-10-21 05:43.38 ---> using "434b1b669376d3b88174e87d32f1bdcd7c0791cd426e88f697a526998f081125" 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.
2025-10-21 05:43.38 ---> using "b8b19d77cfcfbeb85030778b327c4efa12ef84543ed5f1b93d7194796b4e5913" 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-10-21 05:43.38 ---> using "6efded552ea6c4bff59cf0b106f6ac9189218d551d877debb92b12175e80b6a2" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- 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]
- Fetched 103 kB in 0s (247 kB/s)
- Reading package lists...
-
2025-10-21 05:43.38 ---> using "c031c8260527222253cc67bab8c9883da13510cfd195b533ff62df408edbbeeb" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y conf-swi-prolog.1\
\nopam install -vy conf-swi-prolog.1\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: conf-swi-prolog.1 | grep -q 'debian-12'; 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"))
Nothing to do.
[NOTE] conf-swi-prolog.1 is not installed.
The following actions will be performed:
=== install 1 package
- install conf-swi-prolog 1
The following system packages will first need to be installed:
swi-prolog
<><> 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" "swi-prolog"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package sensible-utils.
- (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 ... 18784 files and directories currently installed.)
- Preparing to unpack .../00-sensible-utils_0.0.17+nmu1_all.deb ...
- Unpacking sensible-utils (0.0.17+nmu1) ...
- Selecting previously unselected package libmagic-mgc.
- Preparing to unpack .../01-libmagic-mgc_1%3a5.44-3_amd64.deb ...
- Unpacking libmagic-mgc (1:5.44-3) ...
- Selecting previously unselected package libmagic1:amd64.
- Preparing to unpack .../02-libmagic1_1%3a5.44-3_amd64.deb ...
- Unpacking libmagic1:amd64 (1:5.44-3) ...
- Selecting previously unselected package file.
- Preparing to unpack .../03-file_1%3a5.44-3_amd64.deb ...
- Unpacking file (1:5.44-3) ...
- Selecting previously unselected package gettext-base.
- Preparing to unpack .../04-gettext-base_0.21-12_amd64.deb ...
- Unpacking gettext-base (0.21-12) ...
- Selecting previously unselected package libuchardet0:amd64.
- Preparing to unpack .../05-libuchardet0_0.0.7-1_amd64.deb ...
- Unpacking libuchardet0:amd64 (0.0.7-1) ...
- Selecting previously unselected package groff-base.
- Preparing to unpack .../06-groff-base_1.22.4-10_amd64.deb ...
- Unpacking groff-base (1.22.4-10) ...
- Selecting previously unselected package bsdextrautils.
- Preparing to unpack .../07-bsdextrautils_2.38.1-5+deb12u3_amd64.deb ...
- Unpacking bsdextrautils (2.38.1-5+deb12u3) ...
- Selecting previously unselected package libpipeline1:amd64.
- Preparing to unpack .../08-libpipeline1_1.5.7-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.7-1) ...
- Selecting previously unselected package man-db.
- Preparing to unpack .../09-man-db_2.11.2-2_amd64.deb ...
- Unpacking man-db (2.11.2-2) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../10-m4_1.4.19-3_amd64.deb ...
- Unpacking m4 (1.4.19-3) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../11-autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../12-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../13-automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Selecting previously unselected package autopoint.
- Preparing to unpack .../14-autopoint_0.21-12_all.deb ...
- Unpacking autopoint (0.21-12) ...
- Selecting previously unselected package libdebhelper-perl.
- Preparing to unpack .../15-libdebhelper-perl_13.11.4_all.deb ...
- Unpacking libdebhelper-perl (13.11.4) ...
- Selecting previously unselected package libtool.
- Preparing to unpack .../16-libtool_2.4.7-7~deb12u1_all.deb ...
- Unpacking libtool (2.4.7-7~deb12u1) ...
- Selecting previously unselected package dh-autoreconf.
- Preparing to unpack .../17-dh-autoreconf_20_all.deb ...
- Unpacking dh-autoreconf (20) ...
- Selecting previously unselected package libarchive-zip-perl.
- Preparing to unpack .../18-libarchive-zip-perl_1.68-1_all.deb ...
- Unpacking libarchive-zip-perl (1.68-1) ...
- Selecting previously unselected package libsub-override-perl.
- Preparing to unpack .../19-libsub-override-perl_0.09-4_all.deb ...
- Unpacking libsub-override-perl (0.09-4) ...
- Selecting previously unselected package libfile-stripnondeterminism-perl.
- Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ...
- Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ...
- Selecting previously unselected package dh-strip-nondeterminism.
- Preparing to unpack .../21-dh-strip-nondeterminism_1.13.1-1_all.deb ...
- Unpacking dh-strip-nondeterminism (1.13.1-1) ...
- Selecting previously unselected package libelf1:amd64.
- Preparing to unpack .../22-libelf1_0.188-2.1_amd64.deb ...
- Unpacking libelf1:amd64 (0.188-2.1) ...
- Selecting previously unselected package dwz.
- Preparing to unpack .../23-dwz_0.15-1_amd64.deb ...
- Unpacking dwz (0.15-1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../24-libicu72_72.1-3+deb12u1_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3+deb12u1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../25-libxml2_2.9.14+dfsg-1.3~deb12u4_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u4) ...
- Selecting previously unselected package gettext.
- Preparing to unpack .../26-gettext_0.21-12_amd64.deb ...
- Unpacking gettext (0.21-12) ...
- Selecting previously unselected package intltool-debian.
- Preparing to unpack .../27-intltool-debian_0.35.0+20060710.6_all.deb ...
- Unpacking intltool-debian (0.35.0+20060710.6) ...
- Selecting previously unselected package po-debconf.
- Preparing to unpack .../28-po-debconf_1.0.21+nmu1_all.deb ...
- Unpacking po-debconf (1.0.21+nmu1) ...
- Selecting previously unselected package debhelper.
- Preparing to unpack .../29-debhelper_13.11.4_all.deb ...
- Unpacking debhelper (13.11.4) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../30-javascript-common_11+nmu1_all.deb ...
- Unpacking javascript-common (11+nmu1) ...
- Selecting previously unselected package libarchive-cpio-perl.
- Preparing to unpack .../31-libarchive-cpio-perl_0.10-3_all.deb ...
- Unpacking libarchive-cpio-perl (0.10-3) ...
- Selecting previously unselected package libarchive13:amd64.
- Preparing to unpack .../32-libarchive13_3.6.2-1+deb12u3_amd64.deb ...
- Unpacking libarchive13:amd64 (3.6.2-1+deb12u3) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../33-x11-common_1%3a7.7+23_all.deb ...
- Unpacking x11-common (1:7.7+23) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../34-libice6_2%3a1.0.10-1_amd64.deb ...
- Unpacking libice6:amd64 (2:1.0.10-1) ...
- Selecting previously unselected package libjs-jquery.
- Preparing to unpack .../35-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ...
- Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Selecting previously unselected package libltdl7:amd64.
- Preparing to unpack .../36-libltdl7_2.4.7-7~deb12u1_amd64.deb ...
- Unpacking libltdl7:amd64 (2.4.7-7~deb12u1) ...
- Selecting previously unselected package libltdl-dev:amd64.
- Preparing to unpack .../37-libltdl-dev_2.4.7-7~deb12u1_amd64.deb ...
- Unpacking libltdl-dev:amd64 (2.4.7-7~deb12u1) ...
- Selecting previously unselected package libsys-hostname-long-perl.
- Preparing to unpack .../38-libsys-hostname-long-perl_1.5-3_all.deb ...
- Unpacking libsys-hostname-long-perl (1.5-3) ...
- Selecting previously unselected package libmail-sendmail-perl.
- Preparing to unpack .../39-libmail-sendmail-perl_0.80-3_all.deb ...
- Unpacking libmail-sendmail-perl (0.80-3) ...
- Selecting previously unselected package libossp-uuid16:amd64.
- Preparing to unpack .../40-libossp-uuid16_1.6.2-1.5+b11_amd64.deb ...
- Unpacking libossp-uuid16:amd64 (1.6.2-1.5+b11) ...
- Selecting previously unselected package libsm6:amd64.
- Preparing to unpack .../41-libsm6_2%3a1.2.3-1_amd64.deb ...
- Unpacking libsm6:amd64 (2:1.2.3-1) ...
- Selecting previously unselected package libtcmalloc-minimal4:amd64.
- Preparing to unpack .../42-libtcmalloc-minimal4_2.10-1_amd64.deb ...
- Unpacking libtcmalloc-minimal4:amd64 (2.10-1) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../43-libxrender1_1%3a0.9.10-1.1_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.10-1.1) ...
- Selecting previously unselected package libxft2:amd64.
- Preparing to unpack .../44-libxft2_2.3.6-1_amd64.deb ...
- Unpacking libxft2:amd64 (2.3.6-1) ...
- Selecting previously unselected package libxt6:amd64.
- Preparing to unpack .../45-libxt6_1%3a1.2.1-1.1_amd64.deb ...
- Unpacking libxt6:amd64 (1:1.2.1-1.1) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../46-libyaml-0-2_0.2.5-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-1) ...
- Selecting previously unselected package swi-prolog-core.
- Preparing to unpack .../47-swi-prolog-core_9.0.4+dfsg-2_amd64.deb ...
- Unpacking swi-prolog-core (9.0.4+dfsg-2) ...
- Selecting previously unselected package swi-prolog-doc.
- Preparing to unpack .../48-swi-prolog-doc_9.0.4+dfsg-2_all.deb ...
- Unpacking swi-prolog-doc (9.0.4+dfsg-2) ...
- Selecting previously unselected package swi-prolog-core-packages.
- Preparing to unpack .../49-swi-prolog-core-packages_9.0.4+dfsg-2_amd64.deb ...
- Unpacking swi-prolog-core-packages (9.0.4+dfsg-2) ...
- Selecting previously unselected package swi-prolog-nox.
- Preparing to unpack .../50-swi-prolog-nox_9.0.4+dfsg-2_amd64.deb ...
- Unpacking swi-prolog-nox (9.0.4+dfsg-2) ...
- Selecting previously unselected package swi-prolog-x.
- Preparing to unpack .../51-swi-prolog-x_9.0.4+dfsg-2_amd64.deb ...
- Unpacking swi-prolog-x (9.0.4+dfsg-2) ...
- Selecting previously unselected package swi-prolog.
- Preparing to unpack .../52-swi-prolog_9.0.4+dfsg-2_amd64.deb ...
- Unpacking swi-prolog (9.0.4+dfsg-2) ...
- Setting up libpipeline1:amd64 (1.5.7-1) ...
- Setting up javascript-common (11+nmu1) ...
- Setting up libicu72:amd64 (72.1-3+deb12u1) ...
- Setting up bsdextrautils (2.38.1-5+deb12u3) ...
- Setting up libxrender1:amd64 (1:0.9.10-1.1) ...
- Setting up libmagic-mgc (1:5.44-3) ...
- Setting up libarchive-zip-perl (1.68-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up libdebhelper-perl (13.11.4) ...
- Setting up x11-common (1:7.7+23) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of restart.
- Setting up libtcmalloc-minimal4:amd64 (2.10-1) ...
- Setting up libmagic1:amd64 (1:5.44-3) ...
- Setting up gettext-base (0.21-12) ...
- Setting up m4 (1.4.19-3) ...
- Setting up file (1:5.44-3) ...
- Setting up libossp-uuid16:amd64 (1.6.2-1.5+b11) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up swi-prolog-core (9.0.4+dfsg-2) ...
- update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode
- Setting up autopoint (0.21-12) ...
- Setting up libltdl7:amd64 (2.4.7-7~deb12u1) ...
- Setting up autoconf (2.71-3) ...
- Setting up sensible-utils (0.0.17+nmu1) ...
- Setting up swi-prolog-core-packages (9.0.4+dfsg-2) ...
- Setting up libarchive-cpio-perl (0.10-3) ...
- Setting up libuchardet0:amd64 (0.0.7-1) ...
- Setting up libsub-override-perl (0.09-4) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up libelf1:amd64 (0.188-2.1) ...
- Setting up libsys-hostname-long-perl (1.5-3) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u4) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up libfile-stripnondeterminism-perl (1.13.1-1) ...
- Setting up libice6:amd64 (2:1.0.10-1) ...
- Setting up libxft2:amd64 (2.3.6-1) ...
- Setting up gettext (0.21-12) ...
- Setting up libtool (2.4.7-7~deb12u1) ...
- Setting up libarchive13:amd64 (3.6.2-1+deb12u3) ...
- Setting up swi-prolog-doc (9.0.4+dfsg-2) ...
- Setting up intltool-debian (0.35.0+20060710.6) ...
- Setting up dh-autoreconf (20) ...
- Setting up libmail-sendmail-perl (0.80-3) ...
- Setting up libltdl-dev:amd64 (2.4.7-7~deb12u1) ...
- Setting up dh-strip-nondeterminism (1.13.1-1) ...
- Setting up dwz (0.15-1) ...
- Setting up groff-base (1.22.4-10) ...
- Setting up swi-prolog-nox (9.0.4+dfsg-2) ...
- Setting up libsm6:amd64 (2:1.2.3-1) ...
- Setting up po-debconf (1.0.21+nmu1) ...
- Setting up man-db (2.11.2-2) ...
- Building database of manual pages ...
- Setting up libxt6:amd64 (1:1.2.1-1.1) ...
- Setting up swi-prolog-x (9.0.4+dfsg-2) ...
- Setting up debhelper (13.11.4) ...
- Setting up swi-prolog (9.0.4+dfsg-2) ...
- Processing triggers for libc-bin (2.36-9+deb12u13) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/3: [conf-swi-prolog: swipl]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "swipl" "--version" (CWD=/home/opam/.opam/4.08/.opam-switch/build/conf-swi-prolog.1)
- SWI-Prolog version 9.0.4 for x86_64-linux
-> compiled conf-swi-prolog.1
-> installed conf-swi-prolog.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-10-21 05:43.51 ---> saved as "630fc308b988af3b9b1c74f6a25a2822b3cf3348de602ec2143a89b2dee5986f"
Job succeeded
Home|Differences with the last checks|Previous runs