X-Git-Url: https://git.danieliu.xyz/?a=blobdiff_plain;f=makefile;h=935a541f83d53040ee2f180263189bcc9c39dcfa;hb=533f6eec9dc6d17a5cb0fb8f77d175f5d4392b42;hp=9960bb74d3b09082fd39b9242ea2a5f810e8d1d4;hpb=c68579ccc2b03996eec6ac5c1526d6e5d20c3c78;p=ekitaihs.git

diff --git a/makefile b/makefile
index 9960bb7..935a541 100644
--- a/makefile
+++ b/makefile
@@ -1,15 +1,29 @@
-
 HC=ghc
 DHC=ghci
 HFLAGS=-dynamic -threaded
+PREFIX=/usr
+MANPREFIX=$(PREFIX)/share/man
 
 .PHONY: ekitai clean test
 
 ekitai: Ekitai.hs
-	$(HC) $(HFLAGS) --make $<
+	$(HC) $(HFLAGS) --make $< && \
+		mv Ekitai ekitai
 
 test: Ekitai.hs
 	$(DHC) $<
 
 clean:
-	rm Ekitai *.o *.hi
+	rm ekitai *.o *.hi
+
+install: ekitai
+	mkdir -p $(DESTDIR)$(PREFIX)/bin
+	cp -f ekitai $(DESTDIR)$(PREFIX)/bin
+	chmod 775 $(DESTDIR)$(PREFIX)/bin/ekitai
+	mkdir -p $(DESTDIR)$(MANPREFIX)/man1
+	cp -f ekitai.1 $(DESTDIR)$(MANPREFIX)/man1
+
+uninstall:
+	rm -f $(DESTDIR)$(PREFIX)/bin/ekitai \
+		$(DESTDIR)$(MANPREFIX)/man1/ekitai.1
+