Building on x86-bm-c16.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:728f5640961821acc3c3615502bcc556ec255cb25e8860aae98b3690dfbd682e
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-11-22 04:11.47 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-11-22 04:11.47 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" 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 232a37e8b008dc04381f5e98c16badfc02ea6962"))
2024-11-22 04:11.47 ---> using "3627aca0cf09d425091b1834dc367b2d674ea958c1073cfd571626e801400fa8" 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.
2024-11-22 04:11.47 ---> using "12ca91eed672409146ffeb97abf8b2057aa9490eea5153239f28fb1d87ff4305" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.09' '4.09.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.09.1"} | "ocaml-system" {= "4.09.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-config.1 (2 extra sources)
-> retrieved ocaml-config.1 (2 extra sources)
-> retrieved ocaml-base-compiler.4.09.1 (cached)
-> installed ocaml-base-compiler.4.09.1
-> installed ocaml-config.1
-> installed ocaml.4.09.1
Done.
# To update the current shell environment, run: eval $(opam env --switch=4.09)
2024-11-22 04:11.47 ---> using "7655522933ffd478a43ded3bd38a3d41b4ece9c198117498ab28aa60c1d6e1ab" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [202 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-11-21-2009.31-F-2024-11-19-1405.22.pdiff [124 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-11-21-2009.31-F-2024-11-19-1405.22.pdiff [124 kB]
- Fetched 390 kB in 5s (75.6 kB/s)
- Reading package lists...
-
2024-11-22 04:11.47 ---> using "8c71c57593e6ab207a0b2a98b3dcb40f70f93f651916c66211aaf3a07af00b55" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"bitwuzla-c.1.0.5\"\
\nopam install -vy \"bitwuzla-c.1.0.5\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"bitwuzla-c.1.0.5\" | 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.5 is not installed.
The following actions will be performed:
=== install 6 packages
- install bitwuzla-c 1.0.5
- install conf-g++ 1.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-gmp 4 [required by bitwuzla-c]
- install dune 3.16.1 [required by bitwuzla-c]
The following system packages will first need to be installed:
libgmp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /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 ... 19808 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
- Processing triggers for libc-bin (2.40-3) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/18: [bitwuzla-c.1.0.5: http]
Processing 2/18: [bitwuzla-c.1.0.5: http]
Processing 3/18: [bitwuzla-c.1.0.5: http]
Processing 4/18: [bitwuzla-c.1.0.5: http]
-> retrieved conf-gmp.4 (cached)
Processing 5/18: [bitwuzla-c.1.0.5: http]
Processing 6/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract]
Processing 7/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-g++: g++]
Processing 8/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-g++: g++] [conf-gcc: gcc]
Processing 9/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-g++: g++] [conf-gcc: gcc] [conf-git: git]
Processing 10/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-g++: g++] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "g++" "--version" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-g++.1.0)
- g++ (Debian 14.2.0-8) 14.2.0
- Copyright (C) 2024 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 10/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
-> installed conf-g++.1.0
Processing 11/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "git" "--version" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-git.1.1)
- git version 2.45.2
-> compiled conf-git.1.1
Processing 11/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-gcc: gcc] [conf-gmp: sh]
-> installed conf-git.1.1
Processing 12/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-gcc: gcc] [conf-gmp: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "gcc" "--version" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-gcc.1.0)
- gcc (Debian 14.2.0-8) 14.2.0
- Copyright (C) 2024 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: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-gmp: sh]
-> installed conf-gcc.1.0
Processing 13/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract] [conf-gmp: sh]
+ /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.09/.opam-switch/build/conf-gmp.4)
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 13/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract]
-> installed conf-gmp.4
Processing 14/18: [bitwuzla-c.1.0.5: http] [dune.3.16.1: extract]
-> retrieved dune.3.16.1 (cached)
Processing 14/18: [bitwuzla-c.1.0.5: http]
Processing 15/18: [bitwuzla-c.1.0.5: http] [dune: ocaml 31]
Processing 15/18: [bitwuzla-c.1.0.5: extract] [dune: ocaml 31]
-> retrieved bitwuzla-c.1.0.5 (https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.5/bitwuzla-1.0.5.tbz)
Processing 15/18: [dune: ocaml 31]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.16.1)
- ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 31
- cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads dune_util__Gc.ml
- File "src/dune_util/gc.ml", lines 78-95, characters 5-6:
- Warning 23: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-
Processing 15/18: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.16.1)
-> compiled dune.3.16.1
-> installed dune.3.16.1
Processing 17/18: [bitwuzla-c: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bitwuzla-c" "-j" "31" "@install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/bitwuzla-c.1.0.5)
- (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.5
-> installed bitwuzla-c.1.0.5
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-22 04:12.59 ---> saved as "617a54f68cc2c663b5344720ef3d0180c37338371da2e8a24ef7e25447dd0bad"
Job succeeded
Home|Differences with the last checks|Previous runs