blob: ed7ba197dc6b16d8314a344f7a1919e36c01a421 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
#===- test/Makefile ----------------------------------------*- Makefile -*--===#
#
# The LLVM Compiler Infrastructure
#
# This file was developed by the LLVM research group and is distributed under
# the University of Illinois Open Source License. See LICENSE.TXT for details.
#
#===------------------------------------------------------------------------===#
LEVEL = ..
DIRS =
#
# Make llvm-lit the default for testing
#
all:: check-local
# Include other test rules
include Makefile.tests
#===------------------------------------------------------------------------===#
# llvm-lit testing support
#===------------------------------------------------------------------------===#
ULIMIT = ulimit -t 600 ; ulimit -d 512000 ;
ifdef VERBOSE
LIT_ARGS := -v
else
LIT_ARGS := -s -v
endif
ifdef TESTSUITE
LIT_TESTSUITE := $(TESTSUITE)
else
LIT_TESTSUITE := .
endif
# Older LLVM versions don't detect python at configure time
# so guess the location
ifndef PYTHON
# llvm-lit doesn't work with python3 so force python2
PYTHON := python2
endif
# Potential support in the future for multiple test suites
LIT_ALL_TESTSUITES := $(LIT_TESTSUITE)
check-local:: lit.site.cfg
$(Verb) $(MAKE) -s clean
$(Verb) ( $(ULIMIT) \
$(PYTHON) $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_TESTSUITE) )
$(Verb) klee_last_path=$$(find . -name klee-last | head -1); \
if [ ! -z "$$klee_last_path" ]; then \
echo "error: one of the tests failed to use --output-dir, found: $$klee_last_path"; \
exit 1; \
fi
check-local-all:: lit.site.cfg
$(Verb) ( $(ULIMIT) \
$(PYTHON) $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_ALL_TESTSUITES) )
clean::
$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name Output -type d -print`
$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name 'ft-out*' -type d -print`
$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name 'ft-last' -print`
$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name 'klee-last'`
$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name 'klee-out*'`
$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name '*~'`
$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name test.log`
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#@LLVM_VERSION_MINOR@#$(LLVM_VERSION_MINOR)#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" \
-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 > $@
|
