about summary refs log tree commit diff homepage
path: root/test/lit.site.cfg.in
blob: 8e2d79a40a14827fb91f81974e4b16531a8a686a (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
## Autogenerated by LLVM/Clang configuration.
# Do not edit!
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@"

# 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

# Current target
config.target_triple = "@TARGET_TRIPLE@"

# 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")