Build:
- 0
2025-12-13 20:56.06: New job: test codex.1.0-rc4, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29092/head (0382e9de0cdac335bf2a919c37baccb8b7fa5f1a)
on debian-13-ocaml-4.14/i386
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29092/head" && git reset --hard 0382e9de
git fetch origin master
git merge --no-edit 5e7994235393ffba006096d2639252e6ee59f278
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba
SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]
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 codex.1.0-rc4 1.0-rc4
RUN opam reinstall codex.1.0-rc4; \
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" != 'codex.1.0-rc4' && 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 codex.1.0-rc4) || true
RUN opam reinstall --with-test --verbose codex.1.0-rc4; \
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" != 'codex.1.0-rc4' && 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-13 20:56.06: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba-codex.1.0-rc4-0382e9de0cdac335bf2a919c37baccb8b7fa5f1a"
2025-12-13 20:56.06: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba)
(shell /usr/bin/linux32 /bin/sh -c)
(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 codex.1.0-rc4 1.0-rc4"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall codex.1.0-rc4;\
\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\" != 'codex.1.0-rc4' && 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 codex.1.0-rc4) || true"))
(run (shell "opam reinstall --with-test --verbose codex.1.0-rc4;\
\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\" != 'codex.1.0-rc4' && 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-13 20:56.06: Waiting for resource in pool OCluster
2025-12-13 20:56.52: Waiting for worker…
2025-12-13 20:59.52: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 5e79942353 Merge pull request #29088 from VincentPenelle/opam-publish-cairn.2.1
Updating 5e79942353..0382e9de0c
Fast-forward
packages/binsec_codex/binsec_codex.1.0-rc4/opam | 56 ++++++++++++++++++++
packages/codex/codex.1.0-rc4/opam | 64 +++++++++++++++++++++++
packages/frama_c_codex/frama_c_codex.1.0-rc4/opam | 54 +++++++++++++++++++
3 files changed, 174 insertions(+)
create mode 100644 packages/binsec_codex/binsec_codex.1.0-rc4/opam
create mode 100644 packages/codex/codex.1.0-rc4/opam
create mode 100644 packages/frama_c_codex/frama_c_codex.1.0-rc4/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba' locally
docker.io/ocaml/opam@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba: Pulling from ocaml/opam
bf2a49c12274: Pulling fs layer
dca4f18d8fa1: Pulling fs layer
61a5e29d19d8: Pulling fs layer
fe51421e228e: Pulling fs layer
f08d504ba988: Pulling fs layer
54bed919fa1d: Pulling fs layer
314627a97143: Pulling fs layer
e021ff7c828a: Pulling fs layer
4de705a4bed9: Pulling fs layer
49af77cf5fb6: Pulling fs layer
5c9434b45253: Pulling fs layer
f08d504ba988: Waiting
78b72c8a0ca7: Pulling fs layer
b104156bf499: Pulling fs layer
61a5e29d19d8: Waiting
54bed919fa1d: Waiting
fe51421e228e: Waiting
314627a97143: Waiting
e3d7d5db5fd0: Pulling fs layer
49af77cf5fb6: Waiting
5c9434b45253: Waiting
e021ff7c828a: Waiting
e11023ff4af7: Pulling fs layer
ad196a63334c: Pulling fs layer
4de705a4bed9: Waiting
78b72c8a0ca7: Waiting
b5bede31abbb: Pulling fs layer
e3d7d5db5fd0: Waiting
27f50ab4f689: Pulling fs layer
ad196a63334c: Waiting
e11023ff4af7: Waiting
71a7f91ffbff: Pulling fs layer
190efb818579: Pulling fs layer
b5bede31abbb: Waiting
71a7f91ffbff: Waiting
5bdec9477c9d: Pulling fs layer
190efb818579: Waiting
570e93459cdb: Pulling fs layer
4f4fb700ef54: Pulling fs layer
5bdec9477c9d: Waiting
648dfe082b46: Pulling fs layer
4f4fb700ef54: Waiting
570e93459cdb: Waiting
d222c8cc4d60: Pulling fs layer
3fd106caebdc: Pulling fs layer
648dfe082b46: Waiting
d222c8cc4d60: Waiting
3bbba631ea0e: Pulling fs layer
46a8be0a0632: Pulling fs layer
505866fe4cd7: Pulling fs layer
3bbba631ea0e: Waiting
46a8be0a0632: Waiting
ebc694c942d2: Pulling fs layer
505866fe4cd7: Waiting
a7c57f0687e8: Pulling fs layer
140d8fc2bf28: Pulling fs layer
ebc694c942d2: Waiting
a7c57f0687e8: Waiting
c9ca4ba68528: Pulling fs layer
8797d8b2a3d6: Pulling fs layer
845a0247aca9: Pulling fs layer
8797d8b2a3d6: Waiting
962c020b46f3: Pulling fs layer
c9ca4ba68528: Waiting
fc619b999527: Pulling fs layer
845a0247aca9: Waiting
962c020b46f3: Waiting
f4eab0db5ca8: Pulling fs layer
fc619b999527: Waiting
b7cc2554af1f: Pulling fs layer
f475288e8a6f: Pulling fs layer
052606ef227a: Pulling fs layer
f4eab0db5ca8: Waiting
eb3d3926dc50: Pulling fs layer
b7cc2554af1f: Waiting
1d2e09a8836b: Pulling fs layer
2cb544725787: Pulling fs layer
052606ef227a: Waiting
f475288e8a6f: Waiting
189cb91d82c5: Pulling fs layer
eb3d3926dc50: Waiting
2cb544725787: Waiting
189cb91d82c5: Waiting
1d2e09a8836b: Waiting
dca4f18d8fa1: Verifying Checksum
dca4f18d8fa1: Download complete
61a5e29d19d8: Download complete
fe51421e228e: Verifying Checksum
fe51421e228e: Download complete
f08d504ba988: Verifying Checksum
f08d504ba988: Download complete
bf2a49c12274: Verifying Checksum
bf2a49c12274: Download complete
314627a97143: Verifying Checksum
314627a97143: Download complete
e021ff7c828a: Download complete
4de705a4bed9: Download complete
bf2a49c12274: Pull complete
54bed919fa1d: Verifying Checksum
54bed919fa1d: Download complete
dca4f18d8fa1: Pull complete
49af77cf5fb6: Verifying Checksum
49af77cf5fb6: Download complete
61a5e29d19d8: Pull complete
fe51421e228e: Pull complete
78b72c8a0ca7: Verifying Checksum
78b72c8a0ca7: Download complete
f08d504ba988: Pull complete
5c9434b45253: Verifying Checksum
5c9434b45253: Download complete
b104156bf499: Verifying Checksum
b104156bf499: Download complete
e3d7d5db5fd0: Verifying Checksum
e3d7d5db5fd0: Download complete
e11023ff4af7: Verifying Checksum
e11023ff4af7: Download complete
ad196a63334c: Verifying Checksum
ad196a63334c: Download complete
b5bede31abbb: Download complete
27f50ab4f689: Verifying Checksum
27f50ab4f689: Download complete
71a7f91ffbff: Verifying Checksum
71a7f91ffbff: Download complete
190efb818579: Download complete
5bdec9477c9d: Verifying Checksum
5bdec9477c9d: Download complete
570e93459cdb: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
d222c8cc4d60: Verifying Checksum
d222c8cc4d60: Download complete
648dfe082b46: Verifying Checksum
648dfe082b46: Download complete
3fd106caebdc: Download complete
3bbba631ea0e: Verifying Checksum
3bbba631ea0e: Download complete
46a8be0a0632: Verifying Checksum
46a8be0a0632: Download complete
505866fe4cd7: Verifying Checksum
505866fe4cd7: Download complete
a7c57f0687e8: Download complete
ebc694c942d2: Download complete
140d8fc2bf28: Verifying Checksum
140d8fc2bf28: Download complete
c9ca4ba68528: Verifying Checksum
c9ca4ba68528: Download complete
845a0247aca9: Verifying Checksum
845a0247aca9: Download complete
8797d8b2a3d6: Verifying Checksum
8797d8b2a3d6: Download complete
fc619b999527: Verifying Checksum
fc619b999527: Download complete
b7cc2554af1f: Download complete
f475288e8a6f: Verifying Checksum
f475288e8a6f: Download complete
052606ef227a: Verifying Checksum
052606ef227a: Download complete
f4eab0db5ca8: Verifying Checksum
f4eab0db5ca8: Download complete
1d2e09a8836b: Verifying Checksum
1d2e09a8836b: Download complete
2cb544725787: Download complete
189cb91d82c5: Verifying Checksum
189cb91d82c5: Download complete
962c020b46f3: Verifying Checksum
962c020b46f3: Download complete
54bed919fa1d: Pull complete
314627a97143: Pull complete
e021ff7c828a: Pull complete
4de705a4bed9: Pull complete
eb3d3926dc50: Verifying Checksum
eb3d3926dc50: Download complete
49af77cf5fb6: Pull complete
5c9434b45253: Pull complete
78b72c8a0ca7: Pull complete
b104156bf499: Pull complete
e3d7d5db5fd0: Pull complete
e11023ff4af7: Pull complete
ad196a63334c: Pull complete
b5bede31abbb: Pull complete
27f50ab4f689: Pull complete
71a7f91ffbff: Pull complete
190efb818579: Pull complete
5bdec9477c9d: Pull complete
570e93459cdb: Pull complete
4f4fb700ef54: Pull complete
648dfe082b46: Pull complete
d222c8cc4d60: Pull complete
3fd106caebdc: Pull complete
3bbba631ea0e: Pull complete
46a8be0a0632: Pull complete
505866fe4cd7: Pull complete
ebc694c942d2: Pull complete
a7c57f0687e8: Pull complete
140d8fc2bf28: Pull complete
c9ca4ba68528: Pull complete
8797d8b2a3d6: Pull complete
845a0247aca9: Pull complete
962c020b46f3: Pull complete
fc619b999527: Pull complete
f4eab0db5ca8: Pull complete
b7cc2554af1f: Pull complete
f475288e8a6f: Pull complete
052606ef227a: Pull complete
eb3d3926dc50: Pull complete
1d2e09a8836b: Pull complete
2cb544725787: Pull complete
189cb91d82c5: Pull complete
Digest: sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba
Status: Downloaded newer image for ocaml/opam@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba
2025-12-13 21:04.10 ---> saved as "1615004ddcc88be47b2ac4c4af04f731009877767e5b23ac43f791ac711fc8db"
/: (shell /usr/bin/linux32 /bin/sh -c)
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-12-13 21:04.10 ---> saved as "310eb88ec617880652e1012a5ff46dcb212b3aae2f087489405cd91c662b31ce"
/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
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-13 21:04.45 ---> saved as "8fc291694d482e6db246b222b4fc35c370b316892763ff31ec07e8eb50660d19"
/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_32 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 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2025-12-13 21:04.45 ---> saved as "d01ed238bd7a8b05b89ef57c8229299e2849672b87014c2191c72b2de1c00b3c"
/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-13 21:04.57 ---> saved as "4af3d3af1526410064e4a9c3dc11cf42d8d72129d4ed0d01fc020b3615ea7a11"
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-13 21:05.08 ---> saved as "a3a876b251bc91034039c0d76ed1174614c350db5dfc22f60c40e4e5457e400d"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-13 21:05.37 ---> saved as "4bc60420b5f039b165d22203e5c7fd65f53ba0b35b2e8b3e014a76dfac66f481"
/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 i386 Packages [73.8 kB]
- Fetched 165 kB in 0s (1327 kB/s)
- Reading package lists...
2025-12-13 21:05.38 ---> saved as "7e487b86f8f643fd6d23beec77ad988aa027b99c57a599f5f00df70758234d84"
/home/opam: (run (shell "opam pin add -k version -yn codex.1.0-rc4 1.0-rc4"))
codex is now pinned to version 1.0-rc4
2025-12-13 21:05.39 ---> saved as "4c861455dae79b785613489019aacc058f1750cbe4937b1ecb02dfa651d1b840"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall codex.1.0-rc4;\
\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\" != 'codex.1.0-rc4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
codex.1.0-rc4 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 52 packages
- install base v0.16.4 [required by ppx_inline_test]
- install base64 3.5.2 [required by codex]
- install bheap 2.0.0 [required by codex]
- install camlp-streams 5.0.1 [required by codex]
- install cmdliner 2.1.0 [required by fmt]
- install codex 1.0-rc4 (pinned)
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install cppo 1.8.0 [required by ppx_deriving]
- install csexp 1.5.2 [required by dune-configurator]
- install cudd 0.1.3 [required by codex]
- install dune 3.20.2 [required by codex]
- install dune-configurator 3.20.2 [required by base]
- install fmt 0.11.0 [required by codex]
- install gen 1.1 [required by sedlex]
- install jane-street-headers v0.16.0 [required by time_now]
- install js_of_ocaml 6.2.0 [required by codex]
- install js_of_ocaml-compiler 6.2.0 [required by js_of_ocaml]
- install jst-config v0.16.0 [required by time_now]
- install menhir 20250912 [required by js_of_ocaml-compiler]
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by js_of_ocaml-compiler]
- install menhirSdk 20250912 [required by js_of_ocaml-compiler]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlbuild 0.16.1 [required by fmt]
- install ocamlfind 1.9.8 [required by ppx_deriving, fmt, zarith]
- install pacomb 1.3 [required by codex]
- install patricia-tree 0.11.0 [required by codex]
- install ppx_assert v0.16.0 [required by jst-config]
- install ppx_base v0.16.0 [required by time_now]
- install ppx_cold v0.16.0 [required by ppx_base]
- install ppx_compare v0.16.0 [required by ppx_base]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.0.3 [required by codex]
- install ppx_enumerate v0.16.0 [required by ppx_base]
- install ppx_globalize v0.16.0 [required by ppx_base]
- install ppx_hash v0.16.0 [required by ppx_base]
- install ppx_here v0.16.0 [required by ppx_assert]
- install ppx_inline_test v0.16.0 [required by codex]
- install ppx_optcomp v0.16.0 [required by time_now]
- install ppx_sexp_conv v0.16.0 [required by ppx_base]
- install ppxlib 0.35.0 [required by codex]
- install qcheck-core 0.27 [required by codex]
- install sedlex 3.7 [required by js_of_ocaml-compiler]
- install seq base [required by gen]
- install sexplib0 v0.16.0 [required by base]
- install stdio v0.16.0 [required by ppx_optcomp]
- install stdlib-shims 0.3.0 [required by pacomb]
- install time_now v0.16.0 [required by ppx_inline_test]
- install topkg 1.1.1 [required by fmt]
- install yojson 3.0.0 [required by js_of_ocaml-compiler]
- install zarith 1.14 [required by codex]
The following system packages will first need to be installed:
libgmp-dev 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" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:i386.
- (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 ... 20592 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_i386.deb ...
- Unpacking libgmpxx4ldbl:i386 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:i386.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_i386.deb ...
- Unpacking libgmp-dev:i386 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:i386.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_i386.deb ...
- Unpacking libpkgconf3:i386 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_i386.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:i386.
- Preparing to unpack .../4-pkgconf_1.8.1-4_i386.deb ...
- Unpacking pkgconf:i386 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:i386.
- Preparing to unpack .../5-pkg-config_1.8.1-4_i386.deb ...
- Unpacking pkg-config:i386 (1.8.1-4) ...
- Setting up libpkgconf3:i386 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:i386 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:i386 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:i386 (1.8.1-4) ...
- Setting up pkg-config:i386 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved base.v0.16.4 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bheap.2.0.0 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved codex.1.0-rc4 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cudd.0.1.3 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved jane-street-headers.v0.16.0 (cached)
-> installed cmdliner.2.1.0
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0 (cached)
-> retrieved jst-config.v0.16.0 (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved pacomb.1.3 (cached)
-> retrieved patricia-tree.0.11.0 (cached)
-> retrieved ppx_assert.v0.16.0 (cached)
-> retrieved ppx_base.v0.16.0 (cached)
-> retrieved ppx_cold.v0.16.0 (cached)
-> retrieved ppx_compare.v0.16.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.0.3 (cached)
-> retrieved ppx_enumerate.v0.16.0 (cached)
-> retrieved ppx_globalize.v0.16.0 (cached)
-> retrieved ppx_hash.v0.16.0 (cached)
-> retrieved ppx_here.v0.16.0 (cached)
-> retrieved ppx_inline_test.v0.16.0 (cached)
-> retrieved ppx_optcomp.v0.16.0 (cached)
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved qcheck-core.0.27 (cached)
-> retrieved sedlex.3.7 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved sexplib0.v0.16.0 (cached)
-> retrieved stdio.v0.16.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved time_now.v0.16.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed dune.3.20.2
-> installed base64.3.5.2
-> installed bheap.2.0.0
-> installed camlp-streams.5.0.1
-> installed csexp.1.5.2
-> installed fmt.0.11.0
-> installed cppo.1.8.0
-> installed gen.1.1
-> installed jane-street-headers.v0.16.0
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed ocaml-compiler-libs.v0.12.4
-> installed patricia-tree.0.11.0
-> installed ppx_derivers.1.2.1
-> installed qcheck-core.0.27
-> installed sexplib0.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed yojson.3.0.0
-> installed dune-configurator.3.20.2
-> installed base.v0.16.4
-> installed stdio.v0.16.0
-> installed menhir.20250912
-> installed ppxlib.0.35.0
-> installed ppx_globalize.v0.16.0
-> installed ppx_optcomp.v0.16.0
-> installed ppx_cold.v0.16.0
-> installed ppx_here.v0.16.0
-> installed ppx_enumerate.v0.16.0
-> installed ppx_compare.v0.16.0
-> installed ppx_sexp_conv.v0.16.0
-> installed sedlex.3.7
-> installed pacomb.1.3
-> installed ppx_deriving.6.0.3
-> installed ppx_hash.v0.16.0
-> installed ppx_assert.v0.16.0
-> installed ppx_base.v0.16.0
-> installed jst-config.v0.16.0
-> installed cudd.0.1.3
-> installed time_now.v0.16.0
-> installed ppx_inline_test.v0.16.0
-> installed js_of_ocaml-compiler.6.2.0
-> installed js_of_ocaml.6.2.0
[ERROR] The compilation of codex.1.0-rc4 failed at "dune build -p codex -j 255 --promote-install-files=false @install".
#=== ERROR while compiling codex.1.0-rc4 ======================================#
# context 2.5.0 | linux/x86_32 | ocaml-base-compiler.4.14.2 | pinned(https://github.com/codex-semantics-library/codex/archive/refs/tags/1.0-rc4.tar.gz)
# path ~/.opam/4.14/.opam-switch/build/codex.1.0-rc4
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p codex -j 255 --promote-install-files=false @install
# exit-code 1
# env-file ~/.opam/log/codex-7-23730f.env
# output-file ~/.opam/log/codex-7-23730f.out
### output ###
# File "utils/gui/js/dune", line 38, characters 36-40:
# 38 | (libraries prefix_tree vdom.base vdom js_of_ocaml codex.gui.interface codex.syntax_tree codex.binarytrace)
# ^^^^
# Error: Library "vdom" not found.
# -> required by _build/default/utils/gui/js/binsec_webapp.bc.js
# -> required by _build/default/utils/gui/binsec_webapp_string.ml
# -> required by
# _build/default/utils/gui/.gui.objs/native/gui__Binsec_webapp_string.cmx
# -> required by _build/default/utils/gui/gui.cmxa
# -> required by _build/default/doc/while-tutorial/while_codex.exe
# -> required by _build/install/default/bin/while_codex
# -> required by _build/default/codex.install
# -> required by alias install
# File "utils/gui/deps/js/dune", lines 22-28, characters 0-256:
# 22 | (rule
# 23 | (target bundle-output.js)
# 24 | (deps ../Makefile package.json rollup.config.js bundle-input.js)
# 25 | (mode fallback) ; if already exists in the source tree, don't run. And don't clean by default.
# 26 | (action
# 27 | (progn
# 28 | (system "cd .. && make js/%{target}"))))
# (cd _build/default/utils/gui/deps/js && /usr/bin/sh -c 'cd .. && make js/bundle-output.js')
# cd js && npm install
# /bin/sh: 1: npm: not found
# make: *** [Makefile:36: js/node_modules] Error 127
# File "utils/gui/deps/dune", lines 40-46, characters 0-144:
# 40 | (rule
# 41 | (targets graphviz.umd.js)
# 42 | (deps Makefile)
# 43 | (mode fallback) ;; do not clean by default
# 44 | (action
# 45 | (progn
# 46 | (system "make %{targets}"))))
# (cd _build/default/utils/gui/deps && /usr/bin/sh -c 'make graphviz.umd.js')
# curl -sSLo graphviz.umd.js https://unpkg.com/@hpcc-js/wasm@2.22.4/dist/graphviz.umd.js
# curl: (6) Could not resolve host: unpkg.com
# make: *** [Makefile:28: graphviz.umd.js] Error 6
# File "utils/gui/deps/dune", lines 49-55, characters 0-146:
# 49 | (rule
# 50 | (targets tailwind4.1.5.css)
# 51 | (deps Makefile)
# 52 | (mode fallback) ;; do not clean by default
# 53 | (action
# 54 | (progn
# 55 | (system "make %{targets}"))))
# (cd _build/default/utils/gui/deps && /usr/bin/sh -c 'make tailwind4.1.5.css')
# curl -sSLo tailwind4.1.5.css https://cdn.jsdelivr.net/npm/@tailwindcss/browser@4.1.5
# curl: (6) Could not resolve host: cdn.jsdelivr.net
# make: *** [Makefile:25: tailwind4.1.5.css] Error 6
# File "utils/gui/js/dune", line 39, characters 53-68:
# 39 | (preprocess (pps ppx_deriving.eq ppx_deriving.ord js_of_ocaml-ppx)))
# ^^^^^^^^^^^^^^^
# Error: Library "js_of_ocaml-ppx" not found.
# -> required by _build/default/utils/gui/js/.merlin-conf/exe-binsec_webapp
# -> required by _build/default/utils/gui/js/binsec_webapp.bc.js
# -> required by _build/default/utils/gui/binsec_webapp_string.ml
# -> required by
# _build/default/utils/gui/.gui.objs/native/gui__Binsec_webapp_string.cmx
# -> required by _build/default/utils/gui/gui.cmxa
# -> required by _build/default/doc/while-tutorial/while_codex.exe
# -> required by _build/install/default/bin/while_codex
# -> required by _build/default/codex.install
# -> required by alias install
# File "utils/dune", line 74, characters 36-50:
# 74 | (foreign_stubs (language c) (names int_builtins_c))
# ^^^^^^^^^^^^^^
# (cd _build/default/utils && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -Wall -fdiagnostics-color=always -g -I /home/opam/.opam/4.14/lib/ocaml -o int_builtins_c.o -c int_builtins_c.c)
# int_builtins_c.c: In function 'myffs':
# int_builtins_c.c:107:28: error: expected ';' before '}' token
# 107 | return __builtin_ffs(v)
# | ^
# | ;
# ......
# 113 | }
# | ~
# int_builtins_c.c: In function 'ctz':
# int_builtins_c.c:141:28: error: expected ';' before '}' token
# 141 | return __builtin_ctz(v)
# | ^
# | ;
# ......
# 153 | }
# | ~
# int_builtins_c.c: In function 'popcount':
# int_builtins_c.c:174:33: error: expected ';' before '}' token
# 174 | return __builtin_popcount(v)
# | ^
# | ;
# ......
# 180 | }
# | ~
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build codex 1.0-rc4
+-
+- The following changes have been performed
| - install base v0.16.4
| - install base64 3.5.2
| - install bheap 2.0.0
| - install camlp-streams 5.0.1
| - install cmdliner 2.1.0
| - install conf-gmp 5
| - install conf-pkg-config 4
| - install cppo 1.8.0
| - install csexp 1.5.2
| - install cudd 0.1.3
| - install dune 3.20.2
| - install dune-configurator 3.20.2
| - install fmt 0.11.0
| - install gen 1.1
| - install jane-street-headers v0.16.0
| - install js_of_ocaml 6.2.0
| - install js_of_ocaml-compiler 6.2.0
| - install jst-config v0.16.0
| - install menhir 20250912
| - install menhirCST 20250912
| - install menhirLib 20250912
| - install menhirSdk 20250912
| - install ocaml-compiler-libs v0.12.4
| - install ocamlbuild 0.16.1
| - install ocamlfind 1.9.8
| - install pacomb 1.3
| - install patricia-tree 0.11.0
| - install ppx_assert v0.16.0
| - install ppx_base v0.16.0
| - install ppx_cold v0.16.0
| - install ppx_compare v0.16.0
| - install ppx_derivers 1.2.1
| - install ppx_deriving 6.0.3
| - install ppx_enumerate v0.16.0
| - install ppx_globalize v0.16.0
| - install ppx_hash v0.16.0
| - install ppx_here v0.16.0
| - install ppx_inline_test v0.16.0
| - install ppx_optcomp v0.16.0
| - install ppx_sexp_conv v0.16.0
| - install ppxlib 0.35.0
| - install qcheck-core 0.27
| - install sedlex 3.7
| - install seq base
| - install sexplib0 v0.16.0
| - install stdio v0.16.0
| - install stdlib-shims 0.3.0
| - install time_now v0.16.0
| - install topkg 1.1.1
| - install yojson 3.0.0
| - install zarith 1.14
+-
# 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/4.14/.opam-switch/backup/state-20251213210540.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.
"/usr/bin/linux32" "/bin/sh" "-c" "opam reinstall codex.1.0-rc4;
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" != 'codex.1.0-rc4' && 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-13 21:07.13: Job failed: Failed: Build failed
2025-12-13 21:07.13: Log analysis:
2025-12-13 21:07.13: >>>
[ERROR] The compilation of codex.1.0-rc4 failed at "dune build -p codex -j 255 --promote-install-files=false @install".
(score = 20)
2025-12-13 21:07.13: >>>
# Error: Library "vdom" not found.
(score = 48)
2025-12-13 21:07.13: >>>
# Error: Library "js_of_ocaml-ppx" not found.
(score = 48)
2025-12-13 21:07.13: >>>
# int_builtins_c.c:107:28: error: expected ';' before '}' token
(score = 30)
2025-12-13 21:07.13: >>>
# int_builtins_c.c:141:28: error: expected ';' before '}' token
(score = 30)
2025-12-13 21:07.13: >>>
# int_builtins_c.c:174:33: error: expected ';' before '}' token
(score = 30)
2025-12-13 21:07.13: Library "vdom" not found.