diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-20 08:06:05 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-20 08:06:35 +0100 |
| commit | b19ebd8c84c58c3b19c13a20f4efe180e41ac540 (patch) | |
| tree | 7f8d25e783a345fda6ee283aa308f534fac5eb9d /Makefile | |
| parent | 9933b78872f59fd092be0b473d9ca7e7f757e1c3 (diff) | |
| parent | 6bbd00570d30de615e695f00f40c6592b76fd8ed (diff) | |
| download | sparse-dev-b19ebd8c84c58c3b19c13a20f4efe180e41ac540.tar.gz | |
Merge branch 'cleanup'
* small build cleanup related to LLVM
* build: only need includedir from llvm-config
* build: check if sparse-llvm needs libc++
* small cleanup
* remove unneeded declarations in "compat.h"
* remove unused arg in add_branch()
* allocate BBs only after initial checks in linearize_short_conditional()
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -160,9 +160,10 @@ ifeq ($(shell expr "$(LLVM_VERSION)" : '[3-9]\.'),2) LLVM_PROGS := sparse-llvm $(LLVM_PROGS): LD := g++ LLVM_LDFLAGS := $(shell $(LLVM_CONFIG) --ldflags) -LLVM_CFLAGS := $(shell $(LLVM_CONFIG) --cflags | sed -e "s/-DNDEBUG//g" | sed -e "s/-pedantic//g") +LLVM_CFLAGS := -I$(shell $(LLVM_CONFIG) --includedir) LLVM_LIBS := $(shell $(LLVM_CONFIG) --libs) LLVM_LIBS += $(shell $(LLVM_CONFIG) --system-libs 2>/dev/null) +LLVM_LIBS += $(shell $(LLVM_CONFIG) --cxxflags | grep -F -q -e '-stdlib=libc++' && echo -lc++) PROGRAMS += $(LLVM_PROGS) INST_PROGRAMS += sparse-llvm sparsec sparse-llvm-cflags := $(LLVM_CFLAGS) |