← 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-15-dev libclang-cpp15-dev llvm-15-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libclang-15-dev" "libclang-cpp15-dev" "llvm-15-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libpython3.12-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 ... 15872 files and directories currently installed.) - Preparing to unpack .../libpython3.12-minimal_3.12.3-1ubuntu0.8_amd64.deb ... - Unpacking libpython3.12-minimal:amd64 (3.12.3-1ubuntu0.8) ... - Selecting previously unselected package python3.12-minimal. - Preparing to unpack .../python3.12-minimal_3.12.3-1ubuntu0.8_amd64.deb ... - Unpacking python3.12-minimal (3.12.3-1ubuntu0.8) ... - Setting up libpython3.12-minimal:amd64 (3.12.3-1ubuntu0.8) ... - Setting up python3.12-minimal (3.12.3-1ubuntu0.8) ... - 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 ... 16183 files and directories currently installed.) - Preparing to unpack .../0-python3-minimal_3.12.3-0ubuntu2.1_amd64.deb ... - Unpacking python3-minimal (3.12.3-0ubuntu2.1) ... - Selecting previously unselected package media-types. - Preparing to unpack .../1-media-types_10.1.0_all.deb ... - Unpacking media-types (10.1.0) ... - Selecting previously unselected package tzdata. - Preparing to unpack .../2-tzdata_2025b-0ubuntu0.24.04.1_all.deb ... - Unpacking tzdata (2025b-0ubuntu0.24.04.1) ... - Selecting previously unselected package libpython3.12-stdlib:amd64. - Preparing to unpack .../3-libpython3.12-stdlib_3.12.3-1ubuntu0.8_amd64.deb ... - Unpacking libpython3.12-stdlib:amd64 (3.12.3-1ubuntu0.8) ... - Selecting previously unselected package python3.12. - Preparing to unpack .../4-python3.12_3.12.3-1ubuntu0.8_amd64.deb ... - Unpacking python3.12 (3.12.3-1ubuntu0.8) ... - Selecting previously unselected package libpython3-stdlib:amd64. - Preparing to unpack .../5-libpython3-stdlib_3.12.3-0ubuntu2.1_amd64.deb ... - Unpacking libpython3-stdlib:amd64 (3.12.3-0ubuntu2.1) ... - Setting up python3-minimal (3.12.3-0ubuntu2.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 ... 17146 files and directories currently installed.) - Preparing to unpack .../00-python3_3.12.3-0ubuntu2.1_amd64.deb ... - Unpacking python3 (3.12.3-0ubuntu2.1) ... - Selecting previously unselected package libpipeline1:amd64. - Preparing to unpack .../01-libpipeline1_1.5.7-2_amd64.deb ... - Unpacking libpipeline1:amd64 (1.5.7-2) ... - Selecting previously unselected package binfmt-support. - Preparing to unpack .../02-binfmt-support_2.2.2-7_amd64.deb ... - Unpacking binfmt-support (2.2.2-7) ... - Selecting previously unselected package libicu74:amd64. - Preparing to unpack .../03-libicu74_74.2-1ubuntu3.1_amd64.deb ... - Unpacking libicu74:amd64 (74.2-1ubuntu3.1) ... - Selecting previously unselected package libxml2:amd64. - Preparing to unpack .../04-libxml2_2.9.14+dfsg-1.3ubuntu3.6_amd64.deb ... - Unpacking libxml2:amd64 (2.9.14+dfsg-1.3ubuntu3.6) ... - Selecting previously unselected package libyaml-0-2:amd64. - Preparing to unpack .../05-libyaml-0-2_0.2.5-1build1_amd64.deb ... - Unpacking libyaml-0-2:amd64 (0.2.5-1build1) ... - Selecting previously unselected package python3-pkg-resources. - Preparing to unpack .../06-python3-pkg-resources_68.1.2-2ubuntu1.2_all.deb ... - Unpacking python3-pkg-resources (68.1.2-2ubuntu1.2) ... - Selecting previously unselected package python3-pygments. - Preparing to unpack .../07-python3-pygments_2.17.2+dfsg-1_all.deb ... - Unpacking python3-pygments (2.17.2+dfsg-1) ... - Selecting previously unselected package python3-yaml. - Preparing to unpack .../08-python3-yaml_6.0.1-2build2_amd64.deb ... - Unpacking python3-yaml (6.0.1-2build2) ... - Selecting previously unselected package libgpm2:amd64. - Preparing to unpack .../09-libgpm2_1.20.7-11_amd64.deb ... - Unpacking libgpm2:amd64 (1.20.7-11) ... - Selecting previously unselected package libncurses6:amd64. - Preparing to unpack .../10-libncurses6_6.4+20240113-1ubuntu2_amd64.deb ... - Unpacking libncurses6:amd64 (6.4+20240113-1ubuntu2) ... - Selecting previously unselected package icu-devtools. - Preparing to unpack .../11-icu-devtools_74.2-1ubuntu3.1_amd64.deb ... - Unpacking icu-devtools (74.2-1ubuntu3.1) ... - Selecting previously unselected package libc6-i386. - Preparing to unpack .../12-libc6-i386_2.39-0ubuntu8.6_amd64.deb ... - Unpacking libc6-i386 (2.39-0ubuntu8.6) ... - Selecting previously unselected package lib32gcc-s1. - Preparing to unpack .../13-lib32gcc-s1_14.2.0-4ubuntu2~24.04_amd64.deb ... - Unpacking lib32gcc-s1 (14.2.0-4ubuntu2~24.04) ... - Selecting previously unselected package libgc1:amd64. - Preparing to unpack .../14-libgc1_1%3a8.2.6-1build1_amd64.deb ... - Unpacking libgc1:amd64 (1:8.2.6-1build1) ... - Selecting previously unselected package libobjc4:amd64. - Preparing to unpack .../15-libobjc4_14.2.0-4ubuntu2~24.04_amd64.deb ... - Unpacking libobjc4:amd64 (14.2.0-4ubuntu2~24.04) ... - Selecting previously unselected package libobjc-13-dev:amd64. - Preparing to unpack .../16-libobjc-13-dev_13.3.0-6ubuntu2~24.04_amd64.deb ... - Unpacking libobjc-13-dev:amd64 (13.3.0-6ubuntu2~24.04) ... - Selecting previously unselected package libllvm15t64:amd64. - Preparing to unpack .../17-libllvm15t64_1%3a15.0.7-14build3_amd64.deb ... - Unpacking libllvm15t64:amd64 (1:15.0.7-14build3) ... - Selecting previously unselected package libclang1-15t64. - Preparing to unpack .../18-libclang1-15t64_1%3a15.0.7-14build3_amd64.deb ... - Unpacking libclang1-15t64 (1:15.0.7-14build3) ... - Selecting previously unselected package libclang-common-15-dev. - Preparing to unpack .../19-libclang-common-15-dev_1%3a15.0.7-14build3_amd64.deb ... - Unpacking libclang-common-15-dev (1:15.0.7-14build3) ... - Selecting previously unselected package libclang-15-dev. - Preparing to unpack .../20-libclang-15-dev_1%3a15.0.7-14build3_amd64.deb ... - Unpacking libclang-15-dev (1:15.0.7-14build3) ... - Selecting previously unselected package libclang-cpp15t64. - Preparing to unpack .../21-libclang-cpp15t64_1%3a15.0.7-14build3_amd64.deb ... - Unpacking libclang-cpp15t64 (1:15.0.7-14build3) ... - Selecting previously unselected package libclang-cpp15-dev. - Preparing to unpack .../22-libclang-cpp15-dev_1%3a15.0.7-14build3_amd64.deb ... - Unpacking libclang-cpp15-dev (1:15.0.7-14build3) ... - Selecting previously unselected package lib32stdc++6. - Preparing to unpack .../23-lib32stdc++6_14.2.0-4ubuntu2~24.04_amd64.deb ... - Unpacking lib32stdc++6 (14.2.0-4ubuntu2~24.04) ... - Selecting previously unselected package libclang-rt-15-dev:amd64. - Preparing to unpack .../24-libclang-rt-15-dev_1%3a15.0.7-14build3_amd64.deb ... - Unpacking libclang-rt-15-dev:amd64 (1:15.0.7-14build3) ... - Selecting previously unselected package libicu-dev:amd64. - Preparing to unpack .../25-libicu-dev_74.2-1ubuntu3.1_amd64.deb ... - Unpacking libicu-dev:amd64 (74.2-1ubuntu3.1) ... - Selecting previously unselected package libncurses-dev:amd64. - Preparing to unpack .../26-libncurses-dev_6.4+20240113-1ubuntu2_amd64.deb ... - Unpacking libncurses-dev:amd64 (6.4+20240113-1ubuntu2) ... - Selecting previously unselected package libxml2-dev:amd64. - Preparing to unpack .../27-libxml2-dev_2.9.14+dfsg-1.3ubuntu3.6_amd64.deb ... - Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1.3ubuntu3.6) ... - Selecting previously unselected package llvm-15-runtime. - Preparing to unpack .../28-llvm-15-runtime_1%3a15.0.7-14build3_amd64.deb ... - Unpacking llvm-15-runtime (1:15.0.7-14build3) ... - Selecting previously unselected package llvm-15-linker-tools. - Preparing to unpack .../29-llvm-15-linker-tools_1%3a15.0.7-14build3_amd64.deb ... - Unpacking llvm-15-linker-tools (1:15.0.7-14build3) ... - Selecting previously unselected package libpfm4:amd64. - Preparing to unpack .../30-libpfm4_4.13.0+git32-g0d4ed0e-1_amd64.deb ... - Unpacking libpfm4:amd64 (4.13.0+git32-g0d4ed0e-1) ... - Selecting previously unselected package llvm-15. - Preparing to unpack .../31-llvm-15_1%3a15.0.7-14build3_amd64.deb ... - Unpacking llvm-15 (1:15.0.7-14build3) ... - Selecting previously unselected package libffi-dev:amd64. - Preparing to unpack .../32-libffi-dev_3.4.6-1build1_amd64.deb ... - Unpacking libffi-dev:amd64 (3.4.6-1build1) ... - Selecting previously unselected package llvm-15-tools. - Preparing to unpack .../33-llvm-15-tools_1%3a15.0.7-14build3_amd64.deb ... - Unpacking llvm-15-tools (1:15.0.7-14build3) ... - Selecting previously unselected package libz3-4:amd64. - Preparing to unpack .../34-libz3-4_4.8.12-3.1build1_amd64.deb ... - Unpacking libz3-4:amd64 (4.8.12-3.1build1) ... - Selecting previously unselected package libz3-dev:amd64. - Preparing to unpack .../35-libz3-dev_4.8.12-3.1build1_amd64.deb ... - Unpacking libz3-dev:amd64 (4.8.12-3.1build1) ... - Selecting previously unselected package llvm-15-dev. - Preparing to unpack .../36-llvm-15-dev_1%3a15.0.7-14build3_amd64.deb ... - Unpacking llvm-15-dev (1:15.0.7-14build3) ... - Setting up media-types (10.1.0) ... - Setting up libpipeline1:amd64 (1.5.7-2) ... - Setting up libgpm2:amd64 (1.20.7-11) ... - Setting up libyaml-0-2:amd64 (0.2.5-1build1) ... - Setting up libffi-dev:amd64 (3.4.6-1build1) ... - Setting up tzdata (2025b-0ubuntu0.24.04.1) ... - - Current default time zone: 'Etc/UTC' - Local time is now: Fri Nov 21 09:29:11 UTC 2025. - Universal Time is now: Fri Nov 21 09:29:11 UTC 2025. - Run 'dpkg-reconfigure tzdata' if you wish to change it. - - Setting up libz3-4:amd64 (4.8.12-3.1build1) ... - Setting up libpfm4:amd64 (4.13.0+git32-g0d4ed0e-1) ... - Setting up libncurses6:amd64 (6.4+20240113-1ubuntu2) ... - Setting up binfmt-support (2.2.2-7) ... - invoke-rc.d: could not determine current runlevel - invoke-rc.d: policy-rc.d denied execution of start. - Setting up libgc1:amd64 (1:8.2.6-1build1) ... - Setting up libicu74:amd64 (74.2-1ubuntu3.1) ... - Setting up libc6-i386 (2.39-0ubuntu8.6) ... - Setting up libxml2:amd64 (2.9.14+dfsg-1.3ubuntu3.6) ... - Setting up libz3-dev:amd64 (4.8.12-3.1build1) ... - Setting up libncurses-dev:amd64 (6.4+20240113-1ubuntu2) ... - Setting up libpython3.12-stdlib:amd64 (3.12.3-1ubuntu0.8) ... - Setting up libllvm15t64:amd64 (1:15.0.7-14build3) ... - Setting up llvm-15-linker-tools (1:15.0.7-14build3) ... - Setting up python3.12 (3.12.3-1ubuntu0.8) ... - Setting up libobjc4:amd64 (14.2.0-4ubuntu2~24.04) ... - Setting up lib32gcc-s1 (14.2.0-4ubuntu2~24.04) ... - Setting up lib32stdc++6 (14.2.0-4ubuntu2~24.04) ... - Setting up icu-devtools (74.2-1ubuntu3.1) ... - Setting up libclang1-15t64 (1:15.0.7-14build3) ... - Setting up llvm-15-runtime (1:15.0.7-14build3) ... - Setting up libclang-rt-15-dev:amd64 (1:15.0.7-14build3) ... - Setting up libclang-cpp15t64 (1:15.0.7-14build3) ... - Setting up libicu-dev:amd64 (74.2-1ubuntu3.1) ... - Setting up libobjc-13-dev:amd64 (13.3.0-6ubuntu2~24.04) ... - Setting up libpython3-stdlib:amd64 (3.12.3-0ubuntu2.1) ... - Setting up llvm-15 (1:15.0.7-14build3) ... - Setting up libclang-common-15-dev (1:15.0.7-14build3) ... - Setting up python3 (3.12.3-0ubuntu2.1) ... - running python rtupdate hooks for python3.12... - running python post-rtupdate hooks for python3.12... - Setting up libxml2-dev:amd64 (2.9.14+dfsg-1.3ubuntu3.6) ... - Setting up libclang-cpp15-dev (1:15.0.7-14build3) ... - Setting up python3-pkg-resources (68.1.2-2ubuntu1.2) ... - Setting up libclang-15-dev (1:15.0.7-14build3) ... - Setting up python3-yaml (6.0.1-2build2) ... - Setting up python3-pygments (2.17.2+dfsg-1) ... - Setting up llvm-15-tools (1:15.0.7-14build3) ... - Setting up llvm-15-dev (1:15.0.7-14build3) ... - Processing triggers for libc-bin (2.39-0ubuntu8.6) ... [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 [ERROR] The compilation of conf-libclang.15 failed at "bash -ex configure.sh 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=/usr/bin/llvm-config-15 - ++ /usr/bin/llvm-config-15 --version - + llvm_version=15.0.7 - + break - + '[' -z 15.0.7 ']' - ++ /usr/bin/llvm-config-15 --cflags - + LLVM_CFLAGS='-I/usr/lib/llvm-15/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS' - ++ /usr/bin/llvm-config-15 --ldflags - + LLVM_LDFLAGS='-L/usr/lib/llvm-15/lib ' - ++ /usr/bin/llvm-config-15 --libdir - + LLVM_LIBDIR=/usr/lib/llvm-15/lib - ++ echo -I/usr/lib/llvm-15/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-15/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS' - ++ echo -I/usr/lib/llvm-15/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-15/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS' - ++ echo -I/usr/lib/llvm-15/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-15/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS' - ++ echo -I/usr/lib/llvm-15/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-15/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS' - ++ mktemp -d - + tempdir=/tmp/tmp.KSjdgpiNpD - + cat - + CC=cc - + cc -o /tmp/tmp.KSjdgpiNpD/test_libclang.o -c -I/usr/lib/llvm-15/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS /tmp/tmp.KSjdgpiNpD/test_libclang.c - + cc -o /tmp/tmp.KSjdgpiNpD/test_libclang -L/usr/lib/llvm-15/lib /tmp/tmp.KSjdgpiNpD/test_libclang.o -lclang -Wl,-rpath,/usr/lib/llvm-15/lib - + /tmp/tmp.KSjdgpiNpD/test_libclang - configure.sh: line 97: /tmp/tmp.KSjdgpiNpD/test_libclang: Permission denied - + clean_tempdir - + rm -f /tmp/tmp.KSjdgpiNpD/test_libclang.c /tmp/tmp.KSjdgpiNpD/test_libclang.o /tmp/tmp.KSjdgpiNpD/test_libclang - + rmdir /tmp/tmp.KSjdgpiNpD - + 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= - + 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-14.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-config140 - + 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-config14 - + 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-14-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-14-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-14 - + 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-14.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/14/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/14/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/llvm14/bin/llvm-config - + llvm_config= - + continue - + '[' -z 15.0.7 ']' - ++ --cflags - configure.sh: line 61: --cflags: command not found - + LLVM_CFLAGS= 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"} }