ITADN

Build fails on Fedora 42 with [ERROR] Package llvm has no version 20-static-infer

#1982Openfabio-porcedda 创建于 2025-12-12
F
fabio-porceddacommented
Hi, I would like to build the main branch on Fedora 42, I've used the following commands: ``` $ docker run --privileged -v ~/work:/work -it docker.io/fedora:42 /bin/bash -l # dnf install -y pkgconf-pkg-config opam java-latest-openjdk-devel cmake ninja-build autoconf automake rsync gmp-devel sqlite-devel which zlib-ng-compat-devel perl-Digest-SHA patch clang # ./build-infer.sh -y ``` But it fails with the following error: ``` ... [11:21:26][ 59091] Installing our LLVM OCaml bindings... [*ERROR**][59091] *** ERROR 'Installing our LLVM OCaml bindings' [*ERROR**][59091] *** command: ' opam update local-llvm && opam install --yes --no-depext llvm.$llvm_version' [*ERROR**][59091] *** CWD: '/infer' [*ERROR**][59091] *** stdout: [*ERROR**][59091] [*ERROR**][59091] <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [*ERROR**][59091] [local-llvm] no changes from file://infer/dependencies/llvm/opam-repository [*ERROR**][59091] *** stderr: [*ERROR**][59091] [WARNING] Running as root is not recommended [*ERROR**][59091] [WARNING] Running as root is not recommended [*ERROR**][59091] [ERROR] Package llvm has no version 20-static-infer. make[1]: *** [Makefile:509: clang_setup] Error 5 make[1]: Leaving directory '/infer' make: *** [Makefile:503: opt] Error 2 ... ``` What is exactly the issue? How can I avoid it? Thanks
6 条评论