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-09-03 15:19.41 ---> 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-09-03 15:19.41 ---> 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 8fc7af65ccb8f3b3709bf02b749ac492e6700b59")) 2021-09-03 15:19.41 ---> using "eb095db6df41eeadc708604343f7b0ce0892db9136dac67a38046f57271c5802" 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-09-03 15:19.41 ---> using "d245c9af6f86b2b97434d338a3fbb8270425ab7dc6ad1b5451665adc9698eabf" from cache /: (run (network host) (shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89")) 2021-09-03 15:19.41 ---> using "20d9850dcecd0523d6eddecad814e9bbd93882334348605bfa6e15ffd8f5ced5" from cache /: (run (shell "opam repository add --dont-select 'beta' ~/'beta'")) [beta] Initialised 2021-09-03 15:19.41 ---> using "6f8879c5099d2146b69bdcec3874fd111cad6c5c42ac63d5f9aa72a228fd8ee8" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=beta,default 4.13.0+trunk")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-variants" {= "4.13.0+trunk"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-variants.4.13.0+trunk (https://github.com/ocaml/ocaml/archive/4.13.tar.gz) -> installed ocaml-variants.4.13.0+trunk -> installed ocaml-config.2 -> installed ocaml.4.13.0 Done. # Run eval $(opam env --switch=4.13.0+trunk) to update the current shell environment 2021-09-03 15:19.41 ---> using "6712a74d1c1dd02a3a6016afba137eef5268a19bc9ee3f1c1955ef2ed1510eb1" 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 [8766 kB] - Fetched 8994 kB in 2s (4588 kB/s) - Reading package lists... 2021-09-03 15:19.41 ---> using "efb2002aa60b7139ac6bcdcb20564781fe8c1766de01de081e2c168839e6bf82" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"conf-sdpa.1\"\ \nopam install -vy \"conf-sdpa.1\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"conf-sdpa.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-sdpa.1 is not installed. Nothing to do. The following actions will be performed: - install conf-sdpa 1 The following system packages will first need to be installed: sdpa <><> 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" "sdpa" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package gcc-11-base: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 ... 18048 files and directories currently installed.) - Preparing to unpack .../0-gcc-11-base_11.2.0-3_amd64.deb ... - Unpacking gcc-11-base:amd64 (11.2.0-3) ... - Selecting previously unselected package libgfortran5:amd64. - Preparing to unpack .../1-libgfortran5_11.2.0-3_amd64.deb ... - Unpacking libgfortran5:amd64 (11.2.0-3) ... - Selecting previously unselected package libopenblas0-pthread:amd64. - Preparing to unpack .../2-libopenblas0-pthread_0.3.17+ds-2_amd64.deb ... - Unpacking libopenblas0-pthread:amd64 (0.3.17+ds-2) ... - Selecting previously unselected package libscotch-6.1:amd64. - Preparing to unpack .../3-libscotch-6.1_6.1.0-2_amd64.deb ... - Unpacking libscotch-6.1:amd64 (6.1.0-2) ... - Selecting previously unselected package libmumps-seq-5.3:amd64. - Preparing to unpack .../4-libmumps-seq-5.3_5.3.5-2_amd64.deb ... - Unpacking libmumps-seq-5.3:amd64 (5.3.5-2) ... - Selecting previously unselected package libopenblas0:amd64. - Preparing to unpack .../5-libopenblas0_0.3.17+ds-2_amd64.deb ... - Unpacking libopenblas0:amd64 (0.3.17+ds-2) ... - Selecting previously unselected package libopenblas-pthread-dev:amd64. - Preparing to unpack .../6-libopenblas-pthread-dev_0.3.17+ds-2_amd64.deb ... - Unpacking libopenblas-pthread-dev:amd64 (0.3.17+ds-2) ... - Selecting previously unselected package libopenblas-dev:amd64. - Preparing to unpack .../7-libopenblas-dev_0.3.17+ds-2_amd64.deb ... - Unpacking libopenblas-dev:amd64 (0.3.17+ds-2) ... - Selecting previously unselected package sdpa. - Preparing to unpack .../8-sdpa_7.3.15+dfsg-1_amd64.deb ... - Unpacking sdpa (7.3.15+dfsg-1) ... - Setting up gcc-11-base:amd64 (11.2.0-3) ... - Setting up libgfortran5:amd64 (11.2.0-3) ... - Setting up libscotch-6.1:amd64 (6.1.0-2) ... - Setting up libopenblas0-pthread:amd64 (0.3.17+ds-2) ... - update-alternatives: using /usr/lib/x86_64-linux-gnu/openblas-pthread/libblas.so.3 to provide /usr/lib/x86_64-linux-gnu/libblas.so.3 (libblas.so.3-x86_64-linux-gnu) in auto mode - update-alternatives: using /usr/lib/x86_64-linux-gnu/openblas-pthread/liblapack.so.3 to provide /usr/lib/x86_64-linux-gnu/liblapack.so.3 (liblapack.so.3-x86_64-linux-gnu) in auto mode - update-alternatives: using /usr/lib/x86_64-linux-gnu/openblas-pthread/libopenblas.so.0 to provide /usr/lib/x86_64-linux-gnu/libopenblas.so.0 (libopenblas.so.0-x86_64-linux-gnu) in auto mode - Setting up libmumps-seq-5.3:amd64 (5.3.5-2) ... - Setting up libopenblas0:amd64 (0.3.17+ds-2) ... - Setting up libopenblas-pthread-dev:amd64 (0.3.17+ds-2) ... - update-alternatives: using /usr/lib/x86_64-linux-gnu/openblas-pthread/libblas.so to provide /usr/lib/x86_64-linux-gnu/libblas.so (libblas.so-x86_64-linux-gnu) in auto mode - update-alternatives: using /usr/lib/x86_64-linux-gnu/openblas-pthread/liblapack.so to provide /usr/lib/x86_64-linux-gnu/liblapack.so (liblapack.so-x86_64-linux-gnu) in auto mode - update-alternatives: using /usr/lib/x86_64-linux-gnu/openblas-pthread/libopenblas.so to provide /usr/lib/x86_64-linux-gnu/libopenblas.so (libopenblas.so-x86_64-linux-gnu) in auto mode - Setting up libopenblas-dev:amd64 (0.3.17+ds-2) ... - Setting up sdpa (7.3.15+dfsg-1) ... - Processing triggers for libc-bin (2.31-13) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 2/3: [conf-sdpa: sh command -v sdpa] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "command -v sdpa" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/conf-sdpa.1) - + command -v sdpa - /usr/bin/sdpa -> compiled conf-sdpa.1 -> installed conf-sdpa.1 Done. # Run eval $(opam env) to update the current shell environment 2021-09-03 15:20.13 ---> saved as "5b548404d7e17452b375787d3682d89474cbab98b4a17f409c59fe8364515668" Job succeeded