Merge pull request #3 from dopefishh/standard-maybe

[CleanReadLine.git] / Makefile

diff --git a/Makefile b/Makefile
index 46b3d7b..32b7372 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,19 @@
-SHELL:=/bin/bash
-CLM=clm
-CLMFLAGS=-nt -l -lreadline
+CLM:=clm
+CLMFLAGS:=-nt -l -lreadline -I $$CLEAN_HOME/lib/clean-platform/OS-Independent -I $$CLEAN_HOME/lib/Generics
+LIBRARYDIR:=Clean\ System\ Files
+BINARIES:=test
 
-all: test
+.PHONY: readline clean
+
+all: readline $(BINARIES)
+
+readline:
+       $(MAKE) -C $(LIBRARYDIR)
 
 %: %.icl
        $(CLM) $(CLMFLAGS) $(basename $<) -o $@
 
 clean:
-       $(RM) -v test Clean\ System\ Files/{ReadLine,test}.*
+       $(MAKE) -C $(LIBRARYDIR) clean
+       $(RM) -v $(BINARIES)
+       $(RM) -v $(addprefix $(LIBRARYDIR)/,$(addsuffix .*,$(BINARIES)))