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/Makefile | |
| 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/Makefile')
| -rw-r--r-- | test/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/Makefile b/test/Makefile index 0b176769..ed7ba197 100644 --- a/test/Makefile +++ b/test/Makefile @@ -84,4 +84,7 @@ lit.site.cfg: lit.site.cfg.in -e "s#@HAVE_SELINUX@#$(HAVE_SELINUX)#g" \ -e "s#@ENABLE_STP@#$(ENABLE_STP)#g" \ -e "s#@ENABLE_Z3@#$(ENABLE_Z3)#g" \ + -e "s#@NATIVE_CC@#$(CC) -I$(PROJ_SRC_ROOT)/include#g" \ + -e "s#@NATIVE_CXX@#$(CXX) -I$(PROJ_SRC_ROOT)/include#g" \ + -e "s#@LIB_KLEE_RUN_TEST_PATH@#$(SharedLibDir)/$(SharedPrefix)kleeRuntest$(SHLIBEXT)#g" \ $(PROJ_SRC_DIR)/lit.site.cfg.in > $@ |