diff options
Diffstat (limited to 'test/Concrete/Makefile.cmake.test.in')
| -rw-r--r-- | test/Concrete/Makefile.cmake.test.in | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/test/Concrete/Makefile.cmake.test.in b/test/Concrete/Makefile.cmake.test.in new file mode 100644 index 00000000..feb879de --- /dev/null +++ b/test/Concrete/Makefile.cmake.test.in @@ -0,0 +1,48 @@ +#===------------------------------------------------------------------------===# +# +# The KLEE Symbolic Virtual Machine +# +# This file is distributed under the University of Illinois Open Source +# License. See LICENSE.TXT for details. +# +#===------------------------------------------------------------------------===# +# +# @AUTO_GEN_MSG@ +# +#===------------------------------------------------------------------------===# +LLVMCC := @LLVMCC@ +LLVMAS := @LLVM_AS@ +LLVMLINK := @LLVM_LINK@ +LLVMCC.CFlags := -O0 -Wall + +# Make sure source files can match the pattern rules +VPATH := @CMAKE_CURRENT_SOURCE_DIR@ + +Output/.dir: + mkdir -p $@ + +clean:: + -rm -rf Output/ + +Output/%.bc: %.c Output/.dir + $(LLVMCC) -emit-llvm -c $(LLVMCC.CFlags) $< -o $@ + +Output/%.bc: %.ll $(LLVMAS) Output/.dir + $(LLVMAS) -f $< -o $@ + +# We build a separate testingUtils bitcode for each test, to make sure parallel +# tests don't interact with one another. +Output/%_testingUtils.bc: _testingUtils.c Output/.dir + $(LLVMCC) -emit-llvm -c $(LLVMCC.CFlags) $< -o $@ + +Output/linked_%.bc: Output/%.bc Output/%_testingUtils.bc + $(LLVMLINK) $< Output/$*_testingUtils.bc -o $@ + +.PRECIOUS: Output/.dir + +## Cancel built-in implicit rules that override above rules +%: %.s + +%: %.c + +%.o: %.c |