X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=Makefile;h=b2f9ba17afffa70f2fb249cc73f0a1476f32c75f;hp=5a4b7a2efae00bd428034ec5326219dbaedde98b;hb=123e1c84b369e6f1c7b28c72e6902e4742628be4;hpb=9110bf71c8d4f1d1da5327f3afc0d0b1bdab8c02

diff --git a/Makefile b/Makefile
index 5a4b7a2..b2f9ba1 100644
--- a/Makefile
+++ b/Makefile
@@ -1,14 +1,70 @@
-.PHONY: build check doc clean
+.PHONY: all build gtags check doc info html doc-inner install uninstall install-info uninstall-info install-casl2lib uninstall-casl2lib clean clean-src clean-gtags clean-test clean-doc clean-doc-inner
+
+GTAGS ?= gtags
+RMF ?= rm -f
+WHICH ?= which
+ECHO ?= echo
+INSTALL ?= install
+
+prefix ?= ~
+bindir ?= $(prefix)/bin
+casl2libdir ?= $(prefix)/yacasl2/casl2lib
+
+all: build info html gtags
 
 build:
-	make -C src
+	$(MAKE) -C src all
+
+gtags:
+	@$(WHICH) $(GTAGS) >/dev/null && $(GTAGS) || $(ECHO) "$(GTAGS): not found"
+
+docall: doc
+	$(MAKE) -C doc all
+
+info:
+	$(MAKE) -C doc info
+
+html:
+	$(MAKE) -C doc html
+
+doc-inner:
+	$(MAKE) -C doc_inner all
 
 check:
-	@make -sC test/system
+	$(MAKE) -sC test/system
+
+install: casl2 comet2 dumpword install-info install-casl2lib
+	$(INSTALL) -d $(bindir)
+	$(INSTALL) casl2 comet2 dumpword $(bindir)/
+
+uninstall: uninstall-info uninstall-casl2lib
+	$(RMF) $(bindir)/casl2 $(bindir)/comet2 $(bindir)/dumpword
+
+install-info:
+	$(MAKE) -C doc install-info
+
+uninstall-info:
+	@$(MAKE) -C doc uninstall-info
+
+install-casl2lib:
+	$(MAKE) -C as/casl2lib install-casl2lib
+
+uninstall-casl2lib:
+	@$(MAKE) -C as/casl2lib uninstall-casl2lib
+
+clean: clean-src clean-gtags clean-doc clean-doc-inner
+
+clean-src:
+	@$(MAKE) -sC src clean
+
+clean-gtags:
+	@$(RMF) GPATH GRTAGS GSYMS GTAGS
+
+clean-doc:
+	@$(MAKE) -sC doc clean
 
-doc:
-	@make -sC doc
+clean-doc-inner:
+	@$(MAKE) -sC doc_inner clean
 
-clean:
-	@for target in src test/integration test/unit as/casl2lib; do $(MAKE) -sC $$target clean; done;
-	@rm -f casl2 comet2 dumpword
+clean-test:
+	@$(MAKE) -sC test clean