Build Log: frama-clang.0.0.19~beta

Processing: [default: loading data] [WARNING] These additional system packages are required, but not available on your system: libclang-14-dev libclang-cpp14-dev llvm-14-dev The following system packages will first need to be installed: libclang-cpp-dev libclang-dev llvm-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libclang-cpp-dev" "libclang-dev" "llvm-dev" - Selecting previously unselected package libpipeline1: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 ... 20107 files and directories currently installed.) - Preparing to unpack .../libpipeline1_1.5.8-1_amd64.deb ... - Unpacking libpipeline1:amd64 (1.5.8-1) ... - Selecting previously unselected package binfmt-support. - Preparing to unpack .../binfmt-support_2.2.2-7_amd64.deb ... - Unpacking binfmt-support (2.2.2-7) ... - Selecting previously unselected package libpython3.13-minimal:amd64. - Preparing to unpack .../libpython3.13-minimal_3.13.5-2_amd64.deb ... - Unpacking libpython3.13-minimal:amd64 (3.13.5-2) ... - Selecting previously unselected package python3.13-minimal. - Preparing to unpack .../python3.13-minimal_3.13.5-2_amd64.deb ... - Unpacking python3.13-minimal (3.13.5-2) ... - Setting up libpython3.13-minimal:amd64 (3.13.5-2) ... - Setting up python3.13-minimal (3.13.5-2) ... - 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 ... 20454 files and directories currently installed.) - Preparing to unpack .../0-python3-minimal_3.13.5-1_amd64.deb ... - Unpacking python3-minimal (3.13.5-1) ... - Selecting previously unselected package media-types. - Preparing to unpack .../1-media-types_13.0.0_all.deb ... - Unpacking media-types (13.0.0) ... - Selecting previously unselected package readline-common. - Preparing to unpack .../2-readline-common_8.2-6_all.deb ... - Unpacking readline-common (8.2-6) ... - Selecting previously unselected package libreadline8t64:amd64. - Preparing to unpack .../3-libreadline8t64_8.2-6_amd64.deb ... - Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' - Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' - Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' - Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' - Unpacking libreadline8t64:amd64 (8.2-6) ... - Selecting previously unselected package libpython3.13-stdlib:amd64. - Preparing to unpack .../4-libpython3.13-stdlib_3.13.5-2_amd64.deb ... - Unpacking libpython3.13-stdlib:amd64 (3.13.5-2) ... - Selecting previously unselected package python3.13. - Preparing to unpack .../5-python3.13_3.13.5-2_amd64.deb ... - Unpacking python3.13 (3.13.5-2) ... - Selecting previously unselected package libpython3-stdlib:amd64. - Preparing to unpack .../6-libpython3-stdlib_3.13.5-1_amd64.deb ... - Unpacking libpython3-stdlib:amd64 (3.13.5-1) ... - Setting up python3-minimal (3.13.5-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 ... 20940 files and directories currently installed.) - Preparing to unpack .../00-python3_3.13.5-1_amd64.deb ... - Unpacking python3 (3.13.5-1) ... - Selecting previously unselected package libc6-i386. - Preparing to unpack .../01-libc6-i386_2.41-12_amd64.deb ... - Unpacking libc6-i386 (2.41-12) ... - Selecting previously unselected package lib32gcc-s1. - Preparing to unpack .../02-lib32gcc-s1_14.2.0-19_amd64.deb ... - Unpacking lib32gcc-s1 (14.2.0-19) ... - Selecting previously unselected package lib32stdc++6. - Preparing to unpack .../03-lib32stdc++6_14.2.0-19_amd64.deb ... - Unpacking lib32stdc++6 (14.2.0-19) ... - Selecting previously unselected package libgc1:amd64. - Preparing to unpack .../04-libgc1_1%3a8.2.8-1_amd64.deb ... - Unpacking libgc1:amd64 (1:8.2.8-1) ... - Selecting previously unselected package libobjc4:amd64. - Preparing to unpack .../05-libobjc4_14.2.0-19_amd64.deb ... - Unpacking libobjc4:amd64 (14.2.0-19) ... - Selecting previously unselected package libobjc-14-dev:amd64. - Preparing to unpack .../06-libobjc-14-dev_14.2.0-19_amd64.deb ... - Unpacking libobjc-14-dev:amd64 (14.2.0-19) ... - Selecting previously unselected package libxml2:amd64. - Preparing to unpack .../07-libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u2_amd64.deb ... - Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ... - Selecting previously unselected package libz3-4:amd64. - Preparing to unpack .../08-libz3-4_4.13.3-1_amd64.deb ... - Unpacking libz3-4:amd64 (4.13.3-1) ... - Selecting previously unselected package libllvm19:amd64. - Preparing to unpack .../09-libllvm19_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking libllvm19:amd64 (1:19.1.7-3+b1) ... - Selecting previously unselected package libclang1-19. - Preparing to unpack .../10-libclang1-19_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking libclang1-19 (1:19.1.7-3+b1) ... - Selecting previously unselected package libclang-common-19-dev:amd64. - Preparing to unpack .../11-libclang-common-19-dev_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking libclang-common-19-dev:amd64 (1:19.1.7-3+b1) ... - Selecting previously unselected package libclang-19-dev. - Preparing to unpack .../12-libclang-19-dev_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking libclang-19-dev (1:19.1.7-3+b1) ... - Selecting previously unselected package libclang-cpp19. - Preparing to unpack .../13-libclang-cpp19_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking libclang-cpp19 (1:19.1.7-3+b1) ... - Selecting previously unselected package libclang-cpp19-dev. - Preparing to unpack .../14-libclang-cpp19-dev_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking libclang-cpp19-dev (1:19.1.7-3+b1) ... - Selecting previously unselected package libclang-cpp-dev. - Preparing to unpack .../15-libclang-cpp-dev_1%3a19.0-63_amd64.deb ... - Unpacking libclang-cpp-dev (1:19.0-63) ... - Selecting previously unselected package libclang-dev. - Preparing to unpack .../16-libclang-dev_1%3a19.0-63_amd64.deb ... - Unpacking libclang-dev (1:19.0-63) ... - Selecting previously unselected package libclang-rt-19-dev:amd64. - Preparing to unpack .../17-libclang-rt-19-dev_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking libclang-rt-19-dev:amd64 (1:19.1.7-3+b1) ... - Selecting previously unselected package libffi-dev:amd64. - Preparing to unpack .../18-libffi-dev_3.4.8-2_amd64.deb ... - Unpacking libffi-dev:amd64 (3.4.8-2) ... - Selecting previously unselected package libncurses6:amd64. - Preparing to unpack .../19-libncurses6_6.5+20250216-2_amd64.deb ... - Unpacking libncurses6:amd64 (6.5+20250216-2) ... - Selecting previously unselected package libncurses-dev:amd64. - Preparing to unpack .../20-libncurses-dev_6.5+20250216-2_amd64.deb ... - Unpacking libncurses-dev:amd64 (6.5+20250216-2) ... - Selecting previously unselected package libpfm4:amd64. - Preparing to unpack .../21-libpfm4_4.13.0+git99-gc5587f9-1_amd64.deb ... - Unpacking libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ... - Selecting previously unselected package libxml2-dev:amd64. - Preparing to unpack .../22-libxml2-dev_2.12.7+dfsg+really2.9.14-2.1+deb13u2_amd64.deb ... - Unpacking libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ... - Selecting previously unselected package libyaml-0-2:amd64. - Preparing to unpack .../23-libyaml-0-2_0.2.5-2_amd64.deb ... - Unpacking libyaml-0-2:amd64 (0.2.5-2) ... - Selecting previously unselected package libz3-dev:amd64. - Preparing to unpack .../24-libz3-dev_4.13.3-1_amd64.deb ... - Unpacking libz3-dev:amd64 (4.13.3-1) ... - Selecting previously unselected package llvm-19-runtime. - Preparing to unpack .../25-llvm-19-runtime_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking llvm-19-runtime (1:19.1.7-3+b1) ... - Selecting previously unselected package llvm-runtime:amd64. - Preparing to unpack .../26-llvm-runtime_1%3a19.0-63_amd64.deb ... - Unpacking llvm-runtime:amd64 (1:19.0-63) ... - Selecting previously unselected package llvm-19-linker-tools. - Preparing to unpack .../27-llvm-19-linker-tools_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking llvm-19-linker-tools (1:19.1.7-3+b1) ... - Selecting previously unselected package llvm-19. - Preparing to unpack .../28-llvm-19_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking llvm-19 (1:19.1.7-3+b1) ... - Selecting previously unselected package llvm. - Preparing to unpack .../29-llvm_1%3a19.0-63_amd64.deb ... - Unpacking llvm (1:19.0-63) ... - Selecting previously unselected package python3-pygments. - Preparing to unpack .../30-python3-pygments_2.18.0+dfsg-2_all.deb ... - Unpacking python3-pygments (2.18.0+dfsg-2) ... - Selecting previously unselected package python3-yaml. - Preparing to unpack .../31-python3-yaml_6.0.2-1+b2_amd64.deb ... - Unpacking python3-yaml (6.0.2-1+b2) ... - Selecting previously unselected package llvm-19-tools. - Preparing to unpack .../32-llvm-19-tools_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking llvm-19-tools (1:19.1.7-3+b1) ... - Selecting previously unselected package llvm-19-dev. - Preparing to unpack .../33-llvm-19-dev_1%3a19.1.7-3+b1_amd64.deb ... - Unpacking llvm-19-dev (1:19.1.7-3+b1) ... - Selecting previously unselected package llvm-dev. - Preparing to unpack .../34-llvm-dev_1%3a19.0-63_amd64.deb ... - Unpacking llvm-dev (1:19.0-63) ... - Setting up media-types (13.0.0) ... - Setting up libpipeline1:amd64 (1.5.8-1) ... - Setting up libclang-common-19-dev:amd64 (1:19.1.7-3+b1) ... - Setting up libyaml-0-2:amd64 (0.2.5-2) ... - Setting up libffi-dev:amd64 (3.4.8-2) ... - Setting up libz3-4:amd64 (4.13.3-1) ... - Setting up libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ... - Setting up libncurses6:amd64 (6.5+20250216-2) ... - 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.8-1) ... - Setting up libc6-i386 (2.41-12) ... - Setting up readline-common (8.2-6) ... - Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ... - Setting up libllvm19:amd64 (1:19.1.7-3+b1) ... - Setting up libz3-dev:amd64 (4.13.3-1) ... - Setting up libncurses-dev:amd64 (6.5+20250216-2) ... - Setting up libclang1-19 (1:19.1.7-3+b1) ... - Setting up libobjc4:amd64 (14.2.0-19) ... - Setting up libobjc-14-dev:amd64 (14.2.0-19) ... - Setting up libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ... - Setting up lib32gcc-s1 (14.2.0-19) ... - Setting up lib32stdc++6 (14.2.0-19) ... - Setting up libreadline8t64:amd64 (8.2-6) ... - Setting up libclang-rt-19-dev:amd64 (1:19.1.7-3+b1) ... - Setting up llvm-19-linker-tools (1:19.1.7-3+b1) ... - Setting up libclang-19-dev (1:19.1.7-3+b1) ... - Setting up llvm-19-runtime (1:19.1.7-3+b1) ... - Setting up libpython3.13-stdlib:amd64 (3.13.5-2) ... - Setting up libpython3-stdlib:amd64 (3.13.5-1) ... - Setting up libclang-cpp19 (1:19.1.7-3+b1) ... - Setting up libclang-dev (1:19.0-63) ... - Setting up python3.13 (3.13.5-2) ... - Setting up python3 (3.13.5-1) ... - running python rtupdate hooks for python3.13... - running python post-rtupdate hooks for python3.13... - Setting up libclang-cpp19-dev (1:19.1.7-3+b1) ... - Setting up python3-pygments (2.18.0+dfsg-2) ... - Setting up libclang-cpp-dev (1:19.0-63) ... - Setting up llvm-runtime:amd64 (1:19.0-63) ... - Setting up llvm-19 (1:19.1.7-3+b1) ... - Setting up python3-yaml (6.0.2-1+b2) ... - Setting up llvm (1:19.0-63) ... - Setting up llvm-19-tools (1:19.1.7-3+b1) ... - Setting up llvm-19-dev (1:19.1.7-3+b1) ... - Setting up llvm-dev (1:19.0-63) ... - Processing triggers for base-files (13.8+deb13u2) ... - Processing triggers for libc-bin (2.41-12) ... [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=/usr/bin/llvm-config - ++ /usr/bin/llvm-config --version - + llvm_version=19.1.7 - + next_version=16 - ++ printf '19\n16' - ++ sort -n - ++ head -n1 - + '[' 16 = 16 ']' - + 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 19.1.7 ']' - ++ --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...