← 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-free.2.2.0" -> {"camlzip.1.13" "conf-autoconf.0.2" "menhir.20211128" "num.1.6" "ocaml.4.14.2" "ocplib-simplex.0.4.1" "psmt2-frontend.0.1" "zarith.1.14"}
"astring.0.8.5" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"base.v0.16.4" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2" "sexplib0.v0.16.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.4.14.2" "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.4.14.2"}
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.4.14.2"}
"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.4.14.2" "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.4.14.2" "re.1.14.0"}
"camlzip.1.13" -> {"conf-zlib.1" "ocaml.4.14.2" "ocamlfind.1.9.8"}
"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.4.14.2"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.4.14.2"}
"cstruct.6.2.0" -> {"dune.3.20.2" "fmt.0.11.0" "ocaml.4.14.2"}
"ctypes.0.24.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "integers.0.7.0" "ocaml.4.14.2"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.4.14.2"}
"dune-compiledb.0.6.0" -> {"dune.3.20.2" "ezjsonm.1.3.0" "fpath.0.7.3" "ocaml.4.14.2" "sexplib.v0.16.0" "sexplib0.v0.16.0"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.4.14.2"}
"dune-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.4.14.2" "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.4.14.2" "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.4.14.2" "sexplib0.v0.16.0" "uutf.1.0.4"}
"fmt.0.11.0" -> {"base-unix.base" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"fpath.0.7.3" -> {"astring.0.8.5" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"frama-c.32.0~beta" -> {"alt-ergo-free.2.2.0" "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.20211128" "ocaml.4.14.2" "ocamlgraph.2.2.0" "ppx_deriving.6.0.3" "ppx_deriving_yaml.0.4.0" "ppx_deriving_yojson.3.9.1" "ppx_inline_test.v0.16.1" "ppxlib.0.35.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"}
"hex.1.5.0" -> {"cstruct.6.2.0" "dune.3.20.2" "ocaml.4.14.2"}
"integers.0.7.0" -> {"dune.3.20.2" "ocaml.4.14.2" "stdlib-shims.0.3.0"}
"jane-street-headers.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"jsonm.1.0.2" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1" "uutf.1.0.4"}
"jst-config.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2" "ppx_assert.v0.16.0"}
"lablgtk3.3.1.5" -> {"cairo2.0.6.5" "camlp-streams.5.0.1" "conf-gtk3.18" "dune.3.20.2" "ocaml.4.14.2"}
"lablgtk3-sourceview3.3.1.5" -> {"camlp-streams.5.0.1" "conf-gtksourceview3.0+2" "dune.3.20.2" "lablgtk3.3.1.5" "ocaml.4.14.2"}
"logs.0.10.0" -> {"base-threads.base" "fmt.0.11.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"menhir.20211128" -> {"dune.3.20.2" "menhirLib.20211128" "menhirSdk.20211128" "ocaml.4.14.2"}
"menhirLib.20211128" -> {"dune.3.20.2" "ocaml.4.14.2"}
"menhirSdk.20211128" -> {"dune.3.20.2" "ocaml.4.14.2"}
"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.4.14.2";
"ocaml.4.14.2" -> {"ocaml-base-compiler.4.14.2" "ocaml-config.2"}
"ocaml-compiler-libs.v0.12.4" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ocaml-config.2" -> "ocaml-base-compiler.4.14.2";
"ocamlbuild.0.16.1" -> "ocaml.4.14.2";
"ocamlfind.1.9.8" -> "ocaml.4.14.2";
"ocamlgraph.2.2.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ocplib-simplex.0.4.1" -> {"conf-autoconf.0.2" "num.1.6" "ocaml.4.14.2" "ocamlfind.1.9.8"}
"ordering.3.20.2" -> {"dune.3.20.2" "ocaml.4.14.2"}
"parsexp.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2" "sexplib0.v0.16.0"}
"pcre2.8.0.4" -> {"conf-libpcre2-8.2" "dune.3.20.2" "dune-compiledb.0.6.0" "dune-configurator.3.20.2" "ocaml.4.14.2"}
"pp.2.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ppx_assert.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_here.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"}
"ppx_base.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_enumerate.v0.16.0" "ppx_globalize.v0.16.0" "ppx_hash.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"}
"ppx_cold.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_compare.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ppx_deriving.6.0.3" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.4.14.2" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.35.0"}
"ppx_deriving_yaml.0.4.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "yaml.3.2.0"}
"ppx_deriving_yojson.3.9.1" -> {"dune.3.20.2" "ocaml.4.14.2" "ppx_deriving.6.0.3" "ppxlib.0.35.0" "yojson.3.0.0"}
"ppx_enumerate.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_globalize.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_hash.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_compare.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"}
"ppx_here.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_inline_test.v0.16.1" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "time_now.v0.16.0"}
"ppx_optcomp.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "stdio.v0.16.0"}
"ppx_sexp_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "sexplib0.v0.16.0"}
"ppxlib.0.35.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.16.0" "stdlib-shims.0.3.0"}
"psmt2-frontend.0.1" -> {"conf-autoconf.0.2" "menhir.20211128" "ocaml.4.14.2" "ocamlfind.1.9.8"}
"re.1.14.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"rresult.0.7.0" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"sexplib.v0.16.0" -> {"dune.3.20.2" "num.1.6" "ocaml.4.14.2" "parsexp.v0.16.0" "sexplib0.v0.16.0"}
"sexplib0.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"stdio.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.4.14.2" "ordering.3.20.2" "pp.2.0.0"}
"time_now.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "jane-street-headers.v0.16.0" "jst-config.v0.16.0" "ocaml.4.14.2" "ppx_base.v0.16.0" "ppx_optcomp.v0.16.0"}
"topkg.1.1.1" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"unionFind.20250818" -> {"dune.3.20.2" "ocaml.4.14.2"}
"uutf.1.0.4" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"why3.1.8.2" -> {"camlzip.1.13" "menhir.20211128" "ocaml.4.14.2" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "ppx_deriving.6.0.3" "ppx_sexp_conv.v0.16.0" "sexplib.v0.16.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.4.14.2"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.14.2" "ocamlfind.1.9.8"}
}