diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-01-16 16:36:42 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-16 16:36:42 +0000 |
| commit | aedbca881945da47005835a405188041b40ae7cc (patch) | |
| tree | 84c553f78bc9e8bdcdd5b7aa2e2c9c78d84494dc /test/lit.site.cfg.in | |
| parent | 23e656156e4790a06a295d48932db53f2a582227 (diff) | |
| parent | dcc709dd23fc8a50d5dc087d4d5961dea041bf01 (diff) | |
| download | klee-aedbca881945da47005835a405188041b40ae7cc.tar.gz | |
Merge pull request #566 from delcypher/fix_libkleeruntest
Fixes and testing for libkleeRuntest
Diffstat (limited to 'test/lit.site.cfg.in')
| -rw-r--r-- | test/lit.site.cfg.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/lit.site.cfg.in b/test/lit.site.cfg.in index 5aff44ab..e53b1327 100644 --- a/test/lit.site.cfg.in +++ b/test/lit.site.cfg.in @@ -14,6 +14,9 @@ config.llvm_version_minor = "@LLVM_VERSION_MINOR@" config.llvmgcc = "@LLVMCC@" config.llvmgxx = "@LLVMCXX@" +config.cc = "@NATIVE_CC@" +config.cxx = "@NATIVE_CXX@" + # Features config.enable_uclibc = True if @ENABLE_UCLIBC@ == 1 else False config.enable_posix_runtime = True if @ENABLE_POSIX_RUNTIME@ == 1 else False @@ -24,6 +27,9 @@ config.enable_z3 = True if @ENABLE_Z3@ == 1 else False # 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 |