1 files changed, 8 insertions, 0 deletions
diff --git a/test/lit.site.cfg.in b/test/lit.site.cfg.in
new file mode 100644
index 00000000..ec92b32d
--- /dev/null
+++ b/test/lit.site.cfg.in
@@ -0,0 +1,8 @@
+## 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@"
+
+# Let the main config do the real work.
+lit.load_config(config, "@KLEE_SOURCE_DIR@/test/lit.cfg")