Jiri Slaby
a9dc652101
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=102
31 lines
1.1 KiB
Diff
31 lines
1.1 KiB
Diff
From: Lukas Zaoral <lzaoral@redhat.com>
|
|
Date: Thu, 4 Mar 2021 15:12:03 +0100
|
|
Subject: llvm12: Add LLVM 12 to lit.cfg
|
|
Git-repo: https://github.com/lzaoral/klee.git
|
|
Git-commit: af84c2c765dd748083dada51f9182d7648eb974b
|
|
Patch-mainline: pr#1389
|
|
References: LLVM 12
|
|
|
|
Signed-off-by: Jiri Slaby <jslaby@suse.cz>
|
|
---
|
|
test/lit.cfg | 3 ++-
|
|
1 file changed, 2 insertions(+), 1 deletion(-)
|
|
|
|
diff --git a/test/lit.cfg b/test/lit.cfg
|
|
index a195a1dc..c79c44a5 100644
|
|
--- a/test/lit.cfg
|
|
+++ b/test/lit.cfg
|
|
@@ -157,7 +157,8 @@ 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 = set(["3.8", "3.9", "4.0", "5.0", "6.0", "7.0", "7.1", "8.0", "9.0", "10.0", "11.0", "11.1"])
|
|
+known_llvm_versions = { "3.8", "3.9", "4.0", "5.0", "6.0", "7.0", "7.1", "8.0",
|
|
+ "9.0", "10.0", "11.0", "11.1", "12.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.26.2
|
|
|