← Back to PR #28843
Build Log: frama-clang.0.0.19~beta
Status: DEPENDENCY FAILED
Log Output
Processing: [default: loading data]
The following system packages will first need to be installed:
libclang-14-dev libclang-cpp14-dev llvm-14-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libclang-14-dev" "libclang-cpp14-dev" "llvm-14-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpython3.10-minimal:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 15225 files and directories currently installed.)
- Preparing to unpack .../libpython3.10-minimal_3.10.12-1~22.04.11_amd64.deb ...
- Unpacking libpython3.10-minimal:amd64 (3.10.12-1~22.04.11) ...
- Selecting previously unselected package python3.10-minimal.
- Preparing to unpack .../python3.10-minimal_3.10.12-1~22.04.11_amd64.deb ...
- Unpacking python3.10-minimal (3.10.12-1~22.04.11) ...
- Setting up libpython3.10-minimal:amd64 (3.10.12-1~22.04.11) ...
- Setting up python3.10-minimal (3.10.12-1~22.04.11) ...
- Selecting previously unselected package python3-minimal.
- (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 ... 15521 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.10.6-1~22.04.1_amd64.deb ...
- Unpacking python3-minimal (3.10.6-1~22.04.1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_7.0.0_all.deb ...
- Unpacking media-types (7.0.0) ...
- Selecting previously unselected package libmpdec3:amd64.
- Preparing to unpack .../2-libmpdec3_2.5.1-2build2_amd64.deb ...
- Unpacking libmpdec3:amd64 (2.5.1-2build2) ...
- Selecting previously unselected package libpython3.10-stdlib:amd64.
- Preparing to unpack .../3-libpython3.10-stdlib_3.10.12-1~22.04.11_amd64.deb ...
- Unpacking libpython3.10-stdlib:amd64 (3.10.12-1~22.04.11) ...
- Selecting previously unselected package python3.10.
- Preparing to unpack .../4-python3.10_3.10.12-1~22.04.11_amd64.deb ...
- Unpacking python3.10 (3.10.12-1~22.04.11) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../5-libpython3-stdlib_3.10.6-1~22.04.1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.10.6-1~22.04.1) ...
- Setting up python3-minimal (3.10.6-1~22.04.1) ...
- Selecting previously unselected package python3.
- (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 ... 15923 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.10.6-1~22.04.1_amd64.deb ...
- Unpacking python3 (3.10.6-1~22.04.1) ...
- Selecting previously unselected package libicu70:amd64.
- Preparing to unpack .../01-libicu70_70.1-2_amd64.deb ...
- Unpacking libicu70:amd64 (70.1-2) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../02-libxml2_2.9.13+dfsg-1ubuntu0.10_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.13+dfsg-1ubuntu0.10) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../03-libyaml-0-2_0.2.2-1build2_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.2-1build2) ...
- Selecting previously unselected package python3-pkg-resources.
- Preparing to unpack .../04-python3-pkg-resources_59.6.0-1.2ubuntu0.22.04.3_all.deb ...
- Unpacking python3-pkg-resources (59.6.0-1.2ubuntu0.22.04.3) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../05-python3-yaml_5.4.1-1ubuntu1_amd64.deb ...
- Unpacking python3-yaml (5.4.1-1ubuntu1) ...
- Selecting previously unselected package libpipeline1:amd64.
- Preparing to unpack .../06-libpipeline1_1.5.5-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.5-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../07-binfmt-support_2.2.1-2_amd64.deb ...
- Unpacking binfmt-support (2.2.1-2) ...
- Selecting previously unselected package icu-devtools.
- Preparing to unpack .../08-icu-devtools_70.1-2_amd64.deb ...
- Unpacking icu-devtools (70.1-2) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../09-libc6-i386_2.35-0ubuntu3.11_amd64.deb ...
- Unpacking libc6-i386 (2.35-0ubuntu3.11) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../10-lib32gcc-s1_12.3.0-1ubuntu1~22.04.2_amd64.deb ...
- Unpacking lib32gcc-s1 (12.3.0-1ubuntu1~22.04.2) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../11-libgc1_1%3a8.0.6-1.1build1_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.0.6-1.1build1) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../12-libobjc4_12.3.0-1ubuntu1~22.04.2_amd64.deb ...
- Unpacking libobjc4:amd64 (12.3.0-1ubuntu1~22.04.2) ...
- Selecting previously unselected package libobjc-11-dev:amd64.
- Preparing to unpack .../13-libobjc-11-dev_11.4.0-1ubuntu1~22.04.2_amd64.deb ...
- Unpacking libobjc-11-dev:amd64 (11.4.0-1ubuntu1~22.04.2) ...
- Selecting previously unselected package libllvm14:amd64.
- Preparing to unpack .../14-libllvm14_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking libllvm14:amd64 (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package libclang1-14.
- Preparing to unpack .../15-libclang1-14_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking libclang1-14 (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../16-lib32stdc++6_12.3.0-1ubuntu1~22.04.2_amd64.deb ...
- Unpacking lib32stdc++6 (12.3.0-1ubuntu1~22.04.2) ...
- Selecting previously unselected package libclang-common-14-dev.
- Preparing to unpack .../17-libclang-common-14-dev_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking libclang-common-14-dev (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package libclang-14-dev.
- Preparing to unpack .../18-libclang-14-dev_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking libclang-14-dev (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package libclang-cpp14.
- Preparing to unpack .../19-libclang-cpp14_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking libclang-cpp14 (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package libclang-cpp14-dev.
- Preparing to unpack .../20-libclang-cpp14-dev_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking libclang-cpp14-dev (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package libicu-dev:amd64.
- Preparing to unpack .../21-libicu-dev_70.1-2_amd64.deb ...
- Unpacking libicu-dev:amd64 (70.1-2) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../22-libncurses-dev_6.3-2ubuntu0.1_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.3-2ubuntu0.1) ...
- Selecting previously unselected package libtinfo-dev:amd64.
- Preparing to unpack .../23-libtinfo-dev_6.3-2ubuntu0.1_amd64.deb ...
- Unpacking libtinfo-dev:amd64 (6.3-2ubuntu0.1) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../24-libxml2-dev_2.9.13+dfsg-1ubuntu0.10_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.9.13+dfsg-1ubuntu0.10) ...
- Selecting previously unselected package llvm-14-runtime.
- Preparing to unpack .../25-llvm-14-runtime_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking llvm-14-runtime (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package llvm-14-linker-tools.
- Preparing to unpack .../26-llvm-14-linker-tools_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking llvm-14-linker-tools (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../27-libpfm4_4.11.1+git32-gd0b85fb-1ubuntu0.1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.11.1+git32-gd0b85fb-1ubuntu0.1) ...
- Selecting previously unselected package llvm-14.
- Preparing to unpack .../28-llvm-14_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking llvm-14 (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../29-libffi-dev_3.4.2-4_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.2-4) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../30-python3-pygments_2.11.2+dfsg-2ubuntu0.1_all.deb ...
- Unpacking python3-pygments (2.11.2+dfsg-2ubuntu0.1) ...
- Selecting previously unselected package llvm-14-tools.
- Preparing to unpack .../31-llvm-14-tools_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking llvm-14-tools (1:14.0.0-1ubuntu1.1) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../32-libz3-4_4.8.12-1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.8.12-1) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../33-libz3-dev_4.8.12-1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.8.12-1) ...
- Selecting previously unselected package llvm-14-dev.
- Preparing to unpack .../34-llvm-14-dev_1%3a14.0.0-1ubuntu1.1_amd64.deb ...
- Unpacking llvm-14-dev (1:14.0.0-1ubuntu1.1) ...
- Setting up media-types (7.0.0) ...
- Setting up libpipeline1:amd64 (1.5.5-1) ...
- Setting up libncurses-dev:amd64 (6.3-2ubuntu0.1) ...
- Setting up libyaml-0-2:amd64 (0.2.2-1build2) ...
- Setting up libffi-dev:amd64 (3.4.2-4) ...
- Setting up libz3-4:amd64 (4.8.12-1) ...
- Setting up libpfm4:amd64 (4.11.1+git32-gd0b85fb-1ubuntu0.1) ...
- Setting up binfmt-support (2.2.1-2) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of restart.
- Setting up libgc1:amd64 (1:8.0.6-1.1build1) ...
- Setting up libmpdec3:amd64 (2.5.1-2build2) ...
- Setting up libc6-i386 (2.35-0ubuntu3.11) ...
- Setting up libicu70:amd64 (70.1-2) ...
- Setting up libtinfo-dev:amd64 (6.3-2ubuntu0.1) ...
- Setting up libz3-dev:amd64 (4.8.12-1) ...
- Setting up libobjc4:amd64 (12.3.0-1ubuntu1~22.04.2) ...
- Setting up libpython3.10-stdlib:amd64 (3.10.12-1~22.04.11) ...
- Setting up lib32gcc-s1 (12.3.0-1ubuntu1~22.04.2) ...
- Setting up lib32stdc++6 (12.3.0-1ubuntu1~22.04.2) ...
- Setting up icu-devtools (70.1-2) ...
- Setting up libicu-dev:amd64 (70.1-2) ...
- Setting up libxml2:amd64 (2.9.13+dfsg-1ubuntu0.10) ...
- Setting up libpython3-stdlib:amd64 (3.10.6-1~22.04.1) ...
- Setting up python3.10 (3.10.12-1~22.04.11) ...
- Setting up libobjc-11-dev:amd64 (11.4.0-1ubuntu1~22.04.2) ...
- Setting up python3 (3.10.6-1~22.04.1) ...
- running python rtupdate hooks for python3.10...
- running python post-rtupdate hooks for python3.10...
- Setting up libxml2-dev:amd64 (2.9.13+dfsg-1ubuntu0.10) ...
- Setting up libllvm14:amd64 (1:14.0.0-1ubuntu1.1) ...
- Setting up llvm-14-linker-tools (1:14.0.0-1ubuntu1.1) ...
- Setting up python3-pkg-resources (59.6.0-1.2ubuntu0.22.04.3) ...
- Setting up libclang1-14 (1:14.0.0-1ubuntu1.1) ...
- Setting up python3-yaml (5.4.1-1ubuntu1) ...
- Setting up python3-pygments (2.11.2+dfsg-2ubuntu0.1) ...
- Setting up llvm-14-runtime (1:14.0.0-1ubuntu1.1) ...
- Setting up libclang-common-14-dev (1:14.0.0-1ubuntu1.1) ...
- Setting up libclang-cpp14 (1:14.0.0-1ubuntu1.1) ...
- Setting up libclang-14-dev (1:14.0.0-1ubuntu1.1) ...
- Setting up libclang-cpp14-dev (1:14.0.0-1ubuntu1.1) ...
- Setting up llvm-14 (1:14.0.0-1ubuntu1.1) ...
- Setting up llvm-14-tools (1:14.0.0-1ubuntu1.1) ...
- Setting up llvm-14-dev (1:14.0.0-1ubuntu1.1) ...
- Processing triggers for libc-bin (2.35-0ubuntu3.11) ...
[conf-libclang.15/configure.sh: dl]
-> retrieved conf-libclang.15 (https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-libclang/configure.sh.15)
[conf-libclang: bash configure.sh]
+ /usr/bin/bash "-ex" "configure.sh" "15" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-libclang.15)
- + maximum_version=15
- + shopt -s nullglob
- ++ seq 15 -1 3
- + for version in default $(seq $maximum_version -1 3)
- + '[' default = default ']'
- + for kind in system brew none
- + case $kind in
- ++ command -v llvm-config
- + llvm_config=
- + continue
- + for kind in system brew none
- + case $kind in
- ++ brew --prefix
- configure.sh: line 20: brew: command not found
- + llvm_config=/opt/llvm/bin/llvm-config
- + continue
- + for kind in system brew none
- + case $kind in
- + break
- + '[' none == none ']'
- + continue
- + for version in default $(seq $maximum_version -1 3)
- + '[' 15 = default ']'
- + hash brew
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-15
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-15.0
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config150
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config15
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-15-32
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-15-64
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-mp-15
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-mp-15.0
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v /usr/lib64/llvm/15/bin/llvm-config
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v /usr/lib/llvm/15/bin/llvm-config
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v /usr/lib/llvm15/bin/llvm-config
- + llvm_config=
- + continue
- + '[' -z '' ']'
- + continue
- + for version in default $(seq $maximum_version -1 3)
- + '[' 14 = default ']'
- + hash brew
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-14
- + llvm_config=/usr/bin/llvm-config-14
- ++ /usr/bin/llvm-config-14 --version
- + llvm_version=14.0.0
- + break
- + '[' -z 14.0.0 ']'
- ++ /usr/bin/llvm-config-14 --cflags
- + LLVM_CFLAGS='-I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS'
- ++ /usr/bin/llvm-config-14 --ldflags
- + LLVM_LDFLAGS='-L/usr/lib/llvm-14/lib '
- ++ /usr/bin/llvm-config-14 --libdir
- + LLVM_LIBDIR=/usr/lib/llvm-14/lib
- ++ echo -I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS
- ++ sed 's/-Wstring-conversion //'
- + LLVM_CFLAGS='-I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS'
- ++ echo -I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS
- ++ sed 's/-Werror=unguarded-availability-new //'
- + LLVM_CFLAGS='-I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS'
- ++ echo -I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS
- ++ sed 's/-Wcovered-switch-default //'
- + LLVM_CFLAGS='-I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS'
- ++ echo -I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS
- ++ sed 's/-Wdelete-non-virtual-dtor //'
- + LLVM_CFLAGS='-I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS'
- ++ mktemp -d
- + tempdir=/tmp/tmp.BX9bRcnQKq
- + cat
- + CC=cc
- + cc -o /tmp/tmp.BX9bRcnQKq/test_libclang.o -c -I/usr/lib/llvm-14/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS /tmp/tmp.BX9bRcnQKq/test_libclang.c
- + cc -o /tmp/tmp.BX9bRcnQKq/test_libclang -L/usr/lib/llvm-14/lib /tmp/tmp.BX9bRcnQKq/test_libclang.o -lclang -Wl,-rpath,/usr/lib/llvm-14/lib
- + /tmp/tmp.BX9bRcnQKq/test_libclang
- configure.sh: line 97: /tmp/tmp.BX9bRcnQKq/test_libclang: Permission denied
- + clean_tempdir
- + rm -f /tmp/tmp.BX9bRcnQKq/test_libclang.c /tmp/tmp.BX9bRcnQKq/test_libclang.o /tmp/tmp.BX9bRcnQKq/test_libclang
- + rmdir /tmp/tmp.BX9bRcnQKq
- + continue
- + for version in default $(seq $maximum_version -1 3)
- + '[' 13 = default ']'
- + hash brew
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-13
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-13.0
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config130
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config13
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-13-32
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-13-64
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-mp-13
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v llvm-config-mp-13.0
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v /usr/lib64/llvm/13/bin/llvm-config
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v /usr/lib/llvm/13/bin/llvm-config
- + llvm_config=
- + continue
- + for llvm_config in llvm-config-${version} llvm-config-${version}.0 llvm-config${version}0 llvm-config${version} llvm-config-${version}-32 llvm-config-${version}-64 llvm-config-mp-$version llvm-config-mp-${version}.0 $brew_llvm_config $brew_llvm_config_at /usr/lib64/llvm/${version}/bin/llvm-config /usr/lib/llvm/${version}/bin/llvm-config /usr/lib/llvm${version}/bin/llvm-config
- ++ command -v /usr/lib/llvm13/bin/llvm-config
- + llvm_config=
- + continue
- + '[' -z 14.0.0 ']'
- ++ --cflags
- configure.sh: line 61: --cflags: command not found
- + LLVM_CFLAGS=
[ERROR] The compilation of conf-libclang.15 failed at "bash -ex configure.sh 15".
build failed...
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"alt-ergo.2.6.2" -> {"alt-ergo-lib.2.6.2" "alt-ergo-parsers.2.6.2" "cmdliner.1.3.0" "dune.3.20.2" "dune-site.3.20.2" "menhir.20250912" "ocaml.5.4.0"}
"alt-ergo-lib.2.6.2" -> {"camlzip.1.13" "dolmen.0.10" "dolmen_loop.0.10" "dolmen_type.0.10" "dune.3.20.2" "dune-build-info.3.20.2" "fmt.0.11.0" "ocaml.5.4.0" "ocplib-simplex.0.5.1" "ppx_blob.0.9.0" "ppx_deriving.6.1.1" "seq.base" "stdlib-shims.0.3.0" "zarith.1.14"}
"alt-ergo-parsers.2.6.2" -> {"alt-ergo-lib.2.6.2" "dune.3.20.2" "menhir.20250912" "ocaml.5.4.0" "psmt2-frontend.0.4.0" "stdlib-shims.0.3.0"}
"astring.0.8.5" -> {"ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"base.v0.17.3" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.4.0" "ocaml_intrinsics_kernel.v0.17.1" "sexplib0.v0.17.0"}
"bos.0.2.1" -> {"astring.0.8.5" "base-unix.base" "fmt.0.11.0" "fpath.0.7.3" "logs.0.10.0" "ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"}
"cairo2.0.6.5" -> {"base-bigarray.base" "conf-cairo.1" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.4.0"}
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.5.4.0"}
"camlp5.8.04.00" -> {"bos.0.2.1" "camlp-streams.5.0.1" "camlp5-buildscripts.0.06" "conf-bash.1" "conf-perl.2" "fmt.0.11.0" "ocaml.5.4.0" "ocamlfind.1.9.8" "pcre2.8.0.4" "re.1.14.0" "rresult.0.7.0"}
"camlp5-buildscripts.0.06" -> {"bos.0.2.1" "fmt.0.11.0" "not-ocamlfind.0.14" "ocaml.5.4.0" "re.1.14.0"}
"camlzip.1.13" -> {"conf-zlib.1" "ocaml.5.4.0" "ocamlfind.1.9.8"}
"cmdliner.1.3.0" -> "ocaml.5.4.0";
"conf-cairo.1" -> "conf-pkg-config.4";
"conf-gtk3.18" -> "conf-pkg-config.4";
"conf-gtksourceview3.0+2" -> "conf-pkg-config.4";
"conf-libclang.15" -> "conf-bash.1";
"conf-libpcre2-8.2" -> "conf-pkg-config.4";
"conf-zlib.1" -> "conf-pkg-config.4";
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.4.0"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.4.0"}
"cstruct.6.2.0" -> {"dune.3.20.2" "fmt.0.11.0" "ocaml.5.4.0"}
"ctypes.0.24.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "integers.0.7.0" "ocaml.5.4.0"}
"dolmen.0.10" -> {"dune.3.20.2" "fmt.0.11.0" "hmap.0.8.1" "menhir.20250912" "ocaml.5.4.0" "seq.base"}
"dolmen_loop.0.10" -> {"dolmen.0.10" "dolmen_type.0.10" "dune.3.20.2" "gen.1.1" "ocaml.5.4.0" "pp_loc.2.1.0"}
"dolmen_type.0.10" -> {"dolmen.0.10" "dune.3.20.2" "ocaml.5.4.0" "spelll.0.4" "uutf.1.0.4"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.4.0"}
"dune-build-info.3.20.2" -> {"dune.3.20.2" "ocaml.5.4.0"}
"dune-compiledb.0.6.0" -> {"dune.3.20.2" "ezjsonm.1.3.0" "fpath.0.7.3" "ocaml.5.4.0" "sexplib.v0.17.0" "sexplib0.v0.17.0"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.4.0"}
"dune-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.4.0" "pp.2.0.0" "stdune.3.20.2"}
"dune-site.3.20.2" -> {"dune.3.20.2" "dune-private-libs.3.20.2"}
"dyn.3.20.2" -> {"dune.3.20.2" "ocaml.5.4.0" "ordering.3.20.2" "pp.2.0.0"}
"ezjsonm.1.3.0" -> {"dune.3.20.2" "hex.1.5.0" "jsonm.1.0.2" "ocaml.5.4.0" "sexplib0.v0.17.0" "uutf.1.0.4"}
"fmt.0.11.0" -> {"base-unix.base" "cmdliner.1.3.0" "ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"fpath.0.7.3" -> {"astring.0.8.5" "ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"frama-c.32.0~beta" -> {"alt-ergo.2.6.2" "camlzip.1.13" "conf-gtksourceview3.0+2" "dune.3.20.2" "dune-configurator.3.20.2" "dune-site.3.20.2" "lablgtk3.3.1.5" "lablgtk3-sourceview3.3.1.5" "menhir.20250912" "ocaml.5.4.0" "ocamlgraph.2.2.0" "ppx_deriving.6.1.1" "ppx_deriving_yaml.0.4.1" "ppx_deriving_yojson.3.10.0" "ppx_inline_test.v0.17.1" "ppxlib.0.37.0" "unionFind.20250818" "why3.1.8.2" "yaml.3.2.0" "yojson.3.0.0" "zarith.1.14"}
"frama-clang.0.0.19~beta" -> {"camlp-streams.5.0.1" "camlp5.8.04.00" "conf-clang.2" "conf-cmake.1" "conf-libclang.15" "dune.3.20.2" "frama-c.32.0~beta" "zarith.1.14"}
"gen.1.1" -> {"dune.3.20.2" "ocaml.5.4.0" "seq.base"}
"hex.1.5.0" -> {"cstruct.6.2.0" "dune.3.20.2" "ocaml.5.4.0"}
"hmap.0.8.1" -> {"ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"integers.0.7.0" -> {"dune.3.20.2" "ocaml.5.4.0" "stdlib-shims.0.3.0"}
"jane-street-headers.v0.17.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"jsonm.1.0.2" -> {"ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1" "uutf.1.0.4"}
"jst-config.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.4.0" "ppx_assert.v0.17.0"}
"lablgtk3.3.1.5" -> {"cairo2.0.6.5" "camlp-streams.5.0.1" "conf-gtk3.18" "dune.3.20.2" "ocaml.5.4.0"}
"lablgtk3-sourceview3.3.1.5" -> {"camlp-streams.5.0.1" "conf-gtksourceview3.0+2" "dune.3.20.2" "lablgtk3.3.1.5" "ocaml.5.4.0"}
"logs.0.10.0" -> {"base-threads.base" "cmdliner.1.3.0" "fmt.0.11.0" "ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.4.0"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.4.0"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.4.0"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.4.0"}
"not-ocamlfind.0.14" -> {"camlp-streams.5.0.1" "conf-m4.1" "conf-which.1" "fmt.0.11.0" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "rresult.0.7.0"}
"num.1.6" -> "ocaml.5.4.0";
"ocaml.5.4.0" -> {"ocaml-base-compiler.5.4.0" "ocaml-config.3"}
"ocaml-base-compiler.5.4.0" -> "ocaml-compiler.5.4.0";
"ocaml-compiler-libs.v0.17.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ocaml-config.3" -> "ocaml-base-compiler.5.4.0";
"ocaml_intrinsics_kernel.v0.17.1" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ocamlbuild.0.16.1" -> "ocaml.5.4.0";
"ocamlfind.1.9.8" -> "ocaml.5.4.0";
"ocamlgraph.2.2.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ocplib-simplex.0.5.1" -> {"dune.3.20.2" "logs.0.10.0" "ocaml.5.4.0" "ocamlfind.1.9.8"}
"ordering.3.20.2" -> {"dune.3.20.2" "ocaml.5.4.0"}
"parsexp.v0.17.0" -> {"dune.3.20.2" "ocaml.5.4.0" "sexplib0.v0.17.0"}
"pcre2.8.0.4" -> {"conf-libpcre2-8.2" "dune.3.20.2" "dune-compiledb.0.6.0" "dune-configurator.3.20.2" "ocaml.5.4.0"}
"pp.2.0.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"pp_loc.2.1.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ppx_assert.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_base.v0.17.0" -> {"dune.3.20.2" "ocaml.5.4.0" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_globalize.v0.17.2" "ppx_hash.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_blob.0.9.0" -> {"dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_cold.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_compare.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ppx_deriving.6.1.1" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.4.0" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.37.0"}
"ppx_deriving_yaml.0.4.1" -> {"dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0" "yaml.3.2.0"}
"ppx_deriving_yojson.3.10.0" -> {"dune.3.20.2" "ocaml.5.4.0" "ppx_deriving.6.1.1" "ppxlib.0.37.0" "yojson.3.0.0"}
"ppx_enumerate.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_globalize.v0.17.2" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_hash.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppx_compare.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_here.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_inline_test.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0" "time_now.v0.17.0"}
"ppx_optcomp.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0" "stdio.v0.17.0"}
"ppx_sexp_conv.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4" "sexplib0.v0.17.0"}
"ppxlib.0.37.0" -> {"dune.3.20.2" "ocaml.5.4.0" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"}
"ppxlib_jane.v0.17.4" -> {"dune.3.20.2" "ocaml.5.4.0" "ppxlib.0.37.0"}
"psmt2-frontend.0.4.0" -> {"dune.3.20.2" "menhir.20250912" "ocaml.5.4.0"}
"re.1.14.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"rresult.0.7.0" -> {"ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"seq.base" -> "ocaml.5.4.0";
"sexplib.v0.17.0" -> {"dune.3.20.2" "num.1.6" "ocaml.5.4.0" "parsexp.v0.17.0" "sexplib0.v0.17.0"}
"sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"spelll.0.4" -> {"dune.3.20.2" "ocaml.5.4.0" "seq.base" "stdlib-shims.0.3.0"}
"stdio.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.4.0"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.4.0" "ordering.3.20.2" "pp.2.0.0"}
"time_now.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.4.0" "ppx_base.v0.17.0" "ppx_optcomp.v0.17.1"}
"topkg.1.1.1" -> {"ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"unionFind.20250818" -> {"dune.3.20.2" "ocaml.5.4.0"}
"uutf.1.0.4" -> {"cmdliner.1.3.0" "ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"why3.1.8.2" -> {"camlzip.1.13" "menhir.20250912" "ocaml.5.4.0" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "ppx_deriving.6.1.1" "ppx_sexp_conv.v0.17.1" "sexplib.v0.17.0" "zarith.1.14"}
"yaml.3.2.0" -> {"bos.0.2.1" "ctypes.0.24.0" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.4.0"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.4.0" "ocamlfind.1.9.8"}
}