proxmox-mirrors/llvm-toolchain
1
0
Fork 0
mirror of https://git.proxmox.com/git/llvm-toolchain synced 2025-07-27 17:54:35 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

* Build without z3 on sh4 (ftbfs).

Browse Source
This commit is contained in:
Matthias Klose 2024-08-31 22:17:11 +02:00
parent 9947c34d08
commit 040529cc72
4 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
debian/changelog vendored
View File

@ -2,6 +2,7 @@ llvm-toolchain-19 (1:19.1.0~++rc3-3) UNRELEASED; urgency=medium
* Also explicitly link with -latomic on mips64el. * Also explicitly link with -latomic on mips64el.
* Disable openmp on loong64 (ld: cannot find -lomptarget.rtl.host). * Disable openmp on loong64 (ld: cannot find -lomptarget.rtl.host).
* Build without z3 on sh4 (ftbfs).
-- Matthias Klose <doko@debian.org> Sat, 31 Aug 2024 20:22:25 +0200 -- Matthias Klose <doko@debian.org> Sat, 31 Aug 2024 20:22:25 +0200

2
debian/control vendored
View File

@ -23,7 +23,7 @@ Build-Depends: debhelper (>= 10.0), cmake, ninja-build,
ocaml-findlib [amd64 arm64 ppc64el riscv64 s390x], ocaml-findlib [amd64 arm64 ppc64el riscv64 s390x],
libctypes-ocaml-dev [amd64 arm64 ppc64el riscv64 s390x], libctypes-ocaml-dev [amd64 arm64 ppc64el riscv64 s390x],
dh-exec, dh-ocaml [amd64 arm64 ppc64el riscv64 s390x], dh-exec, dh-ocaml [amd64 arm64 ppc64el riscv64 s390x],
libpfm4-dev [linux-any], python3-setuptools, libz3-dev, libpfm4-dev [linux-any], python3-setuptools, libz3-dev [!sh4],
# "| hello" is for older buster/bionic distros without spirv support # "| hello" is for older buster/bionic distros without spirv support
# We need to keep the constraints coherent between the two alternatives, otherwise # We need to keep the constraints coherent between the two alternatives, otherwise
# hello would get installed unexpectedly and prevent e.g. wasi-libc from getting pulled # hello would get installed unexpectedly and prevent e.g. wasi-libc from getting pulled

2
debian/control.in vendored
View File

@ -23,7 +23,7 @@ Build-Depends: debhelper (>= 10.0), cmake, ninja-build,
ocaml-findlib [@OCAML_ARCHS@], ocaml-findlib [@OCAML_ARCHS@],
libctypes-ocaml-dev [@OCAML_ARCHS@], libctypes-ocaml-dev [@OCAML_ARCHS@],
dh-exec, dh-ocaml [@OCAML_ARCHS@], dh-exec, dh-ocaml [@OCAML_ARCHS@],
libpfm4-dev [linux-any], python3-setuptools, libz3-dev, libpfm4-dev [linux-any], python3-setuptools, libz3-dev [!sh4],
# "| hello" is for older buster/bionic distros without spirv support # "| hello" is for older buster/bionic distros without spirv support
# We need to keep the constraints coherent between the two alternatives, otherwise # We need to keep the constraints coherent between the two alternatives, otherwise
# hello would get installed unexpectedly and prevent e.g. wasi-libc from getting pulled # hello would get installed unexpectedly and prevent e.g. wasi-libc from getting pulled

7
debian/rules vendored
View File

@ -191,10 +191,9 @@ endif
Z3_FLAG = -DLLVM_ENABLE_Z3_SOLVER=OFF Z3_FLAG = -DLLVM_ENABLE_Z3_SOLVER=OFF
ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' libz3-dev) gt 4.7.0; echo $$?),0) ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' libz3-dev) gt 4.7.0; echo $$?),0)
# no ocaml support in main for Ubuntu ifeq (,$(filter $(DEB_HOST_ARCH),sh4))
ifeq ($(DERIVATIVE),Debian) Z3_FLAG = -DLLVM_ENABLE_Z3_SOLVER=ON
Z3_FLAG = -DLLVM_ENABLE_Z3_SOLVER=ON endif
endif
endif endif
STAGE_2_CMAKE_EXTRA += $(Z3_FLAG) STAGE_2_CMAKE_EXTRA += $(Z3_FLAG)