issue #44: add SHARED_INCLUDE_DIR

Was lost during a merge conflict resolution. Signed-off-by: Matteo Cafasso <noxdafox@gmail.com>
noxdafox · May 22, 2021 · 1a8454d · 1a8454d
1 parent f0ce8c9
commit 1a8454d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -3,6 +3,7 @@ CLIPS_VERSION		?= 6.40
 CLIPS_SOURCE_URL	?= "https://sourceforge.net/projects/clipsrules/files/CLIPS/6.40/clips_core_source_640.zip"
 MAKEFILE_NAME		?= makefile
 SHARED_LIBRARY_DIR	?= /usr/lib
+SHARED_INCLUDE_DIR	?= /usr/local/include
 
 # platform detection
 PLATFORM = $(shell uname -s)