Merge branch

[YACASL2.git] / Makefile

diff --git a/Makefile b/Makefile
index ad22d42..e88b56f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,58 +1,82 @@
-.PHONY: all build gtags \
-        check \
-        doc alldoc doc-inner \
+.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
-
-CMD := casl2 comet2 dumpword
+        test-clean doc-clean doc_inner-clean
 
 CAT := cat
-CP := cp
-ECHO := echo
-GITTAG := git tag
+CP := cp -v
+ECHO := /bin/echo
+EXPR := expr
+GIT := git
+GREP := grep
 GTAGS := gtags
 INSTALL := install
 SED := sed
+WC := wc
 WHICH := which
+XARGS := xargs
 
 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)
 
-VERSION = $(shell $(CAT) VERSION)
-VERSIONFILES = include/package.h test/system/casl2/opt_v/0.txt test/system/comet2/opt_v/0.txt test/system/dumpword/opt_v/0.txt
+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
 
-all: build doc gtags
+CMDFILES := casl2 comet2 dumpword casl2rev comet2monitor
+
+all: build INSTALL gtags
 
 build: version
        $(MAKE) -C src all
-       $(CP) $(addprefix src/,$(CMD)) ./
+       @(for f in $(CMDFILES); do if test ! -e $$f -o src/$$f -nt $$f; then $(CP) src/$$f $$f; fi; done)
 
 gtags:
        $(if $(strip $(shell $(WHICH) $(GTAGS))),$(GTAGS),@$(ECHO) '$(GTAGS): not found')
 
-doc:
-       $(MAKE) -C doc base
-       $(MAKE) INSTALL
-
 INSTALL: doc/install.txt
        $(CP) $< $@
 
+doc/install.txt:
+       $(MAKE) -C doc base
+
 alldoc:
        $(MAKE) -C doc all
 
-doc-inner:
+doc_inner:
        $(MAKE) -C doc_inner all
 
 check:
        $(MAKE) -sC test/system
 
-install: casl2 comet2 dumpword install-info install-casl2lib
+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)/
 
-uninstall: uninstall-info uninstall-casl2lib
+install-info:
+       $(MAKE) -C doc install-info
+
+uninstall: uninstall-info
        $(RM) $(prefix $(bindir)/,$(CMD))
 
 version: $(VERSIONFILES)
@@ -61,12 +85,12 @@ version: $(VERSIONFILES)
 $(VERSIONFILES): VERSION
        @$(SED) -e "s/@@VERSION@@/$(VERSION)/g" $@.version >$@
 
-gittag: VERSION
-       $(GITTAG) $(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 gtags-clean version-clean clean
+distclean: cmd-clean src-distclean gtags-clean version-clean clean
 
-clean: src-clean doc-clean doc-inner-clean
+clean: src-clean doc-clean doc_inner-clean
 
 cmd-clean:
        $(RM) $(CMD)
@@ -74,13 +98,16 @@ cmd-clean:
 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:
+doc_inner-clean:
        $(MAKE) -sC doc_inner clean
 
 version-clean: