OCamllabs icon Home|Differences with the last checks|Previous runs


Building on x86-bm-10.ocamllabs.io

(from ocaml/opam:debian-unstable)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:a32e554d37007cabaf12da2261dad1c6890fb793357d4499f39865f3c85d81ab
Status: Downloaded newer image for ocaml/opam:debian-unstable
2021-10-21 04:00.34 ---> 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-2.1 /usr/bin/opam"))
2021-10-21 04:00.34 ---> using "4d29eb3e0b7cd69a97ed90837671d5ca38aa41e2fb94346298af500378eca6fa" from cache

/: (run (network host)
        (shell "rm -rf ~/opam-repository && git clone -q 'git://github.com/ocaml/opam-repository.git' ~/opam-repository && git -C ~/opam-repository checkout -q 53ec9a45898dcacb426391da813c036212d8d3e6"))
2021-10-21 04:00.34 ---> using "9e3c71f07cb8650e76491f4ea4380e82b420e7db844fb7309f51d1856544743c" 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.

2021-10-21 04:00.34 ---> using "27d1597f48f02b6b36c95df57225917e30e08bb54134379907bf74408f22b37a" from cache

/: (run (network host)
        (shell "git clone -q 'git://github.com/kit-ty-kate/multicore-opam.git' ~/'multicore' && git -C ~/'multicore' checkout -q f7d7c872ca1a40604219336dd1396c7873215005"))
2021-10-21 04:00.34 ---> using "6bddf57bc0a6e6d09869c0fa03a31ac63b5e62bd07859f843055286df02c2c0c" from cache

/: (run (shell "opam repository add --dont-select 'multicore' ~/'multicore'"))
[multicore] Initialised
2021-10-21 04:00.34 ---> using "848dc19b3061c50bbb8d2091adb8c29c6877c8906b6aeef2e1074d985eca8453" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=multicore,default 4.12.0+nnpchecker"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "4.12.0+nnpchecker"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-option-nnpchecker.1
-> retrieved ocaml-variants.4.12.0+nnpchecker  (https://github.com/kit-ty-kate/ocaml/archive/nnpchecker.tar.gz)
-> installed ocaml-variants.4.12.0+nnpchecker
-> installed ocaml-config.2
-> installed ocaml.4.12.0
Done.
# Run eval $(opam env --switch=4.12.0+nnpchecker) to update the current shell environment
2021-10-21 04:00.34 ---> using "4d246d2b5e67ec352bf464d28972c37a3e71c7ca8318ec27ced37d2df09004fa" from cache

/: (run (network host)
        (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [165 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8783 kB]
- Fetched 9012 kB in 3s (3231 kB/s)
- Reading package lists...
- 
2021-10-21 04:00.34 ---> using "eadc05e85a734f8b69a04ebecc0d4345b67c2ceba550baa790e23058791fe480" 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\
               \nif [ $res = 0 ]; then\
               \n    opam remove -y \"conf-swi-prolog.1\"\
               \n    opam install -vty \"conf-swi-prolog.1\"\
               \n    res=$?\
               \n    if [ $res = 20 ]; then\
               \n        res=0\
               \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 conf-swi-prolog 1

The following system packages will first need to be installed:
    swi-prolog

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "swi-prolog"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package bsdextrautils.
- (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 ... 18048 files and directories currently installed.)
- Preparing to unpack .../00-bsdextrautils_2.37.2-4_amd64.deb ...
- Unpacking bsdextrautils (2.37.2-4) ...
- Selecting previously unselected package libuchardet0:amd64.
- Preparing to unpack .../01-libuchardet0_0.0.7-1_amd64.deb ...
- Unpacking libuchardet0:amd64 (0.0.7-1) ...
- Selecting previously unselected package groff-base.
- Preparing to unpack .../02-groff-base_1.22.4-7_amd64.deb ...
- Unpacking groff-base (1.22.4-7) ...
- Selecting previously unselected package libpipeline1:amd64.
- Preparing to unpack .../03-libpipeline1_1.5.3-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.3-1) ...
- Selecting previously unselected package man-db.
- Preparing to unpack .../04-man-db_2.9.4-2_amd64.deb ...
- Unpacking man-db (2.9.4-2) ...
- Selecting previously unselected package libmagic-mgc.
- Preparing to unpack .../05-libmagic-mgc_1%3a5.39-3_amd64.deb ...
- Unpacking libmagic-mgc (1:5.39-3) ...
- Selecting previously unselected package libmagic1:amd64.
- Preparing to unpack .../06-libmagic1_1%3a5.39-3_amd64.deb ...
- Unpacking libmagic1:amd64 (1:5.39-3) ...
- Selecting previously unselected package file.
- Preparing to unpack .../07-file_1%3a5.39-3_amd64.deb ...
- Unpacking file (1:5.39-3) ...
- Selecting previously unselected package gettext-base.
- Preparing to unpack .../08-gettext-base_0.21-4_amd64.deb ...
- Unpacking gettext-base (0.21-4) ...
- Selecting previously unselected package libsigsegv2:amd64.
- Preparing to unpack .../09-libsigsegv2_2.13-1_amd64.deb ...
- Unpacking libsigsegv2:amd64 (2.13-1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../10-m4_1.4.18-5_amd64.deb ...
- Unpacking m4 (1.4.18-5) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../11-autoconf_2.71-2_all.deb ...
- Unpacking autoconf (2.71-2) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../12-autotools-dev_20180224.1+nmu1_all.deb ...
- Unpacking autotools-dev (20180224.1+nmu1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../13-automake_1%3a1.16.4-2_all.deb ...
- Unpacking automake (1:1.16.4-2) ...
- Selecting previously unselected package autopoint.
- Preparing to unpack .../14-autopoint_0.21-4_all.deb ...
- Unpacking autopoint (0.21-4) ...
- Selecting previously unselected package libdebhelper-perl.
- Preparing to unpack .../15-libdebhelper-perl_13.5.2_all.deb ...
- Unpacking libdebhelper-perl (13.5.2) ...
- Selecting previously unselected package libtool.
- Preparing to unpack .../16-libtool_2.4.6-15_all.deb ...
- Unpacking libtool (2.4.6-15) ...
- 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-2_all.deb ...
- Unpacking libsub-override-perl (0.09-2) ...
- Selecting previously unselected package libfile-stripnondeterminism-perl.
- Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.12.0-1_all.deb ...
- Unpacking libfile-stripnondeterminism-perl (1.12.0-1) ...
- Selecting previously unselected package dh-strip-nondeterminism.
- Preparing to unpack .../21-dh-strip-nondeterminism_1.12.0-1_all.deb ...
- Unpacking dh-strip-nondeterminism (1.12.0-1) ...
- Selecting previously unselected package libelf1:amd64.
- Preparing to unpack .../22-libelf1_0.185-2_amd64.deb ...
- Unpacking libelf1:amd64 (0.185-2) ...
- Selecting previously unselected package dwz.
- Preparing to unpack .../23-dwz_0.14-1_amd64.deb ...
- Unpacking dwz (0.14-1) ...
- Selecting previously unselected package libicu67:amd64.
- Preparing to unpack .../24-libicu67_67.1-7_amd64.deb ...
- Unpacking libicu67:amd64 (67.1-7) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../25-libxml2_2.9.12+dfsg-5_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.12+dfsg-5) ...
- Selecting previously unselected package gettext.
- Preparing to unpack .../26-gettext_0.21-4_amd64.deb ...
- Unpacking gettext (0.21-4) ...
- Selecting previously unselected package intltool-debian.
- Preparing to unpack .../27-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 .../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.5.2_all.deb ...
- Unpacking debhelper (13.5.2) ...
- 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-1.1_all.deb ...
- Unpacking libarchive-cpio-perl (0.10-1.1) ...
- Selecting previously unselected package libarchive13:amd64.
- Preparing to unpack .../32-libarchive13_3.4.3-2+b1_amd64.deb ...
- Unpacking libarchive13:amd64 (3.4.3-2+b1) ...
- 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.5.1+dfsg+~3.5.5-7_all.deb ...
- Unpacking libjs-jquery (3.5.1+dfsg+~3.5.5-7) ...
- Selecting previously unselected package libltdl7:amd64.
- Preparing to unpack .../36-libltdl7_2.4.6-15_amd64.deb ...
- Unpacking libltdl7:amd64 (2.4.6-15) ...
- Selecting previously unselected package libltdl-dev:amd64.
- Preparing to unpack .../37-libltdl-dev_2.4.6-15_amd64.deb ...
- Unpacking libltdl-dev:amd64 (2.4.6-15) ...
- Selecting previously unselected package libsys-hostname-long-perl.
- Preparing to unpack .../38-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 .../39-libmail-sendmail-perl_0.80-1.1_all.deb ...
- Unpacking libmail-sendmail-perl (0.80-1.1) ...
- Selecting previously unselected package libossp-uuid16:amd64.
- Preparing to unpack .../40-libossp-uuid16_1.6.2-1.5+b9_amd64.deb ...
- Unpacking libossp-uuid16:amd64 (1.6.2-1.5+b9) ...
- 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.9.1-1_amd64.deb ...
- Unpacking libtcmalloc-minimal4:amd64 (2.9.1-1) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../43-libxrender1_1%3a0.9.10-1_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.10-1) ...
- Selecting previously unselected package libxft2:amd64.
- Preparing to unpack .../44-libxft2_2.3.2-2_amd64.deb ...
- Unpacking libxft2:amd64 (2.3.2-2) ...
- Selecting previously unselected package libxt6:amd64.
- Preparing to unpack .../45-libxt6_1%3a1.2.0-1_amd64.deb ...
- Unpacking libxt6:amd64 (1:1.2.0-1) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../46-libyaml-0-2_0.2.2-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.2-1) ...
- Selecting previously unselected package swi-prolog-core.
- Preparing to unpack .../47-swi-prolog-core_8.2.4+dfsg-1_amd64.deb ...
- Unpacking swi-prolog-core (8.2.4+dfsg-1) ...
- Selecting previously unselected package swi-prolog-doc.
- Preparing to unpack .../48-swi-prolog-doc_8.2.4+dfsg-1_all.deb ...
- Unpacking swi-prolog-doc (8.2.4+dfsg-1) ...
- Selecting previously unselected package swi-prolog-core-packages.
- Preparing to unpack .../49-swi-prolog-core-packages_8.2.4+dfsg-1_amd64.deb ...
- Unpacking swi-prolog-core-packages (8.2.4+dfsg-1) ...
- Selecting previously unselected package swi-prolog-nox.
- Preparing to unpack .../50-swi-prolog-nox_8.2.4+dfsg-1_amd64.deb ...
- Unpacking swi-prolog-nox (8.2.4+dfsg-1) ...
- Selecting previously unselected package swi-prolog-x.
- Preparing to unpack .../51-swi-prolog-x_8.2.4+dfsg-1_amd64.deb ...
- Unpacking swi-prolog-x (8.2.4+dfsg-1) ...
- Selecting previously unselected package swi-prolog.
- Preparing to unpack .../52-swi-prolog_8.2.4+dfsg-1_amd64.deb ...
- Unpacking swi-prolog (8.2.4+dfsg-1) ...
- Setting up libpipeline1:amd64 (1.5.3-1) ...
- Setting up javascript-common (11+nmu1) ...
- Setting up bsdextrautils (2.37.2-4) ...
- update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode
- Setting up libxrender1:amd64 (1:0.9.10-1) ...
- Setting up libicu67:amd64 (67.1-7) ...
- Setting up libmagic-mgc (1:5.39-3) ...
- Setting up libarchive-zip-perl (1.68-1) ...
- Setting up libyaml-0-2:amd64 (0.2.2-1) ...
- Setting up libdebhelper-perl (13.5.2) ...
- 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.9.1-1) ...
- Setting up libmagic1:amd64 (1:5.39-3) ...
- Setting up gettext-base (0.21-4) ...
- Setting up file (1:5.39-3) ...
- Setting up libossp-uuid16:amd64 (1.6.2-1.5+b9) ...
- Setting up autotools-dev (20180224.1+nmu1) ...
- Setting up libsigsegv2:amd64 (2.13-1) ...
- Setting up swi-prolog-core (8.2.4+dfsg-1) ...
- update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode
- Setting up autopoint (0.21-4) ...
- Setting up libltdl7:amd64 (2.4.6-15) ...
- Setting up swi-prolog-core-packages (8.2.4+dfsg-1) ...
- Setting up libarchive-cpio-perl (0.10-1.1) ...
- Setting up libuchardet0:amd64 (0.0.7-1) ...
- Setting up libsub-override-perl (0.09-2) ...
- Setting up libjs-jquery (3.5.1+dfsg+~3.5.5-7) ...
- Setting up libelf1:amd64 (0.185-2) ...
- Setting up libsys-hostname-long-perl (1.5-2) ...
- Setting up libxml2:amd64 (2.9.12+dfsg-5) ...
- Setting up libfile-stripnondeterminism-perl (1.12.0-1) ...
- Setting up libice6:amd64 (2:1.0.10-1) ...
- Setting up libxft2:amd64 (2.3.2-2) ...
- Setting up gettext (0.21-4) ...
- Setting up libtool (2.4.6-15) ...
- Setting up libarchive13:amd64 (3.4.3-2+b1) ...
- Setting up swi-prolog-doc (8.2.4+dfsg-1) ...
- Setting up m4 (1.4.18-5) ...
- Setting up intltool-debian (0.35.0+20060710.5) ...
- Setting up libmail-sendmail-perl (0.80-1.1) ...
- Setting up autoconf (2.71-2) ...
- Setting up dh-strip-nondeterminism (1.12.0-1) ...
- Setting up dwz (0.14-1) ...
- Setting up groff-base (1.22.4-7) ...
- Setting up swi-prolog-nox (8.2.4+dfsg-1) ...
- Setting up libsm6:amd64 (2:1.2.3-1) ...
- Setting up automake (1:1.16.4-2) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up po-debconf (1.0.21+nmu1) ...
- Setting up man-db (2.9.4-2) ...
- Building database of manual pages ...
- Setting up dh-autoreconf (20) ...
- Setting up libltdl-dev:amd64 (2.4.6-15) ...
- Setting up libxt6:amd64 (1:1.2.0-1) ...
- Setting up swi-prolog-x (8.2.4+dfsg-1) ...
- Setting up debhelper (13.5.2) ...
- Setting up swi-prolog (8.2.4+dfsg-1) ...
- Processing triggers for libc-bin (2.31-13) ...

<><> 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.12.0+nnpchecker/.opam-switch/build/conf-swi-prolog.1)
- SWI-Prolog version 8.2.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
The following actions will be performed:
  - remove conf-swi-prolog 1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> removed   conf-swi-prolog.1
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
  - install conf-swi-prolog 1

<><> 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.12.0+nnpchecker/.opam-switch/build/conf-swi-prolog.1)
- SWI-Prolog version 8.2.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
2021-10-21 04:03.59 ---> saved as "ea0789d81b55b1e12bc0d4468fd9b9b2facc75651c92961555fd6e7a4b71a6f3"
Job succeeded