- github
- ocaml
- opam-repository
- a95df9
- compilers,5.4,dune.3.21.0~alpha3,revdeps,bddrand.2.71.10
(not at the head of any monitored branch or PR)
2025-12-11 02:47.53: New job: test bddrand.2.71.10 with dune.3.21.0~alpha3, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29070/head (a95df9014bc79103fde668cf2adbe6680fd2f9cf)
on debian-13-ocaml-5.4/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29070/head" && git reset --hard a95df901
git fetch origin master
git merge --no-edit 810e1f14b7fa6411c66a3549f4c2aff47c52fc36
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn dune.3.21.0~alpha3 3.21.0~alpha3
RUN opam reinstall dune.3.21.0~alpha3; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune.3.21.0~alpha3' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall bddrand.2.71.10; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'bddrand.2.71.10' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test bddrand.2.71.10) || true
RUN opam reinstall --with-test --verbose bddrand.2.71.10; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'bddrand.2.71.10' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2025-12-11 02:47.53: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04-dune.3.21.0~alpha3-bddrand.2.71.10-a95df9014bc79103fde668cf2adbe6680fd2f9cf"
2025-12-11 02:47.53: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn dune.3.21.0~alpha3 3.21.0~alpha3"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0~alpha3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.21.0~alpha3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall bddrand.2.71.10;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'bddrand.2.71.10' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test bddrand.2.71.10) || true"))
(run (shell "opam reinstall --with-test --verbose bddrand.2.71.10;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'bddrand.2.71.10' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-12-11 02:47.53: Waiting for resource in pool OCluster
2025-12-11 14:48.21: Waiting for worker…
2025-12-11 14:51.25: Got resource from pool OCluster
Building on laodoke.caelum.ci.dev
All commits already cached
Updating files: 54% (10425/19017)
Updating files: 55% (10460/19017)
Updating files: 56% (10650/19017)
Updating files: 57% (10840/19017)
Updating files: 58% (11030/19017)
Updating files: 59% (11221/19017)
Updating files: 60% (11411/19017)
Updating files: 61% (11601/19017)
Updating files: 62% (11791/19017)
Updating files: 63% (11981/19017)
Updating files: 64% (12171/19017)
Updating files: 65% (12362/19017)
Updating files: 66% (12552/19017)
Updating files: 67% (12742/19017)
Updating files: 68% (12932/19017)
Updating files: 69% (13122/19017)
Updating files: 70% (13312/19017)
Updating files: 71% (13503/19017)
Updating files: 72% (13693/19017)
Updating files: 73% (13883/19017)
Updating files: 74% (14073/19017)
Updating files: 75% (14263/19017)
Updating files: 76% (14453/19017)
Updating files: 77% (14644/19017)
Updating files: 78% (14834/19017)
Updating files: 79% (15024/19017)
Updating files: 80% (15214/19017)
Updating files: 81% (15404/19017)
Updating files: 82% (15594/19017)
Updating files: 83% (15785/19017)
Updating files: 84% (15975/19017)
Updating files: 85% (16165/19017)
Updating files: 86% (16355/19017)
Updating files: 87% (16545/19017)
Updating files: 88% (16735/19017)
Updating files: 89% (16926/19017)
Updating files: 90% (17116/19017)
Updating files: 91% (17306/19017)
Updating files: 92% (17496/19017)
Updating files: 93% (17686/19017)
Updating files: 94% (17876/19017)
Updating files: 95% (18067/19017)
Updating files: 96% (18257/19017)
Updating files: 97% (18447/19017)
Updating files: 98% (18637/19017)
Updating files: 99% (18827/19017)
Updating files: 100% (19017/19017)
Updating files: 100% (19017/19017), done.
HEAD is now at 810e1f14b7 Merge pull request #29066 from gares/release-elpi-v3.4.4
Updating 810e1f14b7..a95df9014b
Fast-forward
.../chrome-trace/chrome-trace.3.21.0~alpha3/opam | 41 ++++++++++++
.../dune-action-plugin.3.21.0~alpha3/opam | 54 ++++++++++++++++
.../dune-build-info.3.21.0~alpha3/opam | 47 ++++++++++++++
.../dune-configurator.3.21.0~alpha3/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.21.0~alpha3/opam | 44 +++++++++++++
.../dune-private-libs.3.21.0~alpha3/opam | 52 +++++++++++++++
.../dune-rpc-lwt/dune-rpc-lwt.3.21.0~alpha3/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.21.0~alpha3/opam | 46 +++++++++++++
packages/dune-site/dune-site.3.21.0~alpha3/opam | 39 +++++++++++
packages/dune/dune.3.21.0~alpha3/opam | 75 ++++++++++++++++++++++
packages/dyn/dyn.3.21.0~alpha3/opam | 42 ++++++++++++
packages/fs-io/fs-io.3.21.0~alpha3/opam | 40 ++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.21.0~alpha3/opam | 45 +++++++++++++
packages/ordering/ordering.3.21.0~alpha3/opam | 40 ++++++++++++
packages/stdune/stdune.3.21.0~alpha3/opam | 48 ++++++++++++++
.../top-closure/top-closure.3.21.0~alpha3/opam | 39 +++++++++++
packages/xdg/xdg.3.21.0~alpha3/opam | 41 ++++++++++++
17 files changed, 787 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.21.0~alpha3/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.21.0~alpha3/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.21.0~alpha3/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.21.0~alpha3/opam
create mode 100644 packages/dune-glob/dune-glob.3.21.0~alpha3/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.21.0~alpha3/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0~alpha3/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.21.0~alpha3/opam
create mode 100644 packages/dune-site/dune-site.3.21.0~alpha3/opam
create mode 100644 packages/dune/dune.3.21.0~alpha3/opam
create mode 100644 packages/dyn/dyn.3.21.0~alpha3/opam
create mode 100644 packages/fs-io/fs-io.3.21.0~alpha3/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.21.0~alpha3/opam
create mode 100644 packages/ordering/ordering.3.21.0~alpha3/opam
create mode 100644 packages/stdune/stdune.3.21.0~alpha3/opam
create mode 100644 packages/top-closure/top-closure.3.21.0~alpha3/opam
create mode 100644 packages/xdg/xdg.3.21.0~alpha3/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
2025-12-11 14:51.29 ---> using "5f87df8c1f6f0886e7311dfd3df40b8bbb961cc34c83c0d033c6dd248c84bc7d" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-12-11 14:51.29 ---> using "f1296791f2d76481058db697105a569091a6b6345f05c94bbc5a650f1a364f9a" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
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.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-11 14:51.29 ---> using "0cac9a31b4750e6a46df8ed8d2f68352091a988199fdf62c52779549510cd6bf" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2025-12-11 14:51.29 ---> using "1deb91dc3badca969976ed6f3bc5fe7c443d73a2cfa957be662fd6f93e30aa7b" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2025-12-11 14:51.29 ---> using "1a02438c8753bf7228a9eb625e65b7af26778a022b9ce0b16be5ef4f294c58cd" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-11 14:51.31 ---> using "558efc5d1dade30f771ff827a323991d3b5dc8b22610995de52463f4460db41d" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-11 14:51.31 ---> using "58e0c9dd5022cd1436b8b1510f482b6baa4e8929f778f88439cff37971729a44" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [82.1 kB]
- Fetched 173 kB in 0s (652 kB/s)
- Reading package lists...
-
2025-12-11 14:51.31 ---> using "de5cbb4e0f295ac93b57d57eef12f594db675884c8bd7983430c50e2fdd12f64" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.21.0~alpha3 3.21.0~alpha3"))
dune is now pinned to version 3.21.0~alpha3
2025-12-11 14:51.31 ---> using "af6cbda9e692e53fa8a8206602afe48a116f589a7ff1dcf8f7ba5c92367c3e3e" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0~alpha3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.21.0~alpha3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.21.0~alpha3 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.21.0~alpha3 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0~alpha3 (cached)
-> installed dune.3.21.0~alpha3
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-11 14:51.31 ---> using "4087a133b295dba0068b3ab8cbcc1fe3f8be9e05017b236fa624fde6f6bb2578" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall bddrand.2.71.10;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'bddrand.2.71.10' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
bddrand.2.71.10 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 45 packages
- install astring 0.8.5 [required by bos]
- install bddrand 2.71.10
- install bigarray-compat 1.1.0 [required by mlgmpidl]
- install bos 0.2.1 [required by yaml]
- install camlidl 1.13 [required by lutin]
- install camlp-streams 5.0.1 [required by lutin]
- install conf-findutils 1 [required by ez-conf-lib]
- install conf-gmp 5 [required by lutin]
- install conf-gmp-paths 1 [required by mlgmpidl]
- install conf-libX11 1 [required by graphics]
- install conf-libXft 1 [required by graphics]
- install conf-m4 1 [required by lutin]
- install conf-mpfr 3 [required by lutin]
- install conf-mpfr-paths 1 [required by mlgmpidl]
- install conf-perl 2 [required by lutin]
- install conf-pkg-config 4 [required by conf-mpfr, graphics]
- install cppo 1.8.0 [required by extlib]
- install csexp 1.5.2 [required by dune-configurator]
- install ctypes 0.24.0 [required by yaml]
- install dune-configurator 3.21.0~alpha3 [required by graphics]
- install extlib 1.8.0 [required by lutin]
- install ez-conf-lib 2 [required by conf-gmp-paths, conf-mpfr-paths]
- install ezdl 2.71.15 [required by lutin]
- install fmt 0.11.0 [required by bos]
- install fpath 0.7.3 [required by bos]
- install gbddml 2.71.15 [required by lutin]
- install graphics 5.2.0 [required by lutin]
- install integers 0.7.0 [required by ctypes]
- install logs 0.10.0 [required by bos]
- install lustre-v6 6.107.1 [required by lutin]
- install lutils 1.54.1 [required by lutin]
- install lutin 2.71.15 [required by bddrand]
- install mlgmpidl 1.3.0 [required by lutin]
- install num 1.6 [required by lutin]
- install ocamlbuild 0.16.1 [required by bos]
- install ocamlfind 1.9.8 [required by lutin]
- install ounit 2.2.7 [required by rdbg]
- install ounit2 2.2.7 [required by ounit]
- install polka 2.71.15 [required by lutin]
- install rdbg 1.199.0 [required by lutin]
- install rresult 0.7.0 [required by bos]
- install seq base [required by ounit2]
- install stdlib-shims 0.3.0 [required by ounit2, integers]
- install topkg 1.1.1 [required by bos]
- install yaml 3.2.0 [required by lustre-v6]
The following system packages will first need to be installed:
libgmp-dev libmpfr-dev libxft-dev m4 pkg-config
<><> 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" "libmpfr-dev" "libxft-dev" "m4" "pkg-config"
- Preconfiguring packages ...
- Selecting previously unselected package bzip2-doc.
- (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 ... 20653 files and directories currently installed.)
- Preparing to unpack .../00-bzip2-doc_1.0.8-6_all.deb ...
- Unpacking bzip2-doc (1.0.8-6) ...
- Selecting previously unselected package fonts-dejavu-mono.
- Preparing to unpack .../01-fonts-dejavu-mono_2.37-8_all.deb ...
- Unpacking fonts-dejavu-mono (2.37-8) ...
- Selecting previously unselected package fonts-dejavu-core.
- Preparing to unpack .../02-fonts-dejavu-core_2.37-8_all.deb ...
- Unpacking fonts-dejavu-core (2.37-8) ...
- Selecting previously unselected package fontconfig-config.
- Preparing to unpack .../03-fontconfig-config_2.15.0-2.3_amd64.deb ...
- Unpacking fontconfig-config (2.15.0-2.3) ...
- Selecting previously unselected package libbrotli-dev:amd64.
- Preparing to unpack .../04-libbrotli-dev_1.1.0-2+b7_amd64.deb ...
- Unpacking libbrotli-dev:amd64 (1.1.0-2+b7) ...
- Selecting previously unselected package libbz2-dev:amd64.
- Preparing to unpack .../05-libbz2-dev_1.0.8-6_amd64.deb ...
- Unpacking libbz2-dev:amd64 (1.0.8-6) ...
- Selecting previously unselected package libexpat1-dev:amd64.
- Preparing to unpack .../06-libexpat1-dev_2.7.1-2_amd64.deb ...
- Unpacking libexpat1-dev:amd64 (2.7.1-2) ...
- Selecting previously unselected package libpng16-16t64:amd64.
- Preparing to unpack .../07-libpng16-16t64_1.6.48-1+deb13u1_amd64.deb ...
- Unpacking libpng16-16t64:amd64 (1.6.48-1+deb13u1) ...
- Selecting previously unselected package libfreetype6:amd64.
- Preparing to unpack .../08-libfreetype6_2.13.3+dfsg-1_amd64.deb ...
- Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ...
- Selecting previously unselected package libfontconfig1:amd64.
- Preparing to unpack .../09-libfontconfig1_2.15.0-2.3_amd64.deb ...
- Unpacking libfontconfig1:amd64 (2.15.0-2.3) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../10-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- Selecting previously unselected package libpng-dev:amd64.
- Preparing to unpack .../11-libpng-dev_1.6.48-1+deb13u1_amd64.deb ...
- Unpacking libpng-dev:amd64 (1.6.48-1+deb13u1) ...
- Selecting previously unselected package libfreetype-dev:amd64.
- Preparing to unpack .../12-libfreetype-dev_2.13.3+dfsg-1_amd64.deb ...
- Unpacking libfreetype-dev:amd64 (2.13.3+dfsg-1) ...
- Selecting previously unselected package uuid-dev:amd64.
- Preparing to unpack .../13-uuid-dev_2.41-5_amd64.deb ...
- Unpacking uuid-dev:amd64 (2.41-5) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../14-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../15-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../16-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package libfontconfig-dev:amd64.
- Preparing to unpack .../17-libfontconfig-dev_2.15.0-2.3_amd64.deb ...
- Unpacking libfontconfig-dev:amd64 (2.15.0-2.3) ...
- Selecting previously unselected package libfontconfig1-dev:amd64.
- Preparing to unpack .../18-libfontconfig1-dev_2.15.0-2.3_amd64.deb ...
- Unpacking libfontconfig1-dev:amd64 (2.15.0-2.3) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../19-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../20-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libmpfr-dev:amd64.
- Preparing to unpack .../21-libmpfr-dev_4.2.2-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.2-1) ...
- Selecting previously unselected package libpng-tools.
- Preparing to unpack .../22-libpng-tools_1.6.48-1+deb13u1_amd64.deb ...
- Unpacking libpng-tools (1.6.48-1+deb13u1) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../23-libxrender1_1%3a0.9.12-1_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.12-1) ...
- Selecting previously unselected package libxft2:amd64.
- Preparing to unpack .../24-libxft2_2.3.6-1+b4_amd64.deb ...
- Unpacking libxft2:amd64 (2.3.6-1+b4) ...
- Selecting previously unselected package libxrender-dev:amd64.
- Preparing to unpack .../25-libxrender-dev_1%3a0.9.12-1_amd64.deb ...
- Unpacking libxrender-dev:amd64 (1:0.9.12-1) ...
- Selecting previously unselected package libxft-dev:amd64.
- Preparing to unpack .../26-libxft-dev_2.3.6-1+b4_amd64.deb ...
- Unpacking libxft-dev:amd64 (2.3.6-1+b4) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../27-m4_1.4.19-8_amd64.deb ...
- Unpacking m4 (1.4.19-8) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../28-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up bzip2-doc (1.0.8-6) ...
- Setting up libxrender1:amd64 (1:0.9.12-1) ...
- Setting up m4 (1.4.19-8) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libexpat1-dev:amd64 (2.7.1-2) ...
- Setting up uuid-dev:amd64 (2.41-5) ...
- Setting up fonts-dejavu-mono (2.37-8) ...
- Setting up libpng16-16t64:amd64 (1.6.48-1+deb13u1) ...
- Setting up fonts-dejavu-core (2.37-8) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- Setting up libxrender-dev:amd64 (1:0.9.12-1) ...
- Setting up libbrotli-dev:amd64 (1.1.0-2+b7) ...
- Setting up libbz2-dev:amd64 (1.0.8-6) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libpng-tools (1.6.48-1+deb13u1) ...
- Setting up fontconfig-config (2.15.0-2.3) ...
- Setting up libpng-dev:amd64 (1.6.48-1+deb13u1) ...
- Setting up libmpfr-dev:amd64 (4.2.2-1) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Setting up libfontconfig1:amd64 (2.15.0-2.3) ...
- Setting up libxft2:amd64 (2.3.6-1+b4) ...
- Setting up libfreetype-dev:amd64 (2.13.3+dfsg-1) ...
- Setting up libfontconfig-dev:amd64 (2.15.0-2.3) ...
- Setting up libxft-dev:amd64 (2.3.6-1+b4) ...
- Setting up libfontconfig1-dev:amd64 (2.15.0-2.3) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (cached)
-> retrieved bddrand.2.71.10 (cached)
-> retrieved bigarray-compat.1.1.0 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved camlidl.1.13 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-gmp-paths.1 (cached)
-> retrieved conf-mpfr.3 (cached)
-> retrieved conf-mpfr-paths.1 (cached)
-> retrieved cppo.1.8.0 (cached)
-> installed conf-findutils.1
-> installed bigarray-compat.1.1.0
-> installed conf-gmp.5
-> installed conf-m4.1
-> installed conf-perl.2
-> installed conf-pkg-config.4
-> retrieved csexp.1.5.2 (cached)
-> installed conf-libX11.1
-> retrieved ctypes.0.24.0 (cached)
-> installed conf-mpfr.3
-> installed conf-libXft.1
-> installed camlp-streams.5.0.1
-> installed csexp.1.5.2
-> installed cppo.1.8.0
-> retrieved dune-configurator.3.21.0~alpha3 (cached)
-> installed camlidl.1.13
-> retrieved extlib.1.8.0 (cached)
-> retrieved ez-conf-lib.2 (cached)
-> retrieved ezdl.2.71.15, gbddml.2.71.15, lutin.2.71.15, polka.2.71.15 (cached)
-> installed ez-conf-lib.2
-> retrieved fmt.0.11.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved graphics.5.2.0 (cached)
-> retrieved integers.0.7.0 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved lustre-v6.6.107.1 (cached)
-> retrieved lutils.1.54.1 (cached)
-> retrieved mlgmpidl.1.3.0 (cached)
-> retrieved num.1.6 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> installed conf-gmp-paths.1
-> retrieved ounit.2.2.7, ounit2.2.2.7 (cached)
-> retrieved rdbg.1.199.0 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved yaml.3.2.0 (cached)
-> installed stdlib-shims.0.3.0
-> installed conf-mpfr-paths.1
-> installed ezdl.2.71.15
-> installed extlib.1.8.0
-> installed integers.0.7.0
-> installed gbddml.2.71.15
-> installed ounit2.2.2.7
-> installed dune-configurator.3.21.0~alpha3
-> installed num.1.6
-> installed graphics.5.2.0
-> installed ocamlbuild.0.16.1
-> installed ctypes.0.24.0
-> installed ocamlfind.1.9.8
-> installed ounit.2.2.7
-> installed lutils.1.54.1
-> installed mlgmpidl.1.3.0
[ERROR] The compilation of polka.2.71.15 failed at "dune build -p polka -j 71".
-> installed topkg.1.1.1
-> installed rresult.0.7.0
-> installed rdbg.1.199.0
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed logs.0.10.0
-> installed fpath.0.7.3
-> installed bos.0.2.1
-> installed yaml.3.2.0
-> installed lustre-v6.6.107.1
#=== ERROR while compiling polka.2.71.15 ======================================#
# context 2.5.0 | linux/x86_64 | ocaml-base-compiler.5.4.0 | file:///home/opam/opam-repository
# path ~/.opam/5.4/.opam-switch/build/polka.2.71.15
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p polka -j 71
# exit-code 1
# env-file ~/.opam/log/polka-7-d2b2e1.env
# output-file ~/.opam/log/polka-7-d2b2e1.out
### output ###
# (cd _build/default/lib/polka && /usr/bin/make)
# echo "\
# s/vector__t/t/g; \
# s/matrix__t/t/g; \
# s/poly__t/t/g; \
# s/dimsup_t/dimsup/g; \
# s/equation_t/equation/g; \
# s/external vector_/external /g; \
# s/external matrix_/external /g; \
# s/external poly_/external /g; \
# s/Tbool_bottom/Bottom/; \
# s/Tbool_true/True/; \
# s/Tbool_false/False/; \
# s/Tbool_top/Top/; \
# " >sedscript
# mkdir -p tmp
# cp vector.idl tmp
# camlidl -nocpp -I . tmp/vector.idl
# cp tmp/vector_stubs.c vector_caml.c
# sed -f sedscript tmp/vector.ml >vector.ml
# sed -f sedscript tmp/vector.mli >vector.mli
# mkdir -p tmp
# cp matrix.idl tmp
# camlidl -nocpp -I . tmp/matrix.idl
# cp tmp/matrix_stubs.c matrix_caml.c
# sed -f sedscript tmp/matrix.ml >matrix.ml
# sed -f sedscript tmp/matrix.mli >matrix.mli
# mkdir -p tmp
# cp poly.idl tmp
# camlidl -nocpp -I . tmp/poly.idl
# cp tmp/poly_stubs.c poly_caml.c
# sed -f sedscript tmp/poly.ml >poly.ml
# sed -f sedscript tmp/poly.mli >poly.mli
# File "lib/polka/dune", line 9, characters 37-46:
# 9 | vector_caml matrix_caml poly_caml polka_caml)
# ^^^^^^^^^
# (cd _build/default/lib/polka && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -O3 -fPIC -DPOLKA_NUM=3 -I$pkg_camlidl -I/usr/local/include/ -g -I /home/opam/.opam/5.4/lib/ocaml -I /home/opam/.opam/5.4/lib/bigarray-compat -I /home/opam/.opam/5.4/lib/camlidl -I /home/opam/.opam/5.4/lib/gmp -I /home/opam/.opam/5.4/lib/num -o poly_caml.o -c poly_caml.c)
# poly_caml.c: In function 'camlidl_poly_poly_inter_array':
# poly_caml.c:756:32: error: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types]
# 756 | _res = poly_intersection_array(po,size);
# | ^~
# | |
# | poly_t **
# In file included from poly_caml.c:17:
# poly.h:91:55: note: expected 'const poly_t * const*' but argument is of type 'poly_t **'
# 91 | poly_t* poly_intersection_array(const poly_t* const *po, int size);
# | ~~~~~~~~~~~~~~~~~~~~~^~
# poly_caml.c: In function 'camlidl_poly_poly_union_array':
# poly_caml.c:848:31: error: passing argument 1 of 'poly_convex_hull_array' from incompatible pointer type [-Wincompatible-pointer-types]
# 848 | _res = poly_convex_hull_array(po,size);
# | ^~
# | |
# | poly_t **
# poly.h:96:54: note: expected 'const poly_t * const*' but argument is of type 'poly_t **'
# 96 | poly_t* poly_convex_hull_array(const poly_t* const *po, int size);
# | ~~~~~~~~~~~~~~~~~~~~~^~
# poly_caml.c: In function 'camlidl_poly_poly_inter_array_lazy':
# poly_caml.c:940:37: error: passing argument 1 of 'poly_intersection_array_lazy' from incompatible pointer type [-Wincompatible-pointer-types]
# 940 | _res = poly_intersection_array_lazy(po,size);
# | ^~
# | |
# | poly_t **
# poly.h:101:60: note: expected 'const poly_t * const*' but argument is of type 'poly_t **'
# 101 | poly_t* poly_intersection_array_lazy(const poly_t* const *po, int size);
# | ~~~~~~~~~~~~~~~~~~~~~^~
# poly_caml.c: In function 'camlidl_poly_poly_union_array_lazy':
# poly_caml.c:1032:36: error: passing argument 1 of 'poly_convex_hull_array_lazy' from incompatible pointer type [-Wincompatible-pointer-types]
# 1032 | _res = poly_convex_hull_array_lazy(po,size);
# | ^~
# | |
# | poly_t **
# poly.h:106:59: note: expected 'const poly_t * const*' but argument is of type 'poly_t **'
# 106 | poly_t* poly_convex_hull_array_lazy(const poly_t* const *po, int size);
# | ~~~~~~~~~~~~~~~~~~~~~^~
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build polka 2.71.15
+-
+- The following changes have been performed (the rest was aborted)
| - install astring 0.8.5
| - install bigarray-compat 1.1.0
| - install bos 0.2.1
| - install camlidl 1.13
| - install camlp-streams 5.0.1
| - install conf-findutils 1
| - install conf-gmp 5
| - install conf-gmp-paths 1
| - install conf-libX11 1
| - install conf-libXft 1
| - install conf-m4 1
| - install conf-mpfr 3
| - install conf-mpfr-paths 1
| - install conf-perl 2
| - install conf-pkg-config 4
| - install cppo 1.8.0
| - install csexp 1.5.2
| - install ctypes 0.24.0
| - install dune-configurator 3.21.0~alpha3
| - install extlib 1.8.0
| - install ez-conf-lib 2
| - install ezdl 2.71.15
| - install fmt 0.11.0
| - install fpath 0.7.3
| - install gbddml 2.71.15
| - install graphics 5.2.0
| - install integers 0.7.0
| - install logs 0.10.0
| - install lustre-v6 6.107.1
| - install lutils 1.54.1
| - install mlgmpidl 1.3.0
| - install num 1.6
| - install ocamlbuild 0.16.1
| - install ocamlfind 1.9.8
| - install ounit 2.2.7
| - install ounit2 2.2.7
| - install rdbg 1.199.0
| - install rresult 0.7.0
| - install seq base
| - install stdlib-shims 0.3.0
| - install topkg 1.1.1
| - install yaml 3.2.0
+-
<><> rdbg.1.199.0 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
<><> lutils.1.54.1 installed successfully <><><><><><><><><><><><><><><><><><><>
=> The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
<><> lustre-v6.6.107.1 installed successfully <><><><><><><><><><><><><><><><><>
=> The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
<><> gbddml.2.71.15 installed successfully ><><><><><><><><><><><><><><><><><><>
=> The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
<><> ezdl.2.71.15 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
<><> conf-mpfr-paths.1 installed successfully <><><><><><><><><><><><><><><><><>
=> header file found in /usr/include
=> library file found in /usr/lib/x86_64-linux-gnu
<><> conf-gmp-paths.1 installed successfully ><><><><><><><><><><><><><><><><><>
=> header file found in /usr/include/x86_64-linux-gnu
=> library file found in /usr/lib/x86_64-linux-gnu
<><> polka.2.71.15 troubleshooting ><><><><><><><><><><><><><><><><><><><><><><>
=> The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
# To update the current shell environment, run: eval $(opam env)
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/5.4/.opam-switch/backup/state-20251211145132.export"
[WARNING] OPAMCONFIRMLEVEL was ignored because CLI 2.0 was requested and it was introduced in 2.1.
[WARNING] OPAMCONFIRMLEVEL was ignored because CLI 2.0 was requested and it was introduced in 2.1.
opam-repo-ci detected dependencies failing: polka.2.71.15
"/usr/bin/env" "bash" "-c" "opam reinstall bddrand.2.71.10;
res=$?;
test "$res" != 31 && exit "$res";
export OPAMCLI=2.0;
build_dir=$(opam var prefix)/.opam-switch/build;
failed=$(ls "$build_dir");
partial_fails="";
for pkg in $failed; do
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.";
fi;
test "$pkg" != 'bddrand.2.71.10' && partial_fails="$partial_fails $pkg";
done;
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}";
exit 1" failed with exit status 1
2025-12-11 14:54.02: Job failed: Failed: Build failed
2025-12-11 14:54.02: Log analysis:
2025-12-11 14:54.02: >>>
[ERROR] The compilation of polka.2.71.15 failed at "dune build -p polka -j 71".
(score = 20)
2025-12-11 14:54.02: >>>
# poly_caml.c:756:32: error: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types]
(score = 30)
2025-12-11 14:54.02: >>>
# poly_caml.c:848:31: error: passing argument 1 of 'poly_convex_hull_array' from incompatible pointer type [-Wincompatible-pointer-types]
(score = 30)
2025-12-11 14:54.02: >>>
# poly_caml.c:940:37: error: passing argument 1 of 'poly_intersection_array_lazy' from incompatible pointer type [-Wincompatible-pointer-types]
(score = 30)
2025-12-11 14:54.02: >>>
# poly_caml.c:1032:36: error: passing argument 1 of 'poly_convex_hull_array_lazy' from incompatible pointer type [-Wincompatible-pointer-types]
(score = 30)
2025-12-11 14:54.02: >>>
opam-repo-ci detected dependencies failing: polka.2.71.15
(score = 75)
2025-12-11 14:54.02: polka.2.71.15 failed to build