バージョンアップ

[YACASL2.git] / Makefile

diff --git a/Makefile b/Makefile
index 52cf49b..e88b56f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all build gtags \
+.PHONY: all srcall gtags \
         check valgrind \
         doc alldoc doc_inner \
         install uninstall \
@@ -7,7 +7,7 @@
         test-clean doc-clean doc_inner-clean
 
 CAT := cat
-CP := cp
+CP := cp -v
 ECHO := /bin/echo
 EXPR := expr
 GIT := git
@@ -29,20 +29,18 @@ VERSIONGITREF := $(shell $(GIT) show-ref -s --tags $(VERSION))
 
 MASTERGITREF := $(shell $(GIT) show-ref -s refs/heads/master)
 
-VERSIONFILES = include/version.h \
+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: casl2 comet2 dumpword casl2rev INSTALL gtags
+CMDFILES := casl2 comet2 dumpword casl2rev comet2monitor
 
-%: src/%
-       $(CP) $< $@
-
-casl2 comet2 dumpword casl2rev: build
+all: build INSTALL gtags
 
-build:
+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:
        $(if $(strip $(shell $(WHICH) $(GTAGS))),$(GTAGS),@$(ECHO) '$(GTAGS): not found')
@@ -62,6 +60,12 @@ doc_inner:
 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