From 245af7d5da0769700263e9e2308346413474a37f477370704a846570aa591016 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Tue, 6 Sep 2022 09:27:02 +0000 Subject: [PATCH] Switch to LLVM 14. OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=116 --- 0001-llvm14-Add-LLVM-14-to-lit.cfg.patch | 29 ++++++++++++++++++++++++ klee.changes | 1 + klee.spec | 7 +++--- 3 files changed, 34 insertions(+), 3 deletions(-) create mode 100644 0001-llvm14-Add-LLVM-14-to-lit.cfg.patch diff --git a/0001-llvm14-Add-LLVM-14-to-lit.cfg.patch b/0001-llvm14-Add-LLVM-14-to-lit.cfg.patch new file mode 100644 index 0000000..802da80 --- /dev/null +++ b/0001-llvm14-Add-LLVM-14-to-lit.cfg.patch @@ -0,0 +1,29 @@ +From: =?UTF-8?q?Luk=C3=A1=C5=A1=20Zaoral?= +Date: Sat, 5 Mar 2022 13:44:24 +0100 +Subject: llvm14: Add LLVM 14 to lit.cfg +Git-repo: https://github.com/lzaoral/klee#llvm14 +Git-commit: 87b74ea337994d2a564bd583004ef4ae3d0bd2ce +Patch-mainline: no +References: llvm 14 + +Signed-off-by: Jiri Slaby +--- + test/lit.cfg | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/test/lit.cfg b/test/lit.cfg +index 4d7382cf..c935ab8e 100644 +--- a/test/lit.cfg ++++ b/test/lit.cfg +@@ -161,7 +161,7 @@ config.substitutions.append( + + # Add feature for the LLVM version in use, so it can be tested in REQUIRES and + # XFAIL checks. We also add "not-XXX" variants, for the same reason. +-known_llvm_versions = { "9.0", "10.0", "11.0", "11.1", "12.0", "13.0" } ++known_llvm_versions = { "9.0", "10.0", "11.0", "11.1", "12.0", "13.0", "14.0" } + current_llvm_version_tuple = (int(config.llvm_version_major), int(config.llvm_version_minor)) + current_llvm_version = "%s.%s" % current_llvm_version_tuple + +-- +2.35.3 + diff --git a/klee.changes b/klee.changes index 55db9c1..7ff6e5c 100644 --- a/klee.changes +++ b/klee.changes @@ -2,6 +2,7 @@ Tue Sep 6 09:21:23 UTC 2022 - Jiri Slaby - add llvm 14 support + * 0001-llvm14-Add-LLVM-14-to-lit.cfg.patch * 0001-Module-InstructionOperandTypeCheckPass-Fix-Wbitwise-.patch * 0002-llvm14-TargetRegistry.h-was-moved-from-Support-to-MC.patch * 0003-llvm14-PointerType-getElementType-was-deprecated.patch diff --git a/klee.spec b/klee.spec index f6e5d8d..9f96e39 100644 --- a/klee.spec +++ b/klee.spec @@ -39,9 +39,10 @@ Source1: %{name}-rpmlintrc Source2: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version_major}.0.0/llvm/utils/not/not.cpp Source3: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version_major}.0.0/llvm/utils/FileCheck/FileCheck.cpp Patch0: 0001-test-disable-until-it-is-fixed.patch -Patch1: 0001-Module-InstructionOperandTypeCheckPass-Fix-Wbitwise-.patch -Patch2: 0002-llvm14-TargetRegistry.h-was-moved-from-Support-to-MC.patch -Patch3: 0003-llvm14-PointerType-getElementType-was-deprecated.patch +Patch1: 0001-llvm14-Add-LLVM-14-to-lit.cfg.patch +Patch2: 0001-Module-InstructionOperandTypeCheckPass-Fix-Wbitwise-.patch +Patch3: 0002-llvm14-TargetRegistry.h-was-moved-from-Support-to-MC.patch +Patch4: 0003-llvm14-PointerType-getElementType-was-deprecated.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake BuildRequires: gperftools-devel