blob: 6bb0e29772ffb7871120353461318b87bf661d69 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
################################################################################
#
# @LIT_AUTOGENERATED_WARNING@
#
################################################################################
config.klee_src_root = "@KLEE_SOURCE_DIR@"
config.klee_obj_root = "@KLEE_BINARY_DIR@"
config.klee_tools_dir = "@KLEE_TOOLS_DIR@"
config.llvm_tools_dir = "@LLVM_TOOLS_DIR@"
# Needed to check if a hack needs to be applied
config.llvm_version_major = "@LLVM_VERSION_MAJOR@"
config.llvm_version_minor = "@LLVM_VERSION_MINOR@"
# Compilers
# FIXME: use llvmcc not llvmgcc
config.llvmgcc = "@LLVMCC@"
config.llvmgxx = "@LLVMCXX@"
config.cc = "@NATIVE_CC@"
config.cxx = "@NATIVE_CXX@"
config.O0opt = "-O0"
if @LLVM_VERSION_MAJOR@ >= 5:
config.O0opt += " -Xclang -disable-O0-optnone"
# Features
config.enable_uclibc = True if @ENABLE_UCLIBC@ == 1 else False
config.enable_posix_runtime = True if @ENABLE_POSIX_RUNTIME@ == 1 else False
config.have_selinux = True if @HAVE_SELINUX@ == 1 else False
config.enable_stp = True if @ENABLE_STP@ == 1 else False
config.enable_z3 = True if @ENABLE_Z3@ == 1 else False
config.enable_zlib = True if @HAVE_ZLIB_H@ == 1 else False
config.have_asan = True if @IS_ASAN_BUILD@ == 1 else False
config.have_ubsan = True if @IS_UBSAN_BUILD@ == 1 else False
# Add sanitizer list
config.environment['LSAN_OPTIONS'] = "suppressions=@KLEE_UTILS_DIR@/sanitizers/lsan.txt"
config.environment['UBSAN_OPTIONS'] = "suppressions=@KLEE_UTILS_DIR@/sanitizers/ubsan.txt"
# Current target
config.target_triple = "@TARGET_TRIPLE@"
# Path to libkleeRuntest
config.libkleeruntest = "@LIB_KLEE_RUN_TEST_PATH@"
# Let the main config do the real work.
try:
lit
except NameError:
# Use lit_config class
lit_config.load_config(config, "@KLEE_SOURCE_DIR@/test/lit.cfg")
else:
# Use old lit class
lit.load_config(config, "@KLEE_SOURCE_DIR@/test/lit.cfg")
|
