Building on x86-bm-c7.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
75e297398114: Pulling fs layer
75e297398114: Verifying Checksum
75e297398114: Download complete
75e297398114: Pull complete
Digest: sha256:4a898e4d9327c4ec8b00f04fe59247b309c63fa54d84a70ddc47fb36d38ec3ae
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-04-22 00:05.11 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-04-22 00:05.11 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" 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 c4b7df5d3d3b3127a642526a9602738f289a8e0b"))
2024-04-22 00:05.11 ---> using "ffb9b2e40c546ce31dc6f75eac0fb0a372fd62901b8bb6dc1b5f51a9f2e506dd" 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:
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
~/.profile is already up-to-date.
2024-04-22 00:05.11 ---> using "1542764b16e5f440c250016a47c8ff777b98397f0244afcaf081651842e35aeb" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.10' '4.10.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.10.2"} | "ocaml-system" {= "4.10.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.10.2 (cached)
-> installed ocaml-base-compiler.4.10.2
-> installed ocaml-config.1
-> installed ocaml.4.10.2
Done.
# Run eval $(opam env --switch=4.10) to update the current shell environment
2024-04-22 00:05.11 ---> using "c0a83ba750ed793a90396bf23e3fadf81c9b5ee01d863d409cb99dc9511a0d45" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [198 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-2024-04-21-1405.31-F-2024-04-19-0205.06.pdiff [200 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-04-21-1405.31-F-2024-04-19-0205.06.pdiff [200 kB]
- Fetched 462 kB in 3s (165 kB/s)
- Reading package lists...
-
2024-04-22 00:05.11 ---> using "73aaf3a388e31891ea88d8ad41782023bdd6dbae7d49d4d9b611dd0a5aa88845" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam 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-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-swi-prolog.1 is not installed.
Nothing to do.
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 ... 19395 files and directories currently installed.)
- Preparing to unpack .../00-sensible-utils_0.0.22_all.deb ...
- Unpacking sensible-utils (0.0.22) ...
- Selecting previously unselected package libmagic-mgc.
- Preparing to unpack .../01-libmagic-mgc_1%3a5.45-3_amd64.deb ...
- Unpacking libmagic-mgc (1:5.45-3) ...
- Selecting previously unselected package libmagic1t64:amd64.
- Preparing to unpack .../02-libmagic1t64_1%3a5.45-3_amd64.deb ...
- Unpacking libmagic1t64:amd64 (1:5.45-3) ...
- Selecting previously unselected package file.
- Preparing to unpack .../03-file_1%3a5.45-3_amd64.deb ...
- Unpacking file (1:5.45-3) ...
- Selecting previously unselected package gettext-base.
- Preparing to unpack .../04-gettext-base_0.21-14+b1_amd64.deb ...
- Unpacking gettext-base (0.21-14+b1) ...
- Selecting previously unselected package libuchardet0:amd64.
- Preparing to unpack .../05-libuchardet0_0.0.8-1+b1_amd64.deb ...
- Unpacking libuchardet0:amd64 (0.0.8-1+b1) ...
- Selecting previously unselected package groff-base.
- Preparing to unpack .../06-groff-base_1.23.0-3+b1_amd64.deb ...
- Unpacking groff-base (1.23.0-3+b1) ...
- Selecting previously unselected package bsdextrautils.
- Preparing to unpack .../07-bsdextrautils_2.40-6_amd64.deb ...
- Unpacking bsdextrautils (2.40-6) ...
- Selecting previously unselected package libpipeline1:amd64.
- Preparing to unpack .../08-libpipeline1_1.5.7-2_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.7-2) ...
- Selecting previously unselected package man-db.
- Preparing to unpack .../09-man-db_2.12.1-1_amd64.deb ...
- Unpacking man-db (2.12.1-1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../10-m4_1.4.19-4_amd64.deb ...
- Unpacking m4 (1.4.19-4) ...
- 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-14_all.deb ...
- Unpacking autopoint (0.21-14) ...
- Selecting previously unselected package libdebhelper-perl.
- Preparing to unpack .../15-libdebhelper-perl_13.15.3_all.deb ...
- Unpacking libdebhelper-perl (13.15.3) ...
- Selecting previously unselected package libtool.
- Preparing to unpack .../16-libtool_2.4.7-7_all.deb ...
- Unpacking libtool (2.4.7-7) ...
- 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.10-1_all.deb ...
- Unpacking libsub-override-perl (0.10-1) ...
- 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 libelf1t64:amd64.
- Preparing to unpack .../22-libelf1t64_0.191-1+b1_amd64.deb ...
- Unpacking libelf1t64:amd64 (0.191-1+b1) ...
- Selecting previously unselected package dwz.
- Preparing to unpack .../23-dwz_0.15-1+b1_amd64.deb ...
- Unpacking dwz (0.15-1+b1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../24-libicu72_72.1-4+b1_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-4+b1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../25-libxml2_2.9.14+dfsg-1.3+b2_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3+b2) ...
- Selecting previously unselected package gettext.
- Preparing to unpack .../26-gettext_0.21-14+b1_amd64.deb ...
- Unpacking gettext (0.21-14+b1) ...
- 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.15.3_all.deb ...
- Unpacking debhelper (13.15.3) ...
- Selecting previously unselected package fonts-dejavu-mono.
- Preparing to unpack .../30-fonts-dejavu-mono_2.37-8_all.deb ...
- Unpacking fonts-dejavu-mono (2.37-8) ...
- Selecting previously unselected package fonts-dejavu-core.
- Preparing to unpack .../31-fonts-dejavu-core_2.37-8_all.deb ...
- Unpacking fonts-dejavu-core (2.37-8) ...
- Selecting previously unselected package fontconfig-config.
- Preparing to unpack .../32-fontconfig-config_2.15.0-1.1_amd64.deb ...
- Unpacking fontconfig-config (2.15.0-1.1) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../33-javascript-common_11+nmu1_all.deb ...
- Unpacking javascript-common (11+nmu1) ...
- Selecting previously unselected package libarchive-cpio-perl.
- Preparing to unpack .../34-libarchive-cpio-perl_0.10-3_all.deb ...
- Unpacking libarchive-cpio-perl (0.10-3) ...
- Selecting previously unselected package libarchive13t64:amd64.
- Preparing to unpack .../35-libarchive13t64_3.7.2-2_amd64.deb ...
- Unpacking libarchive13t64:amd64 (3.7.2-2) ...
- Selecting previously unselected package libpng16-16t64:amd64.
- Preparing to unpack .../36-libpng16-16t64_1.6.43-5_amd64.deb ...
- Unpacking libpng16-16t64:amd64 (1.6.43-5) ...
- Selecting previously unselected package libfreetype6:amd64.
- Preparing to unpack .../37-libfreetype6_2.13.2+dfsg-1+b4_amd64.deb ...
- Unpacking libfreetype6:amd64 (2.13.2+dfsg-1+b4) ...
- Selecting previously unselected package libfontconfig1:amd64.
- Preparing to unpack .../38-libfontconfig1_2.15.0-1.1_amd64.deb ...
- Unpacking libfontconfig1:amd64 (2.15.0-1.1) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../39-x11-common_1%3a7.7+23_all.deb ...
- Unpacking x11-common (1:7.7+23) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../40-libice6_2%3a1.0.10-1_amd64.deb ...
- Unpacking libice6:amd64 (2:1.0.10-1) ...
- Selecting previously unselected package libjpeg62-turbo:amd64.
- Preparing to unpack .../41-libjpeg62-turbo_1%3a2.1.5-2+b2_amd64.deb ...
- Unpacking libjpeg62-turbo:amd64 (1:2.1.5-2+b2) ...
- Selecting previously unselected package libjs-jquery.
- Preparing to unpack .../42-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 .../43-libltdl7_2.4.7-7_amd64.deb ...
- Unpacking libltdl7:amd64 (2.4.7-7) ...
- Selecting previously unselected package libltdl-dev:amd64.
- Preparing to unpack .../44-libltdl-dev_2.4.7-7_amd64.deb ...
- Unpacking libltdl-dev:amd64 (2.4.7-7) ...
- Selecting previously unselected package libsys-hostname-long-perl.
- Preparing to unpack .../45-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 .../46-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 .../47-libossp-uuid16_1.6.2-1.5+b13_amd64.deb ...
- Unpacking libossp-uuid16:amd64 (1.6.2-1.5+b13) ...
- Selecting previously unselected package libsm6:amd64.
- Preparing to unpack .../48-libsm6_2%3a1.2.3-1_amd64.deb ...
- Unpacking libsm6:amd64 (2:1.2.3-1) ...
- Selecting previously unselected package libtcmalloc-minimal4t64:amd64.
- Preparing to unpack .../49-libtcmalloc-minimal4t64_2.15-3_amd64.deb ...
- Unpacking libtcmalloc-minimal4t64:amd64 (2.15-3) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../50-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 .../51-libxft2_2.3.6-1+b1_amd64.deb ...
- Unpacking libxft2:amd64 (2.3.6-1+b1) ...
- Selecting previously unselected package libxpm4:amd64.
- Preparing to unpack .../52-libxpm4_1%3a3.5.17-1+b1_amd64.deb ...
- Unpacking libxpm4:amd64 (1:3.5.17-1+b1) ...
- Selecting previously unselected package libxt6t64:amd64.
- Preparing to unpack .../53-libxt6t64_1%3a1.2.1-1.2_amd64.deb ...
- Unpacking libxt6t64:amd64 (1:1.2.1-1.2) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../54-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 .../55-swi-prolog-core_9.0.4+dfsg-4_amd64.deb ...
- Unpacking swi-prolog-core (9.0.4+dfsg-4) ...
- Selecting previously unselected package swi-prolog-doc.
- Preparing to unpack .../56-swi-prolog-doc_9.0.4+dfsg-4_all.deb ...
- Unpacking swi-prolog-doc (9.0.4+dfsg-4) ...
- Selecting previously unselected package swi-prolog-core-packages.
- Preparing to unpack .../57-swi-prolog-core-packages_9.0.4+dfsg-4_amd64.deb ...
- Unpacking swi-prolog-core-packages (9.0.4+dfsg-4) ...
- Selecting previously unselected package swi-prolog-nox.
- Preparing to unpack .../58-swi-prolog-nox_9.0.4+dfsg-4_amd64.deb ...
- Unpacking swi-prolog-nox (9.0.4+dfsg-4) ...
- Selecting previously unselected package swi-prolog-x.
- Preparing to unpack .../59-swi-prolog-x_9.0.4+dfsg-4_amd64.deb ...
- Unpacking swi-prolog-x (9.0.4+dfsg-4) ...
- Selecting previously unselected package swi-prolog.
- Preparing to unpack .../60-swi-prolog_9.0.4+dfsg-4_amd64.deb ...
- Unpacking swi-prolog (9.0.4+dfsg-4) ...
- Setting up libpipeline1:amd64 (1.5.7-2) ...
- Setting up javascript-common (11+nmu1) ...
- Setting up libicu72:amd64 (72.1-4+b1) ...
- Setting up bsdextrautils (2.40-6) ...
- Setting up libxpm4:amd64 (1:3.5.17-1+b1) ...
- Setting up libxrender1:amd64 (1:0.9.10-1.1) ...
- Setting up libmagic-mgc (1:5.45-3) ...
- Setting up libarchive-zip-perl (1.68-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up libdebhelper-perl (13.15.3) ...
- Setting up libmagic1t64:amd64 (1:5.45-3) ...
- 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 gettext-base (0.21-14+b1) ...
- Setting up m4 (1.4.19-4) ...
- Setting up file (1:5.45-3) ...
- Setting up libossp-uuid16:amd64 (1.6.2-1.5+b13) ...
- Setting up libelf1t64:amd64 (0.191-1+b1) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libjpeg62-turbo:amd64 (1:2.1.5-2+b2) ...
- Setting up fonts-dejavu-mono (2.37-8) ...
- Setting up libpng16-16t64:amd64 (1.6.43-5) ...
- Setting up autopoint (0.21-14) ...
- Setting up libtcmalloc-minimal4t64:amd64 (2.15-3) ...
- Setting up fonts-dejavu-core (2.37-8) ...
- Setting up libltdl7:amd64 (2.4.7-7) ...
- Setting up autoconf (2.71-3) ...
- Setting up dwz (0.15-1+b1) ...
- Setting up sensible-utils (0.0.22) ...
- Setting up libarchive-cpio-perl (0.10-3) ...
- Setting up libuchardet0:amd64 (0.0.8-1+b1) ...
- Setting up libsub-override-perl (0.10-1) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up libsys-hostname-long-perl (1.5-3) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3+b2) ...
- 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 gettext (0.21-14+b1) ...
- Setting up libtool (2.4.7-7) ...
- Setting up fontconfig-config (2.15.0-1.1) ...
- 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) ...
- Setting up libfreetype6:amd64 (2.13.2+dfsg-1+b4) ...
- Setting up swi-prolog-core (9.0.4+dfsg-4) ...
- update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode
- Setting up dh-strip-nondeterminism (1.13.1-1) ...
- Setting up groff-base (1.23.0-3+b1) ...
- Setting up swi-prolog-core-packages (9.0.4+dfsg-4) ...
- Setting up libfontconfig1:amd64 (2.15.0-1.1) ...
- Setting up libsm6:amd64 (2:1.2.3-1) ...
- Setting up libarchive13t64:amd64 (3.7.2-2) ...
- Setting up libxft2:amd64 (2.3.6-1+b1) ...
- Setting up po-debconf (1.0.21+nmu1) ...
- Setting up swi-prolog-doc (9.0.4+dfsg-4) ...
- Setting up man-db (2.12.1-1) ...
- Building database of manual pages ...
- Setting up libxt6t64:amd64 (1:1.2.1-1.2) ...
- Setting up swi-prolog-nox (9.0.4+dfsg-4) ...
- Setting up swi-prolog-x (9.0.4+dfsg-4) ...
- Setting up debhelper (13.15.3) ...
- Setting up swi-prolog (9.0.4+dfsg-4) ...
- Processing triggers for libc-bin (2.37-17) ...
<><> 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.10/.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.
# Run eval $(opam env) to update the current shell environment
2024-04-22 00:05.29 ---> saved as "4f6c3feaa648d8b60393923ecf40da23dfa303b16507560d471e51254a576b14"
Job succeeded
Home|Differences with the last checks|Previous runs