Building on apache.ocamllabs.io (from ocaml/opam:debian-unstable) WARNING: Error loading config file: .dockercfg: $HOME is not defined 2021-11-10 00:10.21 ---> 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-11-10 00:10.21 ---> 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 7b361ce572d98a700d2e0018cb6e9c72db9a3675")) 2021-11-10 00:10.21 ---> using "d735cc1084771dd7a4c27bc038a74be9c565f9b4862c23ef3b35f68ab04a6aef" 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-11-10 00:10.21 ---> using "44eb507bce7a2e2ed046a7a65eaf9728147d93dd5621a9ab5b08e6a2b062590d" 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-11-10 00:10.21 ---> using "982f7d54b73fc7cab2a09dec2ae08ff2574343a9745a7f336abd76f9a26d22dc" from cache /: (run (shell "opam repository add --dont-select 'beta' ~/'beta'")) [beta] Initialised 2021-11-10 00:10.21 ---> using "581fbaf65c6cbed22afcc69cdb3cb3a52aafc46e8c4cea4bc9ca5a44060fda80" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=beta,default '4.14' '4.14.0+trunk'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-variants" {= "4.14.0+trunk"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-variants.4.14.0+trunk (https://github.com/ocaml/ocaml/archive/4.14.tar.gz) -> installed ocaml-variants.4.14.0+trunk -> installed ocaml-config.2 -> installed ocaml.4.14.0 Done. # Run eval $(opam env --switch=4.14) to update the current shell environment 2021-11-10 00:10.21 ---> using "73976cffa15aca56a35ec409ba9bc8aafeb18f0a466d1e35f65a41465e663878" 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 [8823 kB] - Fetched 9052 kB in 2s (5001 kB/s) - Reading package lists... - 2021-11-10 00:10.21 ---> using "b43d04a7b902a31d721be3ca13919df3215784adea8a4139337e37d64d084da8" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"bitwuzla-c.1.0.0\"\ \nopam install -vy \"bitwuzla-c.1.0.0\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"bitwuzla-c.1.0.0\" | 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")) Nothing to do. [NOTE] bitwuzla-c.1.0.0 is not installed. The following actions will be performed: - install conf-gcc 1.0 [required by bitwuzla-c] - install dune 2.9.1 [required by bitwuzla-c] - install conf-git 1.1 [required by bitwuzla-c] - install conf-g++ 1.0 [required by bitwuzla-c] - install conf-gmp 3 [required by bitwuzla-c] - install bitwuzla-c 1.0.0 ===== 6 to install ===== The following system packages will first need to be installed: libgmp-dev <><> 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" "libgmp-dev" - debconf: delaying package configuration, since apt-utils is not installed - (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 .../libgmp10_2%3a6.2.1+dfsg-2_amd64.deb ... - Unpacking libgmp10:amd64 (2:6.2.1+dfsg-2) over (2:6.2.1+dfsg-1) ... - Setting up libgmp10:amd64 (2:6.2.1+dfsg-2) ... - Selecting previously unselected package libgmpxx4ldbl: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 .../libgmpxx4ldbl_2%3a6.2.1+dfsg-2_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-2) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg-2_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-2) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-2) ... - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-2) ... - Processing triggers for libc-bin (2.31-13) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/18: Processing 2/18: Processing 3/18: Processing 4/18: Processing 5/18: Processing 6/18: Processing 7/18: [conf-g++: g++] Processing 8/18: [conf-g++: g++] [conf-gcc: gcc] Processing 9/18: [conf-g++: g++] [conf-gcc: gcc] [conf-git: git] Processing 10/18: [conf-g++: g++] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh] -> retrieved bitwuzla-c.1.0.0 (cached) -> retrieved dune.2.9.1 (cached) Processing 11/18: [conf-g++: g++] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh] [dune: ocaml bootstrap.ml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "g++" "--version" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-g++.1.0) - g++ (Debian 10.2.1-6) 10.2.1 20210110 - Copyright (C) 2020 Free Software Foundation, Inc. - This is free software; see the source for copying conditions. There is NO - warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. - - g++ (Debian 10.2.1-6) 10.2.1 20210110 - Copyright (C) 2020 Free Software Foundation, Inc. - This is free software; see the source for copying conditions. There is NO - warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. - -> compiled conf-g++.1.0 Processing 11/18: [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh] [dune: ocaml bootstrap.ml] -> installed conf-g++.1.0 Processing 12/18: [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh] [dune: ocaml bootstrap.ml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "gcc" "--version" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-gcc.1.0) - gcc (Debian 10.2.1-6) 10.2.1 20210110 - Copyright (C) 2020 Free Software Foundation, Inc. - This is free software; see the source for copying conditions. There is NO - warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. - - gcc (Debian 10.2.1-6) 10.2.1 20210110 - Copyright (C) 2020 Free Software Foundation, Inc. - This is free software; see the source for copying conditions. There is NO - warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. - -> compiled conf-gcc.1.0 Processing 12/18: [conf-git: git] [conf-gmp: sh] [dune: ocaml bootstrap.ml] -> installed conf-gcc.1.0 Processing 13/18: [conf-git: git] [conf-gmp: sh] [dune: ocaml bootstrap.ml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "git" "--version" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-git.1.1) - git version 2.32.0 - git version 2.32.0 -> compiled conf-git.1.1 Processing 13/18: [conf-gmp: sh] [dune: ocaml bootstrap.ml] -> installed conf-git.1.1 Processing 14/18: [conf-gmp: sh] [dune: ocaml bootstrap.ml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-gmp.3) - + cc -c -I/usr/local/include test.c - + cc -c -I/usr/local/include test.c -> compiled conf-gmp.3 Processing 14/18: [dune: ocaml bootstrap.ml] -> installed conf-gmp.3 Processing 15/18: [dune: ocaml bootstrap.ml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "127" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune.2.9.1) - File "./bootstrap.ml", line 46, characters 17-27: - 46 | && String.sub fn 0 (String.length duneboot) = duneboot - ^^^^^^^^^^ - Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function. - File "./bootstrap.ml", line 103, characters 28-37: - 103 | let args = Array.to_list (Array.sub Sys.argv 1 (Array.length Sys.argv - 1)) in - ^^^^^^^^^ - Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function. - ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 127 - cd _boot && /home/opam/.opam/4.14/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner_base.ml - File "vendor/cmdliner/src/cmdliner_base.ml", line 158, characters 14-27: - Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function. - cd _boot && /home/opam/.opam/4.14/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner_docgen.ml - File "vendor/cmdliner/src/cmdliner_docgen.ml", line 278, characters 23-39: - Warning 6 [labels-omitted]: label sec was omitted in the application of this function. - File "vendor/cmdliner/src/cmdliner_docgen.ml", line 293, characters 22-56: - Warning 6 [labels-omitted]: label sec was omitted in the application of this function. - File "vendor/cmdliner/src/cmdliner_docgen.ml", line 294, characters 35-51: - Warning 6 [labels-omitted]: label sec was omitted in the application of this function. - File "vendor/cmdliner/src/cmdliner_docgen.ml", line 295, characters 36-52: - Warning 6 [labels-omitted]: label sec was omitted in the application of this function. - cd _boot && /home/opam/.opam/4.14/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner_cline.ml - File "vendor/cmdliner/src/cmdliner_cline.ml", line 128, characters 20-47: - Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function. - cd _boot && /home/opam/.opam/4.14/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner_arg.ml - File "vendor/cmdliner/src/cmdliner_arg.ml", line 193, characters 24-50: - Warning 6 [labels-omitted]: label err was omitted in the application of this function. - File "vendor/cmdliner/src/cmdliner_arg.ml", line 243, characters 24-50: - Warning 6 [labels-omitted]: label err was omitted in the application of this function. - File "vendor/cmdliner/src/cmdliner_arg.ml", line 260, characters 10-36: - Warning 6 [labels-omitted]: label pos was omitted in the application of this function. - cd _boot && /home/opam/.opam/4.14/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner.ml - File "vendor/cmdliner/src/cmdliner.ml", line 195, characters 25-47: - Warning 6 [labels-omitted]: label errs was omitted in the application of this function. - Processing 15/18: [dune: ./dune.exe build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "-p" "dune" "--profile" "dune-bootstrap" "-j" "127" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune.2.9.1) -> compiled dune.2.9.1 -> installed dune.2.9.1 Processing 17/18: [bitwuzla-c: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bitwuzla-c" "-j" "127" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/bitwuzla-c.1.0.0) - patch vendor/.symfpu_tree - File core/add.h is read-only; trying to patch anyway - patching file core/add.h - Hunk #1 succeeded at 402 (offset 6 lines). - Hunk #2 succeeded at 529 (offset 6 lines). - Hunk #3 succeeded at 547 (offset 6 lines). - File core/convert.h is read-only; trying to patch anyway - patching file core/convert.h - Hunk #1 succeeded at 100 (offset 6 lines). - Hunk #2 succeeded at 180 (offset 6 lines). - Hunk #3 succeeded at 224 (offset 6 lines). - File core/divide.h is read-only; trying to patch anyway - patching file core/divide.h - Hunk #1 succeeded at 111 (offset 6 lines). - Hunk #2 succeeded at 122 (offset 6 lines). - File core/multiply.h is read-only; trying to patch anyway - patching file core/multiply.h - Hunk #1 succeeded at 103 (offset 6 lines). - File core/operations.h is read-only; trying to patch anyway - patching file core/operations.h - Hunk #1 succeeded at 30 (offset 6 lines). - File core/packing.h is read-only; trying to patch anyway - patching file core/packing.h - Hunk #1 succeeded at 108 (offset 6 lines). - Hunk #2 succeeded at 137 (offset 6 lines). - File core/rounder.h is read-only; trying to patch anyway - patching file core/rounder.h - Hunk #1 succeeded at 387 (offset 6 lines). - Hunk #2 succeeded at 582 (offset 6 lines). - File core/sqrt.h is read-only; trying to patch anyway - patching file core/sqrt.h - Hunk #1 succeeded at 97 (offset 6 lines). - File core/unpackedFloat.h is read-only; trying to patch anyway - patching file core/unpackedFloat.h - Hunk #1 succeeded at 108 (offset 6 lines). - Hunk #2 succeeded at 172 (offset 6 lines). - Hunk #3 succeeded at 182 (offset 6 lines). - Hunk #4 succeeded at 444 (offset 6 lines). -> compiled bitwuzla-c.1.0.0 -> installed bitwuzla-c.1.0.0 Done. # Run eval $(opam env) to update the current shell environment 2021-11-10 00:11.20 ---> saved as "45118f764a5b3cb6ca401f8969595dc71b5f533ed689807eddd0b66063ee1b2c" Job succeeded