Build:
- 0
2025-12-13 20:56.05: New job: build frama_c_codex.1.0-rc4, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29092/head (0382e9de0cdac335bf2a919c37baccb8b7fa5f1a)
on macos-homebrew-ocaml-4.14/arm64
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 macos-homebrew-ocaml-4.14
USER 1000:1000
RUN ln -f ~/local/bin/opam-dev ~/local/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 -k local --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn frama_c_codex.1.0-rc4 1.0-rc4
RUN opam reinstall frama_c_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 "\"macos-homebrew\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'frama_c_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.05: Using cache hint "macos-homebrew-ocaml-4.14-frama_c_codex.1.0-rc4-0382e9de0cdac335bf2a919c37baccb8b7fa5f1a"
2025-12-13 20:56.05: Using OBuilder spec:
((from macos-homebrew-ocaml-4.14)
(user (uid 1000) (gid 1000))
(run (shell "ln -f ~/local/bin/opam-dev ~/local/bin/opam"))
(run (network host)
(shell "opam init --reinit -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 -k local --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn frama_c_codex.1.0-rc4 1.0-rc4"))
(run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam reinstall frama_c_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 \"\\\"macos-homebrew\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'frama_c_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.05: Waiting for resource in pool OCluster
2025-12-13 20:56.06: Waiting for worker…
2025-12-13 20:56.23: Got resource from pool OCluster
Building on m1-worker-04
Updating files: 62% (11840/19014)
Updating files: 63% (11979/19014)
Updating files: 64% (12169/19014)
Updating files: 65% (12360/19014)
Updating files: 66% (12550/19014)
Updating files: 67% (12740/19014)
Updating files: 68% (12930/19014)
Updating files: 69% (13120/19014)
Updating files: 70% (13310/19014)
Updating files: 71% (13500/19014)
Updating files: 72% (13691/19014)
Updating files: 73% (13881/19014)
Updating files: 74% (14071/19014)
Updating files: 75% (14261/19014)
Updating files: 76% (14451/19014)
Updating files: 77% (14641/19014)
Updating files: 78% (14831/19014)
Updating files: 79% (15022/19014)
Updating files: 80% (15212/19014)
Updating files: 81% (15402/19014)
Updating files: 82% (15592/19014)
Updating files: 83% (15782/19014)
Updating files: 84% (15972/19014)
Updating files: 85% (16162/19014)
Updating files: 86% (16353/19014)
Updating files: 87% (16543/19014)
Updating files: 88% (16733/19014)
Updating files: 89% (16923/19014)
Updating files: 90% (17113/19014)
Updating files: 91% (17303/19014)
Updating files: 92% (17493/19014)
Updating files: 93% (17684/19014)
Updating files: 94% (17874/19014)
Updating files: 95% (18064/19014)
Updating files: 96% (18254/19014)
Updating files: 97% (18444/19014)
Updating files: 98% (18634/19014)
Updating files: 99% (18824/19014)
Updating files: 100% (19014/19014)
Updating files: 100% (19014/19014), done.
HEAD is now at 2ce5be8f72 3 packages from codex-semantics-library/codex at 1.0-rc4
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 macos-homebrew-ocaml-4.14)
2025-12-13 20:56.36 ---> using "0c60f117aee57abea8364cb033d47bb1d63ff0f68e5ee97378e032498e8442af" from cache
/: (user (uid 1000) (gid 1000))
/: (run (shell "ln -f ~/local/bin/opam-dev ~/local/bin/opam"))
2025-12-13 20:56.36 ---> using "f20a31eccb94af52fa2a3ef86b723bc6460bac3d8a92b8861915540c2498d20a" from cache
/: (run (network host)
(shell "opam init --reinit -ni"))
No configuration file found, using 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 /Users/mac1000/.opam from version 2.1 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 1 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=1 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///Users/mac1000/opam-repository
2025-12-13 20:56.36 ---> using "7818e224f85c11d1d318abe9ba4e297be345388b7ed476f912b6900c6bae56aa" from cache
/: (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=arm64 os=macos os-distribution=homebrew os-version=15.5
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 7
# repositories 1 (version-controlled)
# pinned 0
# current-switch 4.14.2
# invariant ["ocaml-base-compiler" {= "4.14.2"} | "ocaml-system" {= "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 /Users/mac1000/.opam/4.14.2/lib/ocaml/stublibs:/Users/mac1000/.opam/4.14.2/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2025-12-13 20:56.36 ---> using "625776f8b2f728a128171e2ba4372c97abd18632a07574a8412026e8be39dac5" from cache
/: (env OPAMDOWNLOADJOBS 1)
/: (env OPAMERRLOGLEN 0)
/: (env OPAMPRECISETRACKING 1)
/: (env CI true)
/: (env OPAM_REPO_CI true)
/: (run (shell "rm -rf opam-repository/"))
2025-12-13 20:56.36 ---> using "15fbb76bf7dee5d6e8ae583230339015a61d8d2d8397de2cfe6459f8ba421f1e" from cache
/: (copy (src .) (dst opam-repository/))
2025-12-13 20:59.11 ---> saved as "3beef52ada58711aa97caf3ecd915a4ae35062427dfc361c5c702e7e4c9d425d"
/: (run (shell "opam repository set-url -k local --strict default opam-repository/"))
[default] Initialised
2025-12-13 20:59.21 ---> saved as "5dd36eae2f360ee7186cab81a0086580d4cc6b383a001061aa552077f015b9a8"
/: (run (network host)
(shell "opam update --depexts || true"))
+ /opt/homebrew/bin/brew "update"
- ==> Updating Homebrew...
- ==> Homebrew collects anonymous analytics.
- Read the analytics documentation (and how to opt-out) here:
- https://docs.brew.sh/Analytics
- No analytics have been recorded yet (nor will be during this `brew` run).
-
- ==> Homebrew is run entirely by unpaid volunteers. Please consider donating:
- https://github.com/Homebrew/brew#donations
-
- Already up-to-date.
2025-12-13 20:59.32 ---> saved as "a5e0f68b92639d2e9296fa2d9c9122eb543ba13b31e0e8a792358fa2b4bf1225"
/: (run (shell "opam pin add -k version -yn frama_c_codex.1.0-rc4 1.0-rc4"))
frama_c_codex is now pinned to version 1.0-rc4
2025-12-13 20:59.34 ---> saved as "d65e3ad4ee28a2bad5df04cbb4e5abadbeacc8506efdf239b563329f2ce0b0e7"
/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam reinstall frama_c_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 \"\\\"macos-homebrew\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'frama_c_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"))
frama_c_codex.1.0-rc4 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 80 packages
- install alt-ergo-free 2.2.0 [required by frama-c]
- install astring 0.8.5 [required by bos]
- 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 bos 0.2.1 [required by yaml]
- install camlp-streams 5.0.1 [required by codex]
- install camlzip 1.13 [required by frama-c]
- install cmdliner 2.1.0 [required by fmt]
- install codex 1.0-rc4 [required by frama_c_codex]
- install conf-autoconf 0.2 [required by alt-ergo-free]
- install conf-gmp 5 [required by zarith]
- install conf-graphviz 0.1
- install conf-pkg-config 4 [required by zarith]
- install conf-zlib 1 [required by camlzip]
- install cppo 1.8.0 [required by ppx_deriving]
- install csexp 1.5.2 [required by dune-private-libs]
- install ctypes 0.24.0 [required by yaml]
- install cudd 0.1.3 [required by codex]
- install dune 3.20.2 [required by frama_c_codex]
- install dune-configurator 3.20.2 [required by frama-c]
- install dune-private-libs 3.20.2 [required by dune-site]
- install dune-site 3.20.2 [required by frama-c]
- install dyn 3.20.2 [required by dune-private-libs]
- install fmt 0.11.0 [required by frama_c_codex]
- install fpath 0.7.3 [required by bos]
- install frama-c 31.0 [required by frama_c_codex]
- install frama_c_codex 1.0-rc4 (pinned)
- install gen 1.1 [required by sedlex]
- install integers 0.7.0 [required by ctypes]
- 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 logs 0.10.0 [required by bos]
- install menhir 20211128 [required by frama-c]
- install menhirLib 20211128 [required by js_of_ocaml-compiler]
- install menhirSdk 20211128 [required by js_of_ocaml-compiler]
- install num 1.6 [required by alt-ergo-free]
- 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 zarith, fmt, ppx_deriving, why3]
- install ocamlgraph 2.2.0 [required by frama-c]
- install ocplib-simplex 0.4.1 [required by alt-ergo-free]
- install ordering 3.20.2 [required by dyn, stdune]
- install pacomb 1.3 [required by codex]
- install patricia-tree 0.11.0 [required by frama_c_codex]
- install pp 2.0.0 [required by dune-private-libs]
- 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, frama-c]
- install ppx_deriving_yaml 0.4.0 [required by frama-c]
- install ppx_deriving_yojson 3.9.1 [required by frama-c]
- 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.1 [required by codex]
- install ppx_optcomp v0.16.0 [required by time_now]
- install ppx_sexp_conv v0.16.0 [required by why3]
- install ppxlib 0.35.0 [required by codex]
- install psmt2-frontend 0.1 [required by alt-ergo-free]
- install qcheck-core 0.27 [required by codex]
- install rresult 0.7.0 [required by bos]
- 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 stdune 3.20.2 [required by dune-private-libs]
- install time_now v0.16.0 [required by ppx_inline_test]
- install topkg 1.1.1 [required by fmt]
- install unionFind 20250818 [required by frama-c]
- install why3 1.8.2 [required by frama-c]
- install yaml 3.2.0 [required by frama-c]
- install yojson 3.0.0 [required by frama-c]
- install zarith 1.14 [required by frama_c_codex]
The following system packages will first need to be installed:
autoconf gmp graphviz pkgconf zlib
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run brew to install them (may need root/sudo access)
2. Display the recommended brew 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
+ /opt/homebrew/bin/brew "install" "autoconf" "gmp" "graphviz" "pkgconf" "zlib"
- ==> Fetching downloads for: autoconf, gmp, graphviz, pkgconf and zlib
- ✔︎ Bottle Manifest gmp (6.3.0)
- ✔︎ Bottle Manifest graphviz (14.1.0)
- ✔︎ Bottle Manifest pkgconf (2.5.1)
- ✔︎ Bottle Manifest zlib (1.3.1)
- ✔︎ Bottle Manifest pkgconf (2.5.1)
- ✔︎ Bottle Manifest zlib (1.3.1)
- ✔︎ Bottle Manifest autoconf (2.72)
- ✔︎ Bottle Manifest m4 (1.4.20)
- ✔︎ Bottle m4 (1.4.20)
- ✔︎ Bottle gmp (6.3.0)
- ✔︎ Bottle Manifest libpng (1.6.53)
- ✔︎ Bottle libpng (1.6.53)
- ✔︎ Bottle Manifest freetype (2.14.1_1)
- ✔︎ Bottle freetype (2.14.1_1)
- ✔︎ Bottle Manifest libunistring (1.4.1)
- ✔︎ Bottle libunistring (1.4.1)
- ✔︎ Bottle Manifest gettext (0.26_1)
- ✔︎ Bottle Manifest fontconfig (2.17.1)
- ✔︎ Bottle fontconfig (2.17.1)
- ✔︎ Bottle Manifest pcre2 (10.47)
- ✔︎ Bottle pcre2 (10.47)
- ✔︎ Bottle Manifest glib (2.86.3)
- ✔︎ Bottle glib (2.86.3)
- ✔︎ Bottle Manifest xorgproto (2024.1)
- ✔︎ Bottle xorgproto (2024.1)
- ✔︎ Bottle Manifest libxau (1.0.12)
- ✔︎ Bottle libxau (1.0.12)
- ✔︎ Bottle Manifest libxdmcp (1.1.5)
- ✔︎ Bottle libxdmcp (1.1.5)
- ✔︎ Bottle Manifest libxcb (1.17.0)
- ✔︎ Bottle Manifest libx11 (1.8.12)
- ✔︎ Bottle libx11 (1.8.12)
- ✔︎ Bottle Manifest libxext (1.3.6)
- ✔︎ Bottle libxext (1.3.6)
- ✔︎ Bottle Manifest libxrender (0.9.12)
- ✔︎ Bottle libxrender (0.9.12)
- ✔︎ Bottle Manifest lzo (2.10)
- ✔︎ Bottle lzo (2.10)
- ✔︎ Bottle Manifest pixman (0.46.4)
- ✔︎ Bottle pixman (0.46.4)
- ✔︎ Bottle Manifest cairo (1.18.4)
- ✔︎ Bottle cairo (1.18.4)
- ✔︎ Bottle Manifest jpeg-turbo (3.1.3)
- ✔︎ Bottle Manifest brotli (1.2.0)
- ✔︎ Bottle brotli (1.2.0)
- ✔︎ Bottle Manifest giflib (5.2.2)
- ✔︎ Bottle giflib (5.2.2)
- ✔︎ Bottle Manifest highway (1.3.0)
- ✔︎ Bottle highway (1.3.0)
- ✔︎ Bottle Manifest imath (3.2.2)
- ✔︎ Bottle imath (3.2.2)
- ✔︎ Bottle Manifest xz (5.8.1)
- ✔︎ Bottle xz (5.8.1)
- ✔︎ Bottle Manifest lz4 (1.10.0)
- ✔︎ Bottle lz4 (1.10.0)
- ✔︎ Bottle Manifest zstd (1.5.7)
- ✔︎ Bottle zstd (1.5.7)
- ✔︎ Bottle Manifest libtiff (4.7.1)
- ✔︎ Bottle libtiff (4.7.1)
- ✔︎ Bottle Manifest little-cms2 (2.17)
- ✔︎ Bottle little-cms2 (2.17)
- ✔︎ Bottle Manifest libdeflate (1.25)
- ✔︎ Bottle libdeflate (1.25)
- ✔︎ Bottle Manifest openjph (0.25.3)
- ✔︎ Bottle openjph (0.25.3)
- ✔︎ Bottle Manifest openexr (3.4.4)
- ✔︎ Bottle openexr (3.4.4)
- ✔︎ Bottle Manifest webp (1.6.0)
- ✔︎ Bottle webp (1.6.0)
- ✔︎ Bottle Manifest jpeg-xl (0.11.1_3)
- ✔︎ Bottle jpeg-xl (0.11.1_3)
- ✔︎ Bottle Manifest libvmaf (3.0.0)
- ✔︎ Bottle libvmaf (3.0.0)
- ✔︎ Bottle Manifest aom (3.13.1)
- ✔︎ Bottle aom (3.13.1)
- ✔︎ Bottle Manifest dav1d (1.5.2)
- ✔︎ Bottle dav1d (1.5.2)
- ✔︎ Bottle Manifest libavif (1.3.0)
- ✔︎ Bottle libavif (1.3.0)
- ✔︎ Bottle Manifest gd (2.3.3_6)
- ✔︎ Bottle gd (2.3.3_6)
- ✔︎ Bottle Manifest jasper (4.2.8)
- ✔︎ Bottle jasper (4.2.8)
- ✔︎ Bottle Manifest netpbm (11.02.19_1)
- ✔︎ Bottle Manifest gts (0.7.6_3)
- ✔︎ Bottle gts (0.7.6_3)
- ✔︎ Bottle Manifest gdk-pixbuf (2.44.4)
- ✔︎ Bottle Manifest graphite2 (1.3.14)
- ✔︎ Bottle graphite2 (1.3.14)
- ✔︎ Bottle Manifest icu4c@78 (78.1)
- ✔︎ Bottle Manifest harfbuzz (12.2.0_1)
- ✔︎ Bottle harfbuzz (12.2.0_1)
- ✔︎ Bottle Manifest fribidi (1.0.16)
- ✔︎ Bottle fribidi (1.0.16)
- ✔︎ Bottle Manifest pango (1.57.0_1)
- ✔︎ Bottle pango (1.57.0_1)
- ✔︎ Bottle Manifest librsvg (2.61.3_1)
- ✔︎ Bottle Manifest libtool (2.5.4)
- ✔︎ Bottle autoconf (2.72)
- ✔︎ Bottle librsvg (2.61.3_1)
- ✔︎ Bottle pkgconf (2.5.1)
- ✔︎ Bottle zlib (1.3.1)
- ✔︎ Bottle netpbm (11.02.19_1)
- ✔︎ Bottle gdk-pixbuf (2.44.4)
- ✔︎ Bottle icu4c@78 (78.1)
- ✔︎ Bottle libtool (2.5.4)
- ✔︎ Bottle graphviz (14.1.0)
- ✔︎ Bottle gettext (0.26_1)
- ✔︎ Bottle libxcb (1.17.0)
- ✔︎ Bottle jpeg-turbo (3.1.3)
- ==> Installing autoconf dependency: m4
- ==> Pouring m4--1.4.20.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/m4/1.4.20: 14 files, 801.6KB
- ==> Pouring autoconf--2.72.arm64_sequoia.bottle.1.tar.gz
- 🍺 /opt/homebrew/Cellar/autoconf/2.72: 72 files, 3.8MB
- ==> Running `brew cleanup autoconf`...
- Disable this behaviour by setting `HOMEBREW_NO_INSTALL_CLEANUP=1`.
- Hide these hints with `HOMEBREW_NO_ENV_HINTS=1` (see `man brew`).
- ==> Pouring gmp--6.3.0.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/gmp/6.3.0: 22 files, 3.4MB
- ==> Running `brew cleanup gmp`...
- ==> Installing dependencies for graphviz: libpng, freetype, libunistring, gettext, fontconfig, pcre2, glib, xorgproto, libxau, libxdmcp, libxcb, libx11, libxext, libxrender, lzo, pixman, cairo, jpeg-turbo, brotli, giflib, highway, imath, xz, lz4, zstd, libtiff, little-cms2, libdeflate, openjph, openexr, webp, jpeg-xl, libvmaf, aom, dav1d, libavif, gd, jasper, netpbm, gts, gdk-pixbuf, graphite2, icu4c@78, harfbuzz, fribidi, pango, librsvg and libtool
- ==> Installing graphviz dependency: libpng
- ==> Pouring libpng--1.6.53.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libpng/1.6.53: 28 files, 1.4MB
- ==> Installing graphviz dependency: freetype
- ==> Pouring freetype--2.14.1_1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/freetype/2.14.1_1: 68 files, 2.7MB
- ==> Installing graphviz dependency: libunistring
- ==> Pouring libunistring--1.4.1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libunistring/1.4.1: 59 files, 5.8MB
- ==> Installing graphviz dependency: gettext
- ==> Pouring gettext--0.26_1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/gettext/0.26_1: 2,428 files, 29.5MB
- ==> Installing graphviz dependency: fontconfig
- ==> Pouring fontconfig--2.17.1.arm64_sequoia.bottle.1.tar.gz
- ==> Regenerating font cache, this may take a while
- ==> /opt/homebrew/Cellar/fontconfig/2.17.1/bin/fc-cache --force --really-force --verbose
- 🍺 /opt/homebrew/Cellar/fontconfig/2.17.1: 98 files, 1.6MB
- ==> Installing graphviz dependency: pcre2
- ==> Pouring pcre2--10.47.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/pcre2/10.47: 244 files, 7.3MB
- ==> Installing graphviz dependency: glib
- ==> Pouring glib--2.86.3.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/glib/2.86.3: 504 files, 39.6MB
- ==> Installing graphviz dependency: xorgproto
- ==> Pouring xorgproto--2024.1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/xorgproto/2024.1: 268 files, 4.1MB
- ==> Installing graphviz dependency: libxau
- ==> Pouring libxau--1.0.12.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libxau/1.0.12: 21 files, 136.1KB
- ==> Installing graphviz dependency: libxdmcp
- ==> Pouring libxdmcp--1.1.5.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libxdmcp/1.1.5: 12 files, 142.4KB
- ==> Installing graphviz dependency: libxcb
- ==> Pouring libxcb--1.17.0.arm64_sequoia.bottle.1.tar.gz
- 🍺 /opt/homebrew/Cellar/libxcb/1.17.0: 2,498 files, 7.8MB
- ==> Installing graphviz dependency: libx11
- ==> Pouring libx11--1.8.12.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libx11/1.8.12: 1,043 files, 7.4MB
- ==> Installing graphviz dependency: libxext
- ==> Pouring libxext--1.3.6.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libxext/1.3.6: 88 files, 466.0KB
- ==> Installing graphviz dependency: libxrender
- ==> Pouring libxrender--0.9.12.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libxrender/0.9.12: 13 files, 229.5KB
- ==> Installing graphviz dependency: lzo
- ==> Pouring lzo--2.10.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/lzo/2.10: 32 files, 579.8KB
- ==> Installing graphviz dependency: pixman
- ==> Pouring pixman--0.46.4.arm64_sequoia.bottle.1.tar.gz
- 🍺 /opt/homebrew/Cellar/pixman/0.46.4: 11 files, 1.4MB
- ==> Installing graphviz dependency: cairo
- ==> Pouring cairo--1.18.4.arm64_sequoia.bottle.1.tar.gz
- 🍺 /opt/homebrew/Cellar/cairo/1.18.4: 58 files, 4.7MB
- ==> Installing graphviz dependency: jpeg-turbo
- ==> Pouring jpeg-turbo--3.1.3.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/jpeg-turbo/3.1.3: 47 files, 3.7MB
- ==> Installing graphviz dependency: brotli
- ==> Pouring brotli--1.2.0.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/brotli/1.2.0: 33 files, 1.9MB
- ==> Installing graphviz dependency: giflib
- ==> Pouring giflib--5.2.2.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/giflib/5.2.2: 20 files, 559.0KB
- ==> Installing graphviz dependency: highway
- ==> Pouring highway--1.3.0.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/highway/1.3.0: 81 files, 5.6MB
- ==> Installing graphviz dependency: imath
- ==> Pouring imath--3.2.2.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/imath/3.2.2: 50 files, 987.8KB
- ==> Installing graphviz dependency: xz
- ==> Pouring xz--5.8.1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/xz/5.8.1: 96 files, 2.6MB
- ==> Installing graphviz dependency: lz4
- ==> Pouring lz4--1.10.0.arm64_sequoia.bottle.1.tar.gz
- 🍺 /opt/homebrew/Cellar/lz4/1.10.0: 24 files, 729.1KB
- ==> Installing graphviz dependency: zstd
- ==> Pouring zstd--1.5.7.arm64_sequoia.bottle.1.tar.gz
- 🍺 /opt/homebrew/Cellar/zstd/1.5.7: 32 files, 2.3MB
- ==> Installing graphviz dependency: libtiff
- ==> Pouring libtiff--4.7.1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libtiff/4.7.1: 488 files, 9.0MB
- ==> Installing graphviz dependency: little-cms2
- ==> Pouring little-cms2--2.17.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/little-cms2/2.17: 23 files, 1.5MB
- ==> Installing graphviz dependency: libdeflate
- ==> Pouring libdeflate--1.25.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libdeflate/1.25: 17 files, 441.9KB
- ==> Installing graphviz dependency: openjph
- ==> Pouring openjph--0.25.3.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/openjph/0.25.3: 25 files, 635.7KB
- ==> Installing graphviz dependency: openexr
- ==> Pouring openexr--3.4.4.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/openexr/3.4.4: 212 files, 4.6MB
- ==> Installing graphviz dependency: webp
- ==> Pouring webp--1.6.0.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/webp/1.6.0: 64 files, 2.6MB
- ==> Installing graphviz dependency: jpeg-xl
- ==> Pouring jpeg-xl--0.11.1_3.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/jpeg-xl/0.11.1_3: 64 files, 36MB
- ==> Installing graphviz dependency: libvmaf
- ==> Pouring libvmaf--3.0.0.arm64_sequoia.bottle.1.tar.gz
- 🍺 /opt/homebrew/Cellar/libvmaf/3.0.0: 235 files, 7.5MB
- ==> Installing graphviz dependency: aom
- ==> Pouring aom--3.13.1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/aom/3.13.1: 28 files, 10.6MB
- ==> Installing graphviz dependency: dav1d
- ==> Pouring dav1d--1.5.2.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/dav1d/1.5.2: 16 files, 943.2KB
- ==> Installing graphviz dependency: libavif
- ==> Pouring libavif--1.3.0.arm64_sequoia.bottle.1.tar.gz
- 🍺 /opt/homebrew/Cellar/libavif/1.3.0: 22 files, 1MB
- ==> Installing graphviz dependency: gd
- ==> Pouring gd--2.3.3_6.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/gd/2.3.3_6: 34 files, 1.6MB
- ==> Installing graphviz dependency: jasper
- ==> Pouring jasper--4.2.8.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/jasper/4.2.8: 45 files, 1.7MB
- ==> Installing graphviz dependency: netpbm
- ==> Pouring netpbm--11.02.19_1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/netpbm/11.02.19_1: 825 files, 20.4MB
- ==> Installing graphviz dependency: gts
- ==> Pouring gts--0.7.6_3.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/gts/0.7.6_3: 27 files, 1.7MB
- ==> Installing graphviz dependency: gdk-pixbuf
- ==> Pouring gdk-pixbuf--2.44.4.arm64_sequoia.bottle.tar.gz
- ==> /opt/homebrew/Cellar/gdk-pixbuf/2.44.4/bin/gdk-pixbuf-query-loaders --update-cache
- 🍺 /opt/homebrew/Cellar/gdk-pixbuf/2.44.4: 151 files, 4.2MB
- ==> Installing graphviz dependency: graphite2
- ==> Pouring graphite2--1.3.14.arm64_sequoia.bottle.2.tar.gz
- 🍺 /opt/homebrew/Cellar/graphite2/1.3.14: 19 files, 276.8KB
- ==> Installing graphviz dependency: icu4c@78
- ==> Pouring icu4c@78--78.1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/icu4c@78/78.1: 279 files, 87.9MB
- ==> Installing graphviz dependency: harfbuzz
- ==> Pouring harfbuzz--12.2.0_1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/harfbuzz/12.2.0_1: 77 files, 12.5MB
- ==> Installing graphviz dependency: fribidi
- ==> Pouring fribidi--1.0.16.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/fribidi/1.0.16: 68 files, 578.6KB
- ==> Installing graphviz dependency: pango
- ==> Pouring pango--1.57.0_1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/pango/1.57.0_1: 69 files, 3.7MB
- ==> Installing graphviz dependency: librsvg
- ==> Pouring librsvg--2.61.3_1.arm64_sequoia.bottle.tar.gz
- ==> /opt/homebrew/opt/gdk-pixbuf/bin/gdk-pixbuf-query-loaders --update-cache
- 🍺 /opt/homebrew/Cellar/librsvg/2.61.3_1: 21 files, 13.1MB
- ==> Installing graphviz dependency: libtool
- ==> Pouring libtool--2.5.4.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/libtool/2.5.4: 76 files, 4.1MB
- ==> Installing graphviz
- ==> Pouring graphviz--14.1.0.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/graphviz/14.1.0: 283 files, 8.5MB
- ==> Running `brew cleanup graphviz`...
- ==> Pouring pkgconf--2.5.1.arm64_sequoia.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/pkgconf/2.5.1: 28 files, 531.1KB
- ==> Running `brew cleanup pkgconf`...
- ==> Pouring zlib--1.3.1.arm64_sequoia.bottle.tar.gz
- ==> Caveats
- zlib is keg-only, which means it was not symlinked into /opt/homebrew,
- because macOS already provides this software and installing another version in
- parallel can cause all kinds of trouble.
-
- For compilers to find zlib you may need to set:
- export LDFLAGS="-L/opt/homebrew/opt/zlib/lib"
- export CPPFLAGS="-I/opt/homebrew/opt/zlib/include"
-
- For pkgconf to find zlib you may need to set:
- export PKG_CONFIG_PATH="/opt/homebrew/opt/zlib/lib/pkgconfig"
- ==> Summary
- 🍺 /opt/homebrew/Cellar/zlib/1.3.1: 14 files, 412.5KB
- ==> Running `brew cleanup zlib`...
- ==> Caveats
- ==> zlib
- zlib is keg-only, which means it was not symlinked into /opt/homebrew,
- because macOS already provides this software and installing another version in
- parallel can cause all kinds of trouble.
-
- For compilers to find zlib you may need to set:
- export LDFLAGS="-L/opt/homebrew/opt/zlib/lib"
- export CPPFLAGS="-I/opt/homebrew/opt/zlib/include"
-
- For pkgconf to find zlib you may need to set:
- export PKG_CONFIG_PATH="/opt/homebrew/opt/zlib/lib/pkgconfig"
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alt-ergo-free.2.2.0 (https://alt-ergo.ocamlpro.com/http/alt-ergo-free-2.2.0/alt-ergo-free-2.2.0.tar.gz)
-> retrieved astring.0.8.5 (cached)
-> retrieved base.v0.16.4 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bheap.2.0.0 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved camlzip.1.13 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> installed cmdliner.2.1.0
-> retrieved codex.1.0-rc4, frama_c_codex.1.0-rc4 (https://github.com/codex-semantics-library/codex/archive/refs/tags/1.0-rc4.tar.gz)
-> retrieved conf-gmp.5 (cached)
-> retrieved cppo.1.8.0 (cached)
-> installed conf-pkg-config.4
-> installed conf-graphviz.0.1
-> retrieved csexp.1.5.2 (cached)
-> installed conf-autoconf.0.2
-> installed conf-zlib.1
-> installed conf-gmp.5
-> retrieved ctypes.0.24.0 (cached)
-> retrieved cudd.0.1.3 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2, dune-private-libs.3.20.2, dune-site.3.20.2, dyn.3.20.2, ordering.3.20.2, stdune.3.20.2 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved frama-c.31.0 (https://www.frama-c.com/download/frama-c-31.0-Gallium.tar.gz)
-> retrieved gen.1.1 (cached)
-> retrieved integers.0.7.0 (cached)
-> retrieved jane-street-headers.v0.16.0 (cached)
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0 (cached)
-> retrieved jst-config.v0.16.0 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved menhir.20211128, menhirLib.20211128, menhirSdk.20211128 (cached)
-> retrieved num.1.6 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocamlgraph.2.2.0 (cached)
-> retrieved ocplib-simplex.0.4.1 (https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.4.1.tar.gz)
-> retrieved pacomb.1.3 (cached)
-> retrieved patricia-tree.0.11.0 (cached)
-> retrieved pp.2.0.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_deriving_yaml.0.4.0 (https://github.com/patricoferris/ppx_deriving_yaml/releases/download/v0.4.0/ppx_deriving_yaml-0.4.0.tbz)
-> retrieved ppx_deriving_yojson.3.9.1 (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.1 (cached)
-> retrieved ppx_optcomp.v0.16.0 (cached)
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved psmt2-frontend.0.1 (https://github.com/Coquera/psmt2-frontend/archive/0.1.zip)
-> retrieved qcheck-core.0.27 (cached)
-> retrieved rresult.0.7.0 (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 unionFind.20250818 (cached)
-> installed num.1.6
-> retrieved why3.1.8.2 (cached)
-> retrieved yaml.3.2.0 (cached)
-> retrieved yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed dune.3.20.2
-> installed bheap.2.0.0
-> installed base64.3.5.2
-> installed camlp-streams.5.0.1
-> installed csexp.1.5.2
-> installed camlzip.1.13
-> installed cppo.1.8.0
-> installed gen.1.1
-> installed zarith.1.14
-> installed jane-street-headers.v0.16.0
-> installed ocamlbuild.0.16.1
-> installed ocplib-simplex.0.4.1
-> installed dune-configurator.3.20.2
-> installed menhirLib.20211128
-> installed menhirSdk.20211128
-> installed ocaml-compiler-libs.v0.12.4
-> installed ppx_derivers.1.2.1
-> installed pp.2.0.0
-> installed ocamlgraph.2.2.0
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.16.0
-> installed ordering.3.20.2
-> installed patricia-tree.0.11.0
-> installed integers.0.7.0
-> installed qcheck-core.0.27
-> installed dyn.3.20.2
-> installed topkg.1.1.1
-> installed unionFind.20250818
-> installed base.v0.16.4
-> installed ctypes.0.24.0
-> installed astring.0.8.5
-> installed fmt.0.11.0
-> installed stdio.v0.16.0
-> installed rresult.0.7.0
-> installed fpath.0.7.3
-> installed yojson.3.0.0
-> installed menhir.20211128
-> installed stdune.3.20.2
-> installed dune-private-libs.3.20.2
-> installed cudd.0.1.3
-> installed dune-site.3.20.2
-> installed ppxlib.0.35.0
-> installed ppx_cold.v0.16.0
-> installed ppx_globalize.v0.16.0
-> installed ppx_enumerate.v0.16.0
-> installed ppx_compare.v0.16.0
-> installed ppx_here.v0.16.0
-> installed ppx_deriving.6.0.3
-> installed ppx_optcomp.v0.16.0
-> installed sedlex.3.7
-> installed ppx_deriving_yojson.3.9.1
-> installed ppx_sexp_conv.v0.16.0
-> installed pacomb.1.3
-> installed psmt2-frontend.0.1
-> 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 time_now.v0.16.0
-> installed ppx_inline_test.v0.16.1
-> installed js_of_ocaml-compiler.6.2.0
-> installed logs.0.10.0
-> installed bos.0.2.1
-> installed yaml.3.2.0
-> installed alt-ergo-free.2.2.0
-> installed js_of_ocaml.6.2.0
-> installed ppx_deriving_yaml.0.4.0
[ERROR] The compilation of codex.1.0-rc4 failed at "dune build -p codex -j 7 --promote-install-files=false @install".
-> installed why3.1.8.2
-> installed frama-c.31.0
#=== ERROR while compiling codex.1.0-rc4 ======================================#
# context 2.5.0 | macos/arm64 | ocaml-base-compiler.4.14.2 | file:///Users/mac1000/opam-repository
# path ~/.opam/4.14.2/.opam-switch/build/codex.1.0-rc4
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p codex -j 7 --promote-install-files=false @install
# exit-code 1
# env-file ~/.opam/log/codex-7406-b6cffa.env
# output-file ~/.opam/log/codex-7406-b6cffa.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/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/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 && /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: (7) Failed to connect to unpkg.com port 443 after 2 ms: Couldn't connect to server
# make: *** [graphviz.umd.js] Error 7
# 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 && /bin/sh -c 'cd .. && make js/bundle-output.js')
# cd js && npm install
# /bin/sh: npm: command not found
# make: *** [js/node_modules] Error 127
# 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 && /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: (7) Failed to connect to cdn.jsdelivr.net port 443 after 2 ms: Couldn't connect to server
# make: *** [tailwind4.1.5.css] Error 7
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build codex 1.0-rc4
+-
+- The following changes have been performed (the rest was aborted)
| - install alt-ergo-free 2.2.0
| - install astring 0.8.5
| - install base v0.16.4
| - install base64 3.5.2
| - install bheap 2.0.0
| - install bos 0.2.1
| - install camlp-streams 5.0.1
| - install camlzip 1.13
| - install cmdliner 2.1.0
| - install conf-autoconf 0.2
| - install conf-gmp 5
| - install conf-graphviz 0.1
| - install conf-pkg-config 4
| - install conf-zlib 1
| - install cppo 1.8.0
| - install csexp 1.5.2
| - install ctypes 0.24.0
| - install cudd 0.1.3
| - install dune 3.20.2
| - install dune-configurator 3.20.2
| - install dune-private-libs 3.20.2
| - install dune-site 3.20.2
| - install dyn 3.20.2
| - install fmt 0.11.0
| - install fpath 0.7.3
| - install frama-c 31.0
| - install gen 1.1
| - install integers 0.7.0
| - 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 logs 0.10.0
| - install menhir 20211128
| - install menhirLib 20211128
| - install menhirSdk 20211128
| - install num 1.6
| - install ocaml-compiler-libs v0.12.4
| - install ocamlbuild 0.16.1
| - install ocamlfind 1.9.8
| - install ocamlgraph 2.2.0
| - install ocplib-simplex 0.4.1
| - install ordering 3.20.2
| - install pacomb 1.3
| - install patricia-tree 0.11.0
| - install pp 2.0.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_deriving_yaml 0.4.0
| - install ppx_deriving_yojson 3.9.1
| - 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.1
| - install ppx_optcomp v0.16.0
| - install ppx_sexp_conv v0.16.0
| - install ppxlib 0.35.0
| - install psmt2-frontend 0.1
| - install qcheck-core 0.27
| - install rresult 0.7.0
| - install sedlex 3.7
| - install seq base
| - install sexplib0 v0.16.0
| - install stdio v0.16.0
| - install stdlib-shims 0.3.0
| - install stdune 3.20.2
| - install time_now v0.16.0
| - install topkg 1.1.1
| - install unionFind 20250818
| - install why3 1.8.2
| - install yaml 3.2.0
| - install yojson 3.0.0
| - install zarith 1.14
+-
<><> frama-c.31.0 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> The Frama-C/WP plug-in requires one or more external prover(s).
Recommended provers are:
- Alt-Ergo (https://alt-ergo.ocamlpro.com)
- CVC4 (https://cvc4.github.io)
- CVC5 (https://cvc5.github.io)
- Z3 (https://github.com/Z3Prover/z3)
Use 'why3 config detect' to configure new provers.
=> Ivette is a new GUI for Frama-C, currently in development.
Run 'ivette' once to finalize installation (requires an internet connection).
Once finalized, 'ivette' will work offline.
Finalization also requires Node v20 or v22 and Yarn:
- install NVM (https://github.com/nvm-sh/nvm)
- run 'nvm use 22'
- run 'npm install --global yarn'
# To update the current shell environment, run: eval $(opam env)
The former state can be restored with:
/opt/homebrew/bin/opam switch import "/Users/mac1000/.opam/4.14.2/.opam-switch/backup/state-20251213205935.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: codex.1.0-rc4
"/usr/bin/env" "bash" "-c" "opam reinstall frama_c_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 "\"macos-homebrew\""; then
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.";
fi;
test "$pkg" != 'frama_c_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:04.29: Job failed: Failed: Build failed
2025-12-13 21:04.29: Log analysis:
2025-12-13 21:04.29: >>>
[ERROR] The compilation of codex.1.0-rc4 failed at "dune build -p codex -j 7 --promote-install-files=false @install".
(score = 20)
2025-12-13 21:04.29: >>>
# Error: Library "vdom" not found.
(score = 48)
2025-12-13 21:04.29: >>>
# Error: Library "js_of_ocaml-ppx" not found.
(score = 48)
2025-12-13 21:04.29: >>>
opam-repo-ci detected dependencies failing: codex.1.0-rc4
(score = 75)
2025-12-13 21:04.29: codex.1.0-rc4 failed to build