From 24b768da8925d0a1aeba34344e875bfd386af100 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 2 Nov 2016 10:59:53 +0100
Subject: Update CleanReadLine

---
 Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4ac4243..3fa6c3d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,12 @@
 CFLAGS=-std=c99 -Wall -O0 -c
 CLM=clm
-CLMFLAGS=-I CleanReadLine -l -lreadline -l compile.o -nr -nt
+CLMFLAGS=\
+	-I $$CLEAN_HOME/lib/clean-platform/OS-Independent\
+	-I $$CLEAN_HOME/lib/Generics\
+	-I CleanReadLine\
+	-l -lreadline\
+	-l compile.o\
+	-nr -nt
 
 all: iclean
 
@@ -15,7 +21,7 @@ iclean: compile.o iclean.icl readline ExtraString.*
 	$(CLM) $(CLMFLAGS) iclean -o iclean
 
 readline: FORCE
-	make -C CleanReadLine
+	$(MAKE) -C CleanReadLine readline
 
 run: iclean
 	./iclean
-- 
cgit v1.2.3