Building on x86-bm-c9.sw.ocaml.org
(from ocaml/opam:debian-unstable)
2023-12-14 06:46.10 ---> 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-14 06:46.10 ---> 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 459c77093fc090bfb45109ea82f5bd374d0f7fb2"))
2023-12-14 06:46.10 ---> using "f6d2f3d64d3d0af1af5801830ca2c6c66afbf7dfe44b10e68fdafab4f2599426" 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-14 06:46.10 ---> using "f89cac945d4ec46aa2159c9bc242c414abb5fedd87ae345c02679b240bc10311" 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-14 06:46.10 ---> using "3069a8f9765796c2e56dbdea8620ae1270dc62a64c1f6fd5b3edeaf215a9a68d" 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-14-0210.41-F-2023-12-08-1403.55.pdiff [278 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2023-12-14-0210.41-F-2023-12-08-1403.55.pdiff [278 kB]
- Fetched 540 kB in 3s (204 kB/s)
- Reading package lists...
-
2023-12-14 06:46.10 ---> using "63c1440d348d6ede847597af53b09dcccf451af01abbfe38f5c617ae2f12ecd8" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"conf-calcium.1\"\
\nopam install -vy \"conf-calcium.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"conf-calcium.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"))
[NOTE] conf-calcium.1 is not installed.
Nothing to do.
The following actions will be performed:
=== install 3 packages
- install conf-arb 1 [required by conf-calcium]
- install conf-calcium 1
- install conf-flint 1 [required by conf-calcium]
The following system packages will first need to be installed:
libcalcium-dev libflint-arb-dev libflint-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" "libcalcium-dev" "libflint-arb-dev" "libflint-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgf2x3: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 ... 18155 files and directories currently installed.)
- Preparing to unpack .../00-libgf2x3_1.3.0-2_amd64.deb ...
- Unpacking libgf2x3:amd64 (1.3.0-2) ...
- Selecting previously unselected package libntl44:amd64.
- Preparing to unpack .../01-libntl44_11.5.1-1+b2_amd64.deb ...
- Unpacking libntl44:amd64 (11.5.1-1+b2) ...
- Selecting previously unselected package libflint17:amd64.
- Preparing to unpack .../02-libflint17_2.9.0-5_amd64.deb ...
- Unpacking libflint17:amd64 (2.9.0-5) ...
- Selecting previously unselected package libantic0:amd64.
- Preparing to unpack .../03-libantic0_0.2.5+ds-1+b2_amd64.deb ...
- Unpacking libantic0:amd64 (0.2.5+ds-1+b2) ...
- Selecting previously unselected package libflint-arb2:amd64.
- Preparing to unpack .../04-libflint-arb2_1%3a2.23.0-1+b1_amd64.deb ...
- Unpacking libflint-arb2:amd64 (1:2.23.0-1+b1) ...
- Selecting previously unselected package libcalcium0:amd64.
- Preparing to unpack .../05-libcalcium0_0.4.1-4_amd64.deb ...
- Unpacking libcalcium0:amd64 (0.4.1-4) ...
- Selecting previously unselected package libcalcium-dev:amd64.
- Preparing to unpack .../06-libcalcium-dev_0.4.1-4_amd64.deb ...
- Unpacking libcalcium-dev:amd64 (0.4.1-4) ...
- Selecting previously unselected package libflint18:amd64.
- Preparing to unpack .../07-libflint18_3.0.1-1_amd64.deb ...
- Unpacking libflint18:amd64 (3.0.1-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../08-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 .../09-libgmp-dev_2%3a6.3.0+dfsg-2_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2) ...
- Selecting previously unselected package libmpfr-dev:amd64.
- Preparing to unpack .../10-libmpfr-dev_4.2.1-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.1-1) ...
- Selecting previously unselected package libflint-dev.
- Preparing to unpack .../11-libflint-dev_3.0.1-1_amd64.deb ...
- Unpacking libflint-dev (3.0.1-1) ...
- Selecting previously unselected package libflint-arb-dev:amd64.
- Preparing to unpack .../12-libflint-arb-dev_1%3a2.23.0-1+b1_amd64.deb ...
- Unpacking libflint-arb-dev:amd64 (1:2.23.0-1+b1) ...
- Setting up libgf2x3:amd64 (1.3.0-2) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2) ...
- Setting up libflint18:amd64 (3.0.1-1) ...
- Setting up libntl44:amd64 (11.5.1-1+b2) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2) ...
- Setting up libflint17:amd64 (2.9.0-5) ...
- Setting up libmpfr-dev:amd64 (4.2.1-1) ...
- Setting up libantic0:amd64 (0.2.5+ds-1+b2) ...
- Setting up libflint-arb2:amd64 (1:2.23.0-1+b1) ...
- Setting up libflint-dev (3.0.1-1) ...
- Setting up libflint-arb-dev:amd64 (1:2.23.0-1+b1) ...
- Setting up libcalcium0:amd64 (0.4.1-4) ...
- Setting up libcalcium-dev:amd64 (0.4.1-4) ...
- Processing triggers for libc-bin (2.37-13) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 4/9: [conf-arb: sh echo "#include \"arb.h\"" > test.c]
Processing 5/9: [conf-arb: sh echo "#include \"arb.h\"" > test.c] [conf-flint: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "echo \"#include \\\"arb.h\\\"\" > test.c" (CWD=/home/opam/.opam/4.11/.opam-switch/build/conf-arb.1)
- + echo #include "arb.h"
Processing 5/9: [conf-arb: sh] [conf-flint: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "echo \"#include \\\"flint/fmpz_poly.h\\\"\" > test.c" (CWD=/home/opam/.opam/4.11/.opam-switch/build/conf-flint.1)
- + echo #include "flint/fmpz_poly.h"
+ /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-flint.1)
- + cc -c -I/usr/local/include test.c
-> compiled conf-flint.1
Processing 5/9: [conf-arb: sh]
-> installed conf-flint.1
Processing 6/9: [conf-arb: 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-arb.1)
- + cc -c -I/usr/local/include test.c
- In file included from /usr/include/mag.h:25,
- from /usr/include/arb.h:22,
- from test.c:1:
- /usr/include/fmpz_extras.h:208:1: error: static declaration of 'fmpz_ui_pow_ui' follows non-static declaration
- 208 | fmpz_ui_pow_ui(fmpz_t x, ulong b, ulong e)
- | ^~~~~~~~~~~~~~
- In file included from /usr/include/mag.h:24:
- /usr/include/flint/fmpz.h:422:6: note: previous declaration of 'fmpz_ui_pow_ui' with type 'void(fmpz *, mp_limb_t, mp_limb_t)' {aka 'void(long int *, long unsigned int, long unsigned int)'}
- 422 | void fmpz_ui_pow_ui(fmpz_t x, ulong b, ulong e);
- | ^~~~~~~~~~~~~~
- In file included from /usr/include/mag.h:501:
- /usr/include/fmpr.h: In function 'fmpr_set_ui':
- /usr/include/fmpr.h:360:11: error: 'count_trailing_zeros' is deprecated. Use 'flint_ctz' instead.
- 360 | count_trailing_zeros(b, c);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/fmpr.h: In function 'fmpr_set_si':
- /usr/include/fmpr.h:375:11: error: 'count_trailing_zeros' is deprecated. Use 'flint_ctz' instead.
- 375 | count_trailing_zeros(b, c);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/arb.h:23:
- /usr/include/arf.h: In function 'arf_init_set_ui':
- /usr/include/arf.h:435:11: error: 'count_leading_zeros' is deprecated. Use 'flint_clz' instead.
- 435 | count_leading_zeros(c, v);
- | ^~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/arf.h: In function 'arf_set_ui':
- /usr/include/arf.h:467:11: error: 'count_leading_zeros' is deprecated. Use 'flint_clz' instead.
- 467 | count_leading_zeros(c, v);
- | ^~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/arf.h: In function 'arf_bits':
- /usr/include/arf.h:656:11: error: 'count_trailing_zeros' is deprecated. Use 'flint_ctz' instead.
- 656 | count_trailing_zeros(c, xp[0]);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/arb.h: In function '_arb_mpn_leading_zeros':
- /usr/include/arb.h:1041:11: error: 'count_leading_zeros' is deprecated. Use 'flint_clz' instead.
- 1041 | count_leading_zeros(bits, t);
- | ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ERROR] The compilation of conf-arb.1 failed at "sh -exc cc -c $CFLAGS -I/usr/local/include test.c".
#=== ERROR while compiling conf-arb.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/conf-arb.1
# command ~/.opam/opam-init/hooks/sandbox.sh build sh -exc cc -c $CFLAGS -I/usr/local/include test.c
# exit-code 1
# env-file ~/.opam/log/conf-arb-8-b426b2.env
# output-file ~/.opam/log/conf-arb-8-b426b2.out
### output ###
# + cc -c -I/usr/local/include test.c
# In file included from /usr/include/mag.h:25,
# from /usr/include/arb.h:22,
# from test.c:1:
# /usr/include/fmpz_extras.h:208:1: error: static declaration of 'fmpz_ui_pow_ui' follows non-static declaration
# 208 | fmpz_ui_pow_ui(fmpz_t x, ulong b, ulong e)
# | ^~~~~~~~~~~~~~
# In file included from /usr/include/mag.h:24:
# /usr/include/flint/fmpz.h:422:6: note: previous declaration of 'fmpz_ui_pow_ui' with type 'void(fmpz *, mp_limb_t, mp_limb_t)' {aka 'void(long int *, long unsigned int, long unsigned int)'}
# 422 | void fmpz_ui_pow_ui(fmpz_t x, ulong b, ulong e);
# | ^~~~~~~~~~~~~~
# In file included from /usr/include/mag.h:501:
# /usr/include/fmpr.h: In function 'fmpr_set_ui':
# /usr/include/fmpr.h:360:11: error: 'count_trailing_zeros' is deprecated. Use 'flint_ctz' instead.
# 360 | count_trailing_zeros(b, c);
# | ^~~~~~~~~~~~~~~~~~~~~~~~~
# /usr/include/fmpr.h: In function 'fmpr_set_si':
# /usr/include/fmpr.h:375:11: error: 'count_trailing_zeros' is deprecated. Use 'flint_ctz' instead.
# 375 | count_trailing_zeros(b, c);
# | ^~~~~~~~~~~~~~~~~~~~~~~~~
# In file included from /usr/include/arb.h:23:
# /usr/include/arf.h: In function 'arf_init_set_ui':
# /usr/include/arf.h:435:11: error: 'count_leading_zeros' is deprecated. Use 'flint_clz' instead.
# 435 | count_leading_zeros(c, v);
# | ^~~~~~~~~~~~~~~~~~~~~~~~
# /usr/include/arf.h: In function 'arf_set_ui':
# /usr/include/arf.h:467:11: error: 'count_leading_zeros' is deprecated. Use 'flint_clz' instead.
# 467 | count_leading_zeros(c, v);
# | ^~~~~~~~~~~~~~~~~~~~~~~~
# /usr/include/arf.h: In function 'arf_bits':
# /usr/include/arf.h:656:11: error: 'count_trailing_zeros' is deprecated. Use 'flint_ctz' instead.
# 656 | count_trailing_zeros(c, xp[0]);
# | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# /usr/include/arb.h: In function '_arb_mpn_leading_zeros':
# /usr/include/arb.h:1041:11: error: 'count_leading_zeros' is deprecated. Use 'flint_clz' instead.
# 1041 | count_leading_zeros(bits, t);
# | ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions were aborted
| - install conf-calcium 1
+-
+- The following actions failed
| - build conf-arb 1
+-
+- The following changes have been performed (the rest was aborted)
| - install conf-flint 1
+-
# 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-20231214064612.export"
'opam install -vy conf-calcium.1' failed.
"/usr/bin/env" "bash" "-c" "
opam remove -y "conf-calcium.1"
opam install -vy "conf-calcium.1"
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: "conf-calcium.1" | 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