X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=Makefile;h=e88b56faad67ae6d4634227cf62bb20bba5a3662;hp=ccc16d766bd6823e0e0e3f285a182d5071d90a8d;hb=1866f147802418826c9386c755a9d6ba1d5cff89;hpb=d015828479a131d3b422980c44748f7a10de8f91

diff --git a/Makefile b/Makefile
index ccc16d7..e88b56f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,38 +1,117 @@
-.PHONY: build check doc doxygen clean gtags htags
-MKDIR = mkdir -p
-DOXYGEN = doxygen
-GTAGS = gtags
-HTAGS = htags
-HTAGSFLAG = --map-file -anosx --tree-view
+.PHONY: all srcall gtags \
+        check valgrind \
+        doc alldoc doc_inner \
+        install uninstall \
+        version gittag \
+        clean src-clean gtags-clean \
+        test-clean doc-clean doc_inner-clean
 
-build:
-	$(MAKE) -C src
+CAT := cat
+CP := cp -v
+ECHO := /bin/echo
+EXPR := expr
+GIT := git
+GREP := grep
+GTAGS := gtags
+INSTALL := install
+SED := sed
+WC := wc
+WHICH := which
+XARGS := xargs
 
-check:
-	@$(MAKE) -sC test/system
+prefix ?= ~
+bindir ?= $(prefix)/bin
+libdir ?= $(prefix)/share
+
+VERSION := $(shell $(CAT) VERSION)
+
+VERSIONGITREF := $(shell $(GIT) show-ref -s --tags $(VERSION))
+
+MASTERGITREF := $(shell $(GIT) show-ref -s refs/heads/master)
 
-doc:
-	@$(MAKE) -sC doc
+VERSIONFILES := include/version.h \
+        test/system/casl2_opt/opt_v/0.txt \
+        test/system/comet2_opt/opt_v/0.txt \
+        test/system/dumpword/opt_v/0.txt
 
-doxygen: htags
-	@$(DOXYGEN)
+CMDFILES := casl2 comet2 dumpword casl2rev comet2monitor
+
+all: build INSTALL gtags
+
+build: version
+	$(MAKE) -C src all
+	@(for f in $(CMDFILES); do if test ! -e $$f -o src/$$f -nt $$f; then $(CP) src/$$f $$f; fi; done)
 
 gtags:
-	@$(GTAGS)
-
-htags: doc/doxygen/html gtags
-	@$(HTAGS) $(HTAGSFLAG) $</
-
-doc/doxygen/html:
-	@$(MKDIR) $@
-
-clean:
-	@$(MAKE) -sC src clean
-	@$(MAKE) -sC test/system/casl2 clean
-	@$(MAKE) -sC test/system/comet2 clean
-	@$(MAKE) -sC test/system/dumpword clean
-	@$(MAKE) -sC test/unit clean
-	@rm -rf doc/doxygen/*
-	@rm -f casl2 comet2 dumpword
-	@rm -f GPATH GRTAGS GSYMS GTAGS
-	@rm -rf HTML
+	$(if $(strip $(shell $(WHICH) $(GTAGS))),$(GTAGS),@$(ECHO) '$(GTAGS): not found')
+
+INSTALL: doc/install.txt
+	$(CP) $< $@
+
+doc/install.txt:
+	$(MAKE) -C doc base
+
+alldoc:
+	$(MAKE) -C doc all
+
+doc_inner:
+	$(MAKE) -C doc_inner all
+
+check:
+	$(MAKE) -sC test/system
+
+smoke:
+	$(MAKE) -sC test/system smoke
+
+smoke-valgrind:
+	$(MAKE) -sC test/system smoke-valgrind
+
+valgrind:
+	$(MAKE) -sC test/system valgrind
+
+install: casl2 comet2 dumpword install-info
+	$(INSTALL) -d $(bindir)
+	$(INSTALL) $(CMD) $(bindir)/
+
+install-info:
+	$(MAKE) -C doc install-info
+
+uninstall: uninstall-info
+	$(RM) $(prefix $(bindir)/,$(CMD))
+
+version: $(VERSIONFILES)
+	@$(ECHO) "YACASL2 Version: $(VERSION)"
+
+$(VERSIONFILES): VERSION
+	@$(SED) -e "s/@@VERSION@@/$(VERSION)/g" $@.version >$@
+
+gittag:
+	if test `$(GIT) status -s | $(WC) -l` -gt 0; then $(ECHO) "Error: commit, first."; exit 1; fi; if test "$(VERSIONGITREF)" != "$(MASTERGITREF)"; then $(GIT) tag $(VERSION); fi
+
+distclean: cmd-clean src-distclean gtags-clean version-clean clean
+
+clean: src-clean doc-clean doc_inner-clean
+
+cmd-clean:
+	$(RM) $(CMD)
+
+src-clean:
+	$(MAKE) -sC src clean
+
+src-distclean:
+	$(MAKE) -sC src distclean
+
+gtags-clean:
+	$(RM) GPATH GRTAGS GSYMS GTAGS
+
+doc-clean:
+	$(MAKE) -sC doc clean
+
+doc_inner-clean:
+	$(MAKE) -sC doc_inner clean
+
+version-clean:
+	$(RM) $(VERSIONFILES)
+
+test-clean:
+	$(MAKE) -sC test clean