diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index c916a456..452cc1a1 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -11,6 +11,9 @@ LLVM_SRC_ROOT = @LLVM_SRC@ # (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@ @@ -26,6 +29,9 @@ PROJ_INSTALL_ROOT := @prefix@ STP_ROOT := @STP_ROOT@ +ENABLE_METASMT := @ENABLE_METASMT@ +METASMT_ROOT := @METASMT_ROOT@ + ENABLE_POSIX_RUNTIME := @ENABLE_POSIX_RUNTIME@ ENABLE_STPLOG := @ENABLE_STPLOG@ ENABLE_UCLIBC := @ENABLE_UCLIBC@ @@ -34,9 +40,14 @@ HAVE_SELINUX := @HAVE_SELINUX@ 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@ + # A list of "features" which tests can check for in XFAIL: TEST_FEATURE_LIST := @@ -46,9 +57,12 @@ else TEST_FEATURE_LIST += no-selinux endif -CFLAGS := @CFLAGS@ -CXXFLAGS := @CXXFLAGS@ -LDFLAGS := @LDFLAGS@ +# disable unwind test +TEST_FEATURE_LIST += no-unwind + +CFLAGS := @CFLAGS@ -Wall -g +CXXFLAGS := @CXXFLAGS@ -g -Wall +LDFLAGS := @LDFLAGS@ -g REQUIRES_RTTI := @REQUIRES_RTTI@ RUNTEST := @RUNTEST@ |