Building on clete.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:5f15ee6802615ad2b650f150e5e945f7e487f56a8943d4ebe039b403409f05da
Status: Downloaded newer image for ocaml/opam:debian-unstable
2023-12-05 22:38.02 ---> 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-dev /usr/bin/opam"))
2023-12-05 22:38.02 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" 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 9b339ea032fddfa6ce0cb73d84ff1379ebd47ed9"))
2023-12-05 22:38.02 ---> using "20aa2f676c72ba9776270042b43b7edbec546336c3004d1d4a21dacf5f73cd07" 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.
2023-12-05 22:38.02 ---> using "6b5c385b6a5237a853ba6746a7508f9f8eb9fb9201353e6e33705ec978f3e249" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.11' '4.11.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.11.2"} | "ocaml-system" {= "4.11.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.11.2 (cached)
-> installed ocaml-base-compiler.4.11.2
-> installed ocaml-config.1
-> installed ocaml.4.11.2
Done.
# Run eval $(opam env --switch=4.11) to update the current shell environment
2023-12-05 22:38.02 ---> using "9d9e28702e7b6bbdaee27b231b01db01d97d7fd0fdd44e9b4f0badd24f4a2c71" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [198 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-2023-12-05-1410.42-F-2023-11-30-2009.37.pdiff [339 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2023-12-05-1410.42-F-2023-11-30-2009.37.pdiff [339 kB]
- Fetched 601 kB in 4s (136 kB/s)
- Reading package lists...
-
2023-12-05 22:38.02 ---> using "b3fb6dbc5597caa3a47c34559f1f0c2544deab3a3eb6ab3edd23f234c8aefc8e" from cache
/: (env OCAMLPARAM warn-error=+8,_)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"bitwuzla-c.1.0.3\"\
\nopam install -vy \"bitwuzla-c.1.0.3\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"bitwuzla-c.1.0.3\" | 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.3 is not installed.
Nothing to do.
The following actions will be performed:
=== install 6 packages
- install bitwuzla-c 1.0.3
- 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.12.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 ... 18147 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-2_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-2_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2) ...
- Processing triggers for libc-bin (2.37-12) ...
<><> 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]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "g++" "--version" (CWD=/home/opam/.opam/4.11/.opam-switch/build/conf-g++.1.0)
- g++ (Debian 13.2.0-7) 13.2.0
- Copyright (C) 2023 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: [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
-> installed conf-g++.1.0
Processing 11/18: [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "gcc" "--version" (CWD=/home/opam/.opam/4.11/.opam-switch/build/conf-gcc.1.0)
- gcc (Debian 13.2.0-7) 13.2.0
- Copyright (C) 2023 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 11/18: [conf-git: git] [conf-gmp: sh]
-> installed conf-gcc.1.0
Processing 12/18: [conf-git: git] [conf-gmp: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "git" "--version" (CWD=/home/opam/.opam/4.11/.opam-switch/build/conf-git.1.1)
- git version 2.43.0
-> compiled conf-git.1.1
Processing 12/18: [conf-gmp: sh]
-> installed conf-git.1.1
Processing 13/18: [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.11/.opam-switch/build/conf-gmp.4)
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 13/18:
-> installed conf-gmp.4
Processing 14/18:
-> retrieved dune.3.12.1 (cached)
Processing 15/18: [dune: ocaml 71]
-> retrieved bitwuzla-c.1.0.3 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "71" (CWD=/home/opam/.opam/4.11/.opam-switch/build/dune.3.12.1)
- 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.11/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml
- File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34:
- Error (warning 8): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 170-189, characters 44-56:
- Error (warning 8): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 209-231, characters 8-44:
- Error (warning 8): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
-
[ERROR] The compilation of dune.3.12.1 failed at "ocaml boot/bootstrap.ml -j 71".
#=== ERROR while compiling dune.3.12.1 ========================================#
# context 2.2.0~alpha4~dev | linux/x86_64 | ocaml-base-compiler.4.11.2 | file:///home/opam/opam-repository
# path ~/.opam/4.11/.opam-switch/build/dune.3.12.1
# command ~/.opam/opam-init/hooks/sandbox.sh build ocaml boot/bootstrap.ml -j 71
# exit-code 2
# env-file ~/.opam/log/dune-8-7d3ff6.env
# output-file ~/.opam/log/dune-8-7d3ff6.out
### output ###
# 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.11/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml
# File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34:
# Error (warning 8): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Checksum_mismatch _
# File "vendor/opam/src/repository/opamLocal.ml", lines 170-189, characters 44-56:
# Error (warning 8): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Checksum_mismatch _
# File "vendor/opam/src/repository/opamLocal.ml", lines 209-231, characters 8-44:
# Error (warning 8): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Checksum_mismatch _
#
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions were aborted
| - install bitwuzla-c 1.0.3
+-
+- The following actions failed
| - build dune 3.12.1
+-
+- The following changes have been performed (the rest was aborted)
| - install conf-g++ 1.0
| - install conf-gcc 1.0
| - install conf-git 1.1
| - install conf-gmp 4
+-
# Run eval $(opam env) to update the current shell environment
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/4.11/.opam-switch/backup/state-20231205223804.export"
'opam install -vy bitwuzla-c.1.0.3' failed.
"/usr/bin/env" "bash" "-c" "
opam remove -y "bitwuzla-c.1.0.3"
opam install -vy "bitwuzla-c.1.0.3"
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: "bitwuzla-c.1.0.3" | grep -q '"debian-unstable"'; then
echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field."
exit 69
fi
fi
exit $res
" failed with exit status 31
Failed: Build failed
Home|Differences with the last checks|Previous runs