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

config.libcxx_include_dirs = ["@KLEE_LIBCXX_INCLUDE_PATH@"]
if len("@KLEE_LIBCXX_PLATFORM_INCLUDE_PATH@") > 0:
    config.libcxx_include_dirs.append("@KLEE_LIBCXX_PLATFORM_INCLUDE_PATH@")

# 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
config.clang = "@LLVMCC@"
config.clangxx = "@LLVMCXX@"

config.cc = "@NATIVE_CC@"
config.cxx = "@NATIVE_CXX@"

# NOTE: any changes to compiler flags also have to be applied to
#       test/Concrete/CMakeLists.txt
config.O0opt = "-O0 -Xclang -disable-O0-optnone"

config.sqlite3 = "@SQLITE_CLI@"

# Features
config.enable_uclibc = True if @SUPPORT_KLEE_UCLIBC@ == 1 else False
config.enable_posix_runtime = True if @ENABLE_POSIX_RUNTIME@ == 1 else False
config.enable_libcxx = True if @SUPPORT_KLEE_LIBCXX@ == 1 else False
config.enable_eh_cxx = True if @SUPPORT_KLEE_EH_CXX@ == 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
config.have_msan = True if @IS_MSAN_BUILD@ == 1 else False
config.have_32bit_support = True if @M32_SUPPORTED@ == 1 else False
config.have_sqlite3 = True if "@SQLITE_CLI@".strip() != "" else False

# Add sanitizer list
config.environment['LSAN_OPTIONS'] = "suppressions=@KLEE_UTILS_DIR@/sanitizers/lsan.txt"
config.environment['UBSAN_OPTIONS'] = "print_stacktrace=1,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")