diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2011-05-18 21:48:50 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2011-05-18 21:48:50 +0000 |
| commit | 71d1412619448aa780f0864b976b06b15eb6a4e1 (patch) | |
| tree | 911e9dfb7eaa38d68884649ff578e7df00ce0d3f /Makefile.config.in | |
| parent | 4ea784dd4deaed11dffec28e7dab0f1eb3c4afc0 (diff) | |
| download | klee-71d1412619448aa780f0864b976b06b15eb6a4e1.tar.gz | |
Use local Makefile.rules
This patch changes the build system to use its own copy of Makefile.rules (taken from a recent svn snapshot). Also added a --with-llvm-build-mode flag and changed the default runtime library configuration to Release+Asserts. Makefile.rules was modified to support --with-llvm-build-mode and older versions of LLVM (tested 2.7 and 2.8). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@131584 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 4d9718db..a338f0d1 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -11,6 +11,10 @@ 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@ +# 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@) @@ -30,7 +34,7 @@ ENABLE_UCLIBC := @ENABLE_UCLIBC@ HAVE_SELINUX := @HAVE_SELINUX@ RUNTIME_ENABLE_OPTIMIZED := @RUNTIME_ENABLE_OPTIMIZED@ -RUNTIME_DISABLE_ASSERTIONS := +RUNTIME_DISABLE_ASSERTIONS := @RUNTIME_DISABLE_ASSERTIONS@ RUNTIME_ENABLE_COVERAGE := RUNTIME_ENABLE_PROFILING := @@ -46,3 +50,5 @@ endif CFLAGS := @CFLAGS@ CXXFLAGS := @CXXFLAGS@ LDFLAGS := @LDFLAGS@ + +REQUIRES_RTTI := @REQUIRES_RTTI@ |