diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-13 17:14:55 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:52 +0000 |
| commit | 9b45ab8822ec3336e137b68003103125c5a4f9ab (patch) | |
| tree | 5b8ee689da77fc4ed2f8c7824e77b7d84dd27c17 /test/Makefile | |
| parent | 70d6a3341a70f9daf0c3653a041b925e53ebafa2 (diff) | |
| download | klee-9b45ab8822ec3336e137b68003103125c5a4f9ab.tar.gz | |
Removed all of llvm-lit's dependence on DejaGNU. A few things
are now broken and will be fixed shortly.
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/Makefile b/test/Makefile index 6a0184e2..ea6624d0 100644 --- a/test/Makefile +++ b/test/Makefile @@ -111,11 +111,16 @@ site.exp: Makefile $(LEVEL)/Makefile.config @test ! -f site.exp || mv site.exp site.bak @mv site.tmp site.exp -lit.site.cfg: site.exp +lit.site.cfg: lit.site.cfg.in @echo "Making KLEE 'lit.site.cfg' file..." @sed -e "s#@KLEE_SOURCE_DIR@#$(PROJ_SRC_ROOT)#g" \ -e "s#@KLEE_BINARY_DIR@#$(PROJ_OBJ_ROOT)#g" \ -e "s#@KLEE_TOOLS_DIR@#$(ToolDir)#g" \ -e "s#@LLVM_TOOLS_DIR@#$(LLVMToolDir)#g" \ -e "s#@LLVM_VERSION_MAJOR@#$(LLVM_VERSION_MAJOR)#g" \ + -e "s#@LLVMCC@#$(KLEE_BITCODE_C_COMPILER) -I$(PROJ_SRC_ROOT)/include#g" \ + -e "s#@LLVMCXX@#$(KLEE_BITCODE_CXX_COMPILER) -I$(PROJ_SRC_ROOT)/include#g" \ + -e "s#@ENABLE_UCLIBC@#$(ENABLE_UCLIBC)#g" \ + -e "s#@ENABLE_POSIX_RUNTIME@#$(ENABLE_POSIX_RUNTIME)#g" \ + -e "s#@TARGET_TRIPLE@#$(TARGET_TRIPLE)#g" \ $(PROJ_SRC_DIR)/lit.site.cfg.in > $@ |