← 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"} }