blob: d9572f7d0e59ac77621c96d6813880c7f423b289 (
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
|
# -*- Makefile -*-
# Set the name of the project here
PROJECT_NAME := @PACKAGE_NAME@
PROJ_VERSION := @PACKAGE_VERSION@
# Set this variable to the top of the LLVM source tree.
LLVM_SRC_ROOT = @LLVM_SRC@
# Set this variable to the top level directory where LLVM was built
# (this is *not* the same as OBJ_ROOT as defined in LLVM's Makefile.config).
LLVM_OBJ_ROOT = @LLVM_OBJ@
LLVM_VERSION_MAJOR = @LLVM_VERSION_MAJOR@
LLVM_VERSION_MINOR = @LLVM_VERSION_MINOR@
# Set this to the build mode used to build LLVM (not necessarily the same
# as the build mode used for KLEE)
LLVM_BUILD_MODE = @LLVM_BUILD_MODE@
# Set the directory root of this project's source files
PROJ_SRC_ROOT := $(subst //,/,@abs_top_srcdir@)
# Set the root directory of this project's object files
PROJ_OBJ_ROOT := $(subst //,/,@abs_top_builddir@)
# Set the root directory of this project's install prefix
PROJ_INSTALL_ROOT := @prefix@
KLEE_USE_CXX11 := @KLEE_USE_CXX11@
ENABLE_STP := @ENABLE_STP@
STP_CFLAGS := @STP_CFLAGS@
STP_LDFLAGS := @STP_LDFLAGS@
ENABLE_METASMT := @ENABLE_METASMT@
METASMT_ROOT := @METASMT_ROOT@
METASMT_DEFAULT_BACKEND := @METASMT_DEFAULT_BACKEND@
ENABLE_Z3 := @ENABLE_Z3@
Z3_CFLAGS := @Z3_CFLAGS@
Z3_LDFLAGS := @Z3_LDFLAGS@
ENABLE_POSIX_RUNTIME := @ENABLE_POSIX_RUNTIME@
ENABLE_UCLIBC := @ENABLE_UCLIBC@
KLEE_UCLIBC_BCA := @KLEE_UCLIBC_BCA@
HAVE_SELINUX := @HAVE_SELINUX@
HAVE_TCMALLOC := @HAVE_TCMALLOC@
TCMALLOC_LIB := @TCMALLOC_LIB@
HAVE_ZLIB := @HAVE_ZLIB@
RUNTIME_ENABLE_OPTIMIZED := @RUNTIME_ENABLE_OPTIMIZED@
RUNTIME_DISABLE_ASSERTIONS := @RUNTIME_DISABLE_ASSERTIONS@
RUNTIME_DEBUG_SYMBOLS := @RUNTIME_DEBUG_SYMBOLS@
RUNTIME_ENABLE_COVERAGE :=
RUNTIME_ENABLE_PROFILING :=
# Compilers used to build runtime library and run tests
KLEE_BITCODE_C_COMPILER := @KLEE_BITCODE_C_COMPILER@
KLEE_BITCODE_CXX_COMPILER := @KLEE_BITCODE_CXX_COMPILER@
# Host compiler
KLEE_HOST_C_COMPILER := @KLEE_HOST_C_COMPILER@
KLEE_HOST_CXX_COMPILER := @KLEE_HOST_CXX_COMPILER@
# A list of "features" which tests can check for in XFAIL:
TEST_FEATURE_LIST :=
ifeq ($(HAVE_SELINUX_SELINUX_H),1)
TEST_FEATURE_LIST += have-selinux
else
TEST_FEATURE_LIST += no-selinux
endif
# disable unwind test
TEST_FEATURE_LIST += no-unwind
CFLAGS := @CFLAGS@ -Wall -g
CXXFLAGS := @CXXFLAGS@ -g -Wall
LDFLAGS := @LDFLAGS@ -g
REQUIRES_RTTI := @REQUIRES_RTTI@
|
