diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-10 12:09:01 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-10 12:09:01 +0100 |
| commit | eedf673e9dfa75d9d4180a53326c5b9668b69253 (patch) | |
| tree | f951a8b9d7b7bee2b48ae881ec465821c7472eea /Makefile.common | |
| parent | c91a035e51d2023133d4767eeb99bb8931710876 (diff) | |
| parent | 7b3275e87d826026986eaf3801e0350b3daeb3c8 (diff) | |
| download | klee-eedf673e9dfa75d9d4180a53326c5b9668b69253.tar.gz | |
Merge pull request #267 from ccadar/master
Enabling assertions by default for KLEE. While the instructions for …
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index 268de9f8..d3fd1e76 100644 --- a/Makefile.common +++ b/Makefile.common @@ -5,6 +5,10 @@ include $(LEVEL)/Makefile.config # Include LLVM's Master Makefile config and rules. include $(LLVM_OBJ_ROOT)/Makefile.config +# Assertions should be enabled by default for KLEE (but they can still +# be disabled by running make with DISABLE_ASSERTIONS=1 +DISABLE_ASSERTIONS := 0 + BUILDING_RUNTIME:=$(if $(or $(BYTECODE_LIBRARY),$(MODULE_NAME)),1,0) ifeq ($(BUILDING_RUNTIME),1) # @@ -12,7 +16,6 @@ ifeq ($(BUILDING_RUNTIME),1) # to override whatever the user may have said on the command line, # hence the use of override. # - override ENABLE_OPTIMIZED := $(RUNTIME_ENABLE_OPTIMIZED) override DISABLE_ASSERTIONS := $(RUNTIME_DISABLE_ASSERTIONS) override ENABLE_PROFILING := $(RUNTIME_ENABLE_PROFILING) |