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 · 8f8948a · 8f8948a
1 parent f0ce8c9
commit 8f8948a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -2,7 +2,8 @@ PYTHON			?= python
 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
+SHARED_LIBRARY_DIR	?= /usr/local/lib
 
 # platform detection
 PLATFORM = $(shell uname -s)