diff options
author | MartinNowack <martin.nowack@gmail.com> | 2015-12-02 22:32:31 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2015-12-02 22:32:31 +0100 |
commit | 1445935b5e77dc882a686d32c6e629afb899c5b2 (patch) | |
tree | 5343b81f94ce338704998a7424702dbc0ea53e45 | |
parent | ca9f27d9192b55ba52606feb8f34b6947b462133 (diff) | |
parent | 59ee7b15e3ffc20a60a4a4c6dfa6f3375c1b5592 (diff) | |
download | klee-1445935b5e77dc882a686d32c6e629afb899c5b2.tar.gz |
Merge pull request #309 from msoos/fixstrong3
Removing -fstack-protector-strong for clang <= 3.4
-rw-r--r-- | Makefile.common | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.common b/Makefile.common index d3fd1e76..7b210118 100644 --- a/Makefile.common +++ b/Makefile.common @@ -5,6 +5,13 @@ include $(LEVEL)/Makefile.config # Include LLVM's Master Makefile config and rules. include $(LLVM_OBJ_ROOT)/Makefile.config +# Filters out -fstack-protector-strong which is not understood by clang 3.4 or below +# yet is present in Makefile.config of some distros such as Debian Jessie +ifeq ($(shell test $(LLVM_VERSION_MAJOR) -le 3 -a $(LLVM_VERSION_MINOR) -le 4; echo $$?),0) + CFLAGS := $(filter-out -fstack-protector-strong,$(CFLAGS)) + CXXFLAGS := $(filter-out -fstack-protector-strong,$(CXXFLAGS)) +endif + # Assertions should be enabled by default for KLEE (but they can still # be disabled by running make with DISABLE_ASSERTIONS=1 DISABLE_ASSERTIONS := 0 |