Building on x86-bm-10.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:a20618cee40a09b4c7604919411db28c4ae473b9780730085f91824e8dd5f205)
Unable to find image 'ocaml/opam:debian-unstable@sha256:a20618cee40a09b4c7604919411db28c4ae473b9780730085f91824e8dd5f205' locally
docker.io/ocaml/opam@sha256:a20618cee40a09b4c7604919411db28c4ae473b9780730085f91824e8dd5f205: Pulling from ocaml/opam
f8f85475deda: Pulling fs layer
f8f85475deda: Verifying Checksum
f8f85475deda: Download complete
f8f85475deda: Pull complete
Digest: sha256:a20618cee40a09b4c7604919411db28c4ae473b9780730085f91824e8dd5f205
Status: Downloaded newer image for ocaml/opam@sha256:a20618cee40a09b4c7604919411db28c4ae473b9780730085f91824e8dd5f205
2022-09-03 00:01.49 ---> using "00583e82ec888c922d57db664b8acb62b642829c5a4a94b17a44e5693b1db2de" 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"))
2022-09-03 00:01.49 ---> using "f816199fc982412d3ea70ae1ae1bab135eea82bc7670ac5d731bc57d0733e3c4" 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 418227c38ed4e28a0827786e5e9e50b9547c0b27"))
2022-09-03 00:01.49 ---> using "4cabcce7a0cb6de31986471b51abc9f1f3fec6a75be6e83e549da867c7605e5a" 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.
2022-09-03 00:01.49 ---> using "d451da695ab21573c7bdead4176eec083b0218f568c4ccf5f5b38b162d64d4d7" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.06' '4.06.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.06.1"} | "ocaml-system" {= "4.06.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.06.1 (https://github.com/ocaml/ocaml/archive/4.06.1.tar.gz)
-> installed ocaml-base-compiler.4.06.1
-> installed ocaml-config.1
-> installed ocaml.4.06.1
Done.
# Run eval $(opam env --switch=4.06) to update the current shell environment
2022-09-03 00:01.49 ---> using "7275a0bf749bd4259717cd0bcf1db3169b67edf5883be01d763d87a97532d071" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [192 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-2022-09-02-0804.09-F-2022-08-29-1405.22.pdiff [252 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-09-02-0804.09-F-2022-08-29-1405.22.pdiff [252 kB]
- Fetched 508 kB in 2s (244 kB/s)
- Reading package lists...
2022-09-03 00:01.49 ---> using "968f53343218f12d77dfbc583b3e01c9f42e36c9e387b243205b4a744ebf8907" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install -y ocaml-secondary-compiler"))
The following actions will be performed:
=== install 1 package
- install ocaml-secondary-compiler 4.08.1-1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-secondary-compiler.4.08.1-1 (cached)
-> installed ocaml-secondary-compiler.4.08.1-1
Done.
# Run eval $(opam env) to update the current shell environment
2022-09-03 00:01.49 ---> using "ba550afc471484e92dff2b22b38f51d85252fb563a4902c14a1e4b332b2da093" 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. Attempt installation anyway, and 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 libmagic-mgc.
- (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 ... 19664 files and directories currently installed.)
- Preparing to unpack .../00-libmagic-mgc_1%3a5.41-4_amd64.deb ...
- Unpacking libmagic-mgc (1:5.41-4) ...
- Selecting previously unselected package libmagic1:amd64.
- Preparing to unpack .../01-libmagic1_1%3a5.41-4_amd64.deb ...
- Unpacking libmagic1:amd64 (1:5.41-4) ...
- Selecting previously unselected package file.
- Preparing to unpack .../02-file_1%3a5.41-4_amd64.deb ...
- Unpacking file (1:5.41-4) ...
- Selecting previously unselected package gettext-base.
- Preparing to unpack .../03-gettext-base_0.21-9_amd64.deb ...
- Unpacking gettext-base (0.21-9) ...
- Selecting previously unselected package libuchardet0:amd64.
- Preparing to unpack .../04-libuchardet0_0.0.7-1_amd64.deb ...
- Unpacking libuchardet0:amd64 (0.0.7-1) ...
- Selecting previously unselected package groff-base.
- Preparing to unpack .../05-groff-base_1.22.4-8_amd64.deb ...
- Unpacking groff-base (1.22.4-8) ...
- Selecting previously unselected package bsdextrautils.
- Preparing to unpack .../06-bsdextrautils_2.38.1-1_amd64.deb ...
- Unpacking bsdextrautils (2.38.1-1) ...
- Selecting previously unselected package libpipeline1:amd64.
- Preparing to unpack .../07-libpipeline1_1.5.6-2_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.6-2) ...
- Selecting previously unselected package man-db.
- Preparing to unpack .../08-man-db_2.10.2-2_amd64.deb ...
- Unpacking man-db (2.10.2-2) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../09-m4_1.4.19-1_amd64.deb ...
- Unpacking m4 (1.4.19-1) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../10-autoconf_2.71-2_all.deb ...
- Unpacking autoconf (2.71-2) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../11-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../12-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 .../13-autopoint_0.21-9_all.deb ...
- Unpacking autopoint (0.21-9) ...
- Selecting previously unselected package libdebhelper-perl.
- Preparing to unpack .../14-libdebhelper-perl_13.9.1_all.deb ...
- Unpacking libdebhelper-perl (13.9.1) ...
- Selecting previously unselected package libtool.
- Preparing to unpack .../15-libtool_2.4.7-4_all.deb ...
- Unpacking libtool (2.4.7-4) ...
- Selecting previously unselected package dh-autoreconf.
- Preparing to unpack .../16-dh-autoreconf_20_all.deb ...
- Unpacking dh-autoreconf (20) ...
- Selecting previously unselected package libarchive-zip-perl.
- Preparing to unpack .../17-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 .../18-libsub-override-perl_0.09-3_all.deb ...
- Unpacking libsub-override-perl (0.09-3) ...
- Selecting previously unselected package libfile-stripnondeterminism-perl.
- Preparing to unpack .../19-libfile-stripnondeterminism-perl_1.13.0-1_all.deb ...
- Unpacking libfile-stripnondeterminism-perl (1.13.0-1) ...
- Selecting previously unselected package dh-strip-nondeterminism.
- Preparing to unpack .../20-dh-strip-nondeterminism_1.13.0-1_all.deb ...
- Unpacking dh-strip-nondeterminism (1.13.0-1) ...
- Selecting previously unselected package libelf1:amd64.
- Preparing to unpack .../21-libelf1_0.187-1_amd64.deb ...
- Unpacking libelf1:amd64 (0.187-1) ...
- Selecting previously unselected package dwz.
- Preparing to unpack .../22-dwz_0.14-1_amd64.deb ...
- Unpacking dwz (0.14-1) ...
- Selecting previously unselected package libicu71:amd64.
- Preparing to unpack .../23-libicu71_71.1-3_amd64.deb ...
- Unpacking libicu71:amd64 (71.1-3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../24-libxml2_2.9.14+dfsg-1+b1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1+b1) ...
- Selecting previously unselected package gettext.
- Preparing to unpack .../25-gettext_0.21-9_amd64.deb ...
- Unpacking gettext (0.21-9) ...
- Selecting previously unselected package intltool-debian.
- Preparing to unpack .../26-intltool-debian_0.35.0+20060710.5_all.deb ...
- Unpacking intltool-debian (0.35.0+20060710.5) ...
- Selecting previously unselected package po-debconf.
- Preparing to unpack .../27-po-debconf_1.0.21+nmu1_all.deb ...
- Unpacking po-debconf (1.0.21+nmu1) ...
- Selecting previously unselected package debhelper.
- Preparing to unpack .../28-debhelper_13.9.1_all.deb ...
- Unpacking debhelper (13.9.1) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../29-javascript-common_11+nmu1_all.deb ...
- Unpacking javascript-common (11+nmu1) ...
- Selecting previously unselected package libarchive-cpio-perl.
- Preparing to unpack .../30-libarchive-cpio-perl_0.10-2_all.deb ...
- Unpacking libarchive-cpio-perl (0.10-2) ...
- Selecting previously unselected package libarchive13:amd64.
- Preparing to unpack .../31-libarchive13_3.6.0-1_amd64.deb ...
- Unpacking libarchive13:amd64 (3.6.0-1) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../32-x11-common_1%3a7.7+23_all.deb ...
- Unpacking x11-common (1:7.7+23) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../33-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 .../34-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 .../35-libltdl7_2.4.7-4_amd64.deb ...
- Unpacking libltdl7:amd64 (2.4.7-4) ...
- Selecting previously unselected package libltdl-dev:amd64.
- Preparing to unpack .../36-libltdl-dev_2.4.7-4_amd64.deb ...
- Unpacking libltdl-dev:amd64 (2.4.7-4) ...
- Selecting previously unselected package libsys-hostname-long-perl.
- Preparing to unpack .../37-libsys-hostname-long-perl_1.5-2_all.deb ...
- Unpacking libsys-hostname-long-perl (1.5-2) ...
- Selecting previously unselected package libmail-sendmail-perl.
- Preparing to unpack .../38-libmail-sendmail-perl_0.80-2_all.deb ...
- Unpacking libmail-sendmail-perl (0.80-2) ...
- Selecting previously unselected package libossp-uuid16:amd64.
- Preparing to unpack .../39-libossp-uuid16_1.6.2-1.5+b10_amd64.deb ...
- Unpacking libossp-uuid16:amd64 (1.6.2-1.5+b10) ...
- Selecting previously unselected package libsm6:amd64.
- Preparing to unpack .../40-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 .../41-libtcmalloc-minimal4_2.10-1_amd64.deb ...
- Unpacking libtcmalloc-minimal4:amd64 (2.10-1) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../42-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 .../43-libxft2_2.3.4-1_amd64.deb ...
- Unpacking libxft2:amd64 (2.3.4-1) ...
- Selecting previously unselected package libxt6:amd64.
- Preparing to unpack .../44-libxt6_1%3a1.2.1-1_amd64.deb ...
- Unpacking libxt6:amd64 (1:1.2.1-1) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../45-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 .../46-swi-prolog-core_8.4.2+dfsg-2+b1_amd64.deb ...
- Unpacking swi-prolog-core (8.4.2+dfsg-2+b1) ...
- Selecting previously unselected package swi-prolog-doc.
- Preparing to unpack .../47-swi-prolog-doc_8.4.2+dfsg-2_all.deb ...
- Unpacking swi-prolog-doc (8.4.2+dfsg-2) ...
- Selecting previously unselected package swi-prolog-core-packages.
- Preparing to unpack .../48-swi-prolog-core-packages_8.4.2+dfsg-2+b1_amd64.deb ...
- Unpacking swi-prolog-core-packages (8.4.2+dfsg-2+b1) ...
- Selecting previously unselected package swi-prolog-nox.
- Preparing to unpack .../49-swi-prolog-nox_8.4.2+dfsg-2+b1_amd64.deb ...
- Unpacking swi-prolog-nox (8.4.2+dfsg-2+b1) ...
- Selecting previously unselected package swi-prolog-x.
- Preparing to unpack .../50-swi-prolog-x_8.4.2+dfsg-2+b1_amd64.deb ...
- Unpacking swi-prolog-x (8.4.2+dfsg-2+b1) ...
- Selecting previously unselected package swi-prolog.
- Preparing to unpack .../51-swi-prolog_8.4.2+dfsg-2+b1_amd64.deb ...
- Unpacking swi-prolog (8.4.2+dfsg-2+b1) ...
- Setting up libpipeline1:amd64 (1.5.6-2) ...
- Setting up javascript-common (11+nmu1) ...
- Setting up libicu71:amd64 (71.1-3) ...
- Setting up bsdextrautils (2.38.1-1) ...
- Setting up libxrender1:amd64 (1:0.9.10-1.1) ...
- Setting up libmagic-mgc (1:5.41-4) ...
- Setting up libarchive-zip-perl (1.68-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up libdebhelper-perl (13.9.1) ...
- 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.41-4) ...
- Setting up gettext-base (0.21-9) ...
- Setting up m4 (1.4.19-1) ...
- Setting up file (1:5.41-4) ...
- Setting up libossp-uuid16:amd64 (1.6.2-1.5+b10) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up swi-prolog-core (8.4.2+dfsg-2+b1) ...
- update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode
- Setting up autopoint (0.21-9) ...
- Setting up libltdl7:amd64 (2.4.7-4) ...
- Setting up autoconf (2.71-2) ...
- Setting up swi-prolog-core-packages (8.4.2+dfsg-2+b1) ...
- Setting up libarchive-cpio-perl (0.10-2) ...
- Setting up libuchardet0:amd64 (0.0.7-1) ...
- Setting up libsub-override-perl (0.09-3) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up libelf1:amd64 (0.187-1) ...
- Setting up libsys-hostname-long-perl (1.5-2) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1+b1) ...
- 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.0-1) ...
- Setting up libice6:amd64 (2:1.0.10-1) ...
- Setting up libxft2:amd64 (2.3.4-1) ...
- Setting up gettext (0.21-9) ...
- Setting up libtool (2.4.7-4) ...
- Setting up libarchive13:amd64 (3.6.0-1) ...
- Setting up swi-prolog-doc (8.4.2+dfsg-2) ...
- Setting up intltool-debian (0.35.0+20060710.5) ...
- Setting up dh-autoreconf (20) ...
- Setting up libmail-sendmail-perl (0.80-2) ...
- Setting up libltdl-dev:amd64 (2.4.7-4) ...
- Setting up dh-strip-nondeterminism (1.13.0-1) ...
- Setting up dwz (0.14-1) ...
- Setting up groff-base (1.22.4-8) ...
- Setting up swi-prolog-nox (8.4.2+dfsg-2+b1) ...
- Setting up libsm6:amd64 (2:1.2.3-1) ...
- Setting up po-debconf (1.0.21+nmu1) ...
- Setting up man-db (2.10.2-2) ...
- Building database of manual pages ...
- Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer.
- Setting up libxt6:amd64 (1:1.2.1-1) ...
- Setting up swi-prolog-x (8.4.2+dfsg-2+b1) ...
- Setting up debhelper (13.9.1) ...
- Setting up swi-prolog (8.4.2+dfsg-2+b1) ...
- Processing triggers for libc-bin (2.34-7) ...
<><> 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.06/.opam-switch/build/conf-swi-prolog.1)
- SWI-Prolog version 8.4.2 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
2022-09-03 00:02.22 ---> saved as "5dc7a2a5adc1c7fa2dcdad222c953a6c975d75a4f6cfbe233e70a75324617ae6"
Job succeeded
Home|Differences with the last checks|Previous runs