X-Git-Url: https://git.danieliu.xyz/?p=ekitaihs.git;a=blobdiff_plain;f=makefile;h=7adebc76c93bdf86e9c73709635e5cf593edfc4f;hp=76cecb7b6d1dfe8f201ce6ade58e39912514b13f;hb=HEAD;hpb=4de2980e358a4ed8bb05e615a3fee16215b03c1f diff --git a/makefile b/makefile index 76cecb7..7adebc7 100644 --- a/makefile +++ b/makefile @@ -1,9 +1,11 @@ - HC=ghc DHC=ghci HFLAGS=-dynamic -threaded +PREFIX=/usr +SAMPLEPREFIX=$(PREFIX)/share +MANPREFIX=$(PREFIX)/share/man -.PHONY: ekitai clean test +.PHONY: ekitai clean test install uninstall ekitai: Ekitai.hs $(HC) $(HFLAGS) --make $< && \ @@ -14,3 +16,18 @@ test: Ekitai.hs clean: 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 + mkdir -p $(DESTDIR)$(SAMPLEPREFIX)/ekitai + cp -r samples $(DESTDIR)$(SAMPLEPREFIX)/ekitai + +uninstall: + rm -rf $(DESTDIR)$(PREFIX)/bin/ekitai \ + $(DESTDIR)$(MANPREFIX)/man1/ekitai.1 \ + $(DESTDIR)$(SAMPLEPREFIX)/ekitai +