Building on m1-c.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f)
Unable to find image 'ocaml/opam:debian-unstable@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f' locally
docker.io/ocaml/opam@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f: Pulling from ocaml/opam
2db5444d1f5b: Already exists
f086bebd22a1: Pulling fs layer
3264a46f1e18: Pulling fs layer
3264a46f1e18: Verifying Checksum
3264a46f1e18: Download complete
f086bebd22a1: Verifying Checksum
f086bebd22a1: Download complete
f086bebd22a1: Pull complete
3264a46f1e18: Pull complete
Digest: sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f
Status: Downloaded newer image for ocaml/opam@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f
2022-03-03 14:38.35 ---> using "373f9b631d075c18f7442f5ab0fc65a1fd416e45c4bad373f7db673d6cf80f59" 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-03-03 14:38.35 ---> using "88849b7b49c5c9e5ea88c51a2386f85dc9692b3cbbbdfa071a4b6fb51a141dbe" 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 892f7bcbcb6c1fd05911ac75d53aa8c9f717b4b0"))
2022-03-03 14:38.35 ---> using "404c235885055cd745b552882486f8b810a0b774621d6103597df8eba1715fda" 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-03-03 14:38.35 ---> using "0af54149d5e87a921b7dadf447f75ea502ca8353b2aa045688bdf344893d2879" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.10' '4.10.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.10.2"} | "ocaml-system" {= "4.10.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.10.2 (cached)
-> installed ocaml-base-compiler.4.10.2
-> installed ocaml-config.1
-> installed ocaml.4.10.2
Done.
# Run eval $(opam env --switch=4.10) to update the current shell environment
2022-03-03 14:38.35 ---> using "d3faccdc41ec23fc94763500d63a9c3fc15a4b7c2e7bddc3ad516bc82b797244" 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 [9023 kB]
- Fetched 9252 kB in 2s (5204 kB/s)
- Reading package lists...
-
2022-03-03 14:38.35 ---> using "97e76ea26f0684feb559fbdd812a0aacbf6ea67f9991c96b49b7f2c07c1febda" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"bitwuzla-c.1.0.1\"\
\nopam install -vy \"bitwuzla-c.1.0.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"bitwuzla-c.1.0.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"))
Nothing to do.
[NOTE] bitwuzla-c.1.0.1 is not installed.
The following actions will be performed:
- install conf-gcc 1.0 [required by bitwuzla-c]
- install dune 3.0.3 [required by bitwuzla-c]
- install conf-git 1.1 [required by bitwuzla-c]
- install conf-gmp 4 [required by bitwuzla-c]
- install conf-g++ 1.0 [required by bitwuzla-c]
- install bitwuzla-c 1.0.1
===== 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 ... 18398 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-3) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-3) ...
- Processing triggers for libc-bin (2.33-5) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/18: [bitwuzla-c.1.0.1: http]
Processing 2/18: [bitwuzla-c.1.0.1: http]
Processing 3/18: [bitwuzla-c.1.0.1: http]
Processing 4/18: [bitwuzla-c.1.0.1: http]
Processing 5/18: [bitwuzla-c.1.0.1: http]
Processing 6/18: [bitwuzla-c.1.0.1: http]
Processing 7/18: [bitwuzla-c.1.0.1: http] [conf-g++: g++]
Processing 8/18: [bitwuzla-c.1.0.1: http] [conf-g++: g++] [conf-gcc: gcc]
Processing 9/18: [bitwuzla-c.1.0.1: http] [conf-g++: g++] [conf-gcc: gcc] [conf-git: git]
Processing 10/18: [bitwuzla-c.1.0.1: http] [conf-g++: g++] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
- gcc (Debian 11.2.0-14) 11.2.0
- Copyright (C) 2021 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 10/18: [bitwuzla-c.1.0.1: http] [conf-g++: g++] [conf-git: git] [conf-gmp: sh]
-> installed conf-gcc.1.0
Processing 11/18: [bitwuzla-c.1.0.1: http] [conf-g++: g++] [conf-git: git] [conf-gmp: sh]
- g++ (Debian 11.2.0-14) 11.2.0
- Copyright (C) 2021 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: [bitwuzla-c.1.0.1: http] [conf-git: git] [conf-gmp: sh]
-> installed conf-g++.1.0
Processing 12/18: [bitwuzla-c.1.0.1: http] [conf-git: git] [conf-gmp: sh]
- git version 2.34.1
-> compiled conf-git.1.1
Processing 12/18: [bitwuzla-c.1.0.1: http] [conf-gmp: sh]
-> installed conf-git.1.1
Processing 13/18: [bitwuzla-c.1.0.1: http] [conf-gmp: sh]
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 13/18: [bitwuzla-c.1.0.1: http]
-> installed conf-gmp.4
Processing 14/18: [bitwuzla-c.1.0.1: http]
Processing 14/18:
-> retrieved dune.3.0.3 (cached)
Processing 15/18: [dune: ocaml bootstrap.ml]
-> retrieved bitwuzla-c.1.0.1 (https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.1/bitwuzla-1.0.1.tbz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/dune.3.0.3)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 47
-
Processing 15/18: [dune: ./dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/dune.3.0.3)
-> compiled dune.3.0.3
-> installed dune.3.0.3
Processing 17/18: [bitwuzla-c: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bitwuzla-c" "-j" "47" "@install" (CWD=/home/opam/.opam/4.10/.opam-switch/build/bitwuzla-c.1.0.1)
- (cd _build/default/vendor && /usr/bin/patch -p1 --directory symfpu) < _build/default/vendor/bitwuzla/contrib/symfpu_20201114.patch
- 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.1
-> installed bitwuzla-c.1.0.1
Done.
# Run eval $(opam env) to update the current shell environment
2022-03-03 14:40.51 ---> saved as "9d8956a6d3dc044de1753ee4aad4201dd837d4e1cff23ed8ee5c7d3d9b691218"
Job succeeded
Home|Differences with the last checks|Previous runs