Merge pull request #1863 from ctSkennerton/patch-2

Update makefile
dib-lab · May 18, 2018 · 599cc34 · 599cc34
2 parents 5b38e1d + 56a708c
commit 599cc34
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/third-party/cqf/Makefile b/third-party/cqf/Makefile
@@ -23,6 +23,10 @@ ifdef P
 	PROFILE=-pg -no-pie # for bug in gprof.
 endif
 
+ifneq ($(INCLUDE),)
+	INCLUDE := -I$(INCLUDE)
+endif
+
 CXX = g++ -std=c++11 -fPIC
 CC = g++ -std=c++11 -fPIC
 LD= g++ -std=c++11