Building on hipp.ocamllabs.io
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
76d3fc461301: Pulling fs layer
4ef6d20bd5d7: Pulling fs layer
f5ab1124984a: Pulling fs layer
76d3fc461301: Verifying Checksum
76d3fc461301: Download complete
f5ab1124984a: Verifying Checksum
f5ab1124984a: Download complete
76d3fc461301: Pull complete
4ef6d20bd5d7: Verifying Checksum
4ef6d20bd5d7: Download complete
4ef6d20bd5d7: Pull complete
f5ab1124984a: Pull complete
Digest: sha256:8e32e0d09a8f957267511ce7ffcb86567614efb6d6bb72b6aea9be9dac1bf3e7
Status: Downloaded newer image for ocaml/opam:debian-unstable
2021-09-03 12:20.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-09-03 12:20.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 8fc7af65ccb8f3b3709bf02b749ac492e6700b59"))
2021-09-03 12:20.34 ---> 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 12:20.34 ---> 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 12:20.34 ---> using "20d9850dcecd0523d6eddecad814e9bbd93882334348605bfa6e15ffd8f5ced5" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-09-03 12:20.34 ---> 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 12:20.34 ---> 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 (3655 kB/s)
- Reading package lists...
-
2021-09-03 12:20.34 ---> using "efb2002aa60b7139ac6bcdcb20564781fe8c1766de01de081e2c168839e6bf82" 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"))
[NOTE] bitwuzla-c.1.0.0 is not installed.
Nothing to do.
The following actions will be performed:
- install dune 2.9.0 [required by bitwuzla-c]
- install conf-gcc 1.0 [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
- 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 ... 18039 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
- Processing triggers for libc-bin (2.31-15) ...
<><> 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.0 (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.13.0+trunk/.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.13.0+trunk/.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.13.0+trunk/.opam-switch/build/conf-git.1.1)
- git version 2.33.0
- git version 2.33.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.13.0+trunk/.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" "71" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/dune.2.9.0)
- 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 71
- cd _boot && /home/opam/.opam/4.13.0+trunk/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.13.0+trunk/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.13.0+trunk/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.13.0+trunk/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.13.0+trunk/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" "71" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/dune.2.9.0)
-> compiled dune.2.9.0
-> installed dune.2.9.0
Processing 17/18: [bitwuzla-c: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bitwuzla-c" "-j" "71" "@install" (CWD=/home/opam/.opam/4.13.0+trunk/.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-09-03 12:21.18 ---> saved as "d799da54c13666bb2601d005d4a5479a6fbb9a6da8d1d89325317252af2f0bf9"
Job succeeded
Home|Differences with the last checks|Previous runs