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

only enable z3 when version > 4.7.1

Browse Source
This commit is contained in:
Sylvestre Ledru 2019-10-18 22:52:48 +02:00
parent 29cfc05b52
commit ff4ed1bf44
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
debian/rules vendored
View File

@ -70,6 +70,12 @@ ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' g++
GCC_VERSION := 4.9
endif
Z3_FLAG=
ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' libz3-dev) gt 4.7.0; echo $$?),0)
# Too old version of gcc. Force 4.9
Z3_FLAG = -DLLVM_ENABLE_Z3_SOLVER=ON
endif
FORCE_NOT_GCC_9_DISTRO := eoan bullseye sid
ifneq (,$(filter $(DISTRO),$(FORCE_NOT_GCC_9_DISTRO)))
# Force gcc before 9 (gcc 8 on Debian unstable) because it causes
@ -371,7 +377,7 @@ override_dh_auto_configure: preconfigure
-DLIBCLANG_LIBRARY_VERSION=$(SONAME_EXT) \
-DENABLE_LINKER_BUILD_ID=ON \
-DPOLLY_BUNDLED_JSONCPP=OFF \
-DLLVM_ENABLE_Z3_SOLVER=ON \
$(Z3_FLAG) \
-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD="AVR" \
-DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=ON \
-DCLANG_VENDOR=$(VENDOR) \