X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=Makefile;h=3562d839b974803a8002f4abc2c276b17f17a652;hp=a16c13cbf286245bd4e3e88202f34a8ae21afa62;hb=e4b847e6ad72b23b2c65b35ae5eb3a8ee9c5b403;hpb=4d98d132e119aa98dd7abcb76b6a96ae4723f274

diff --git a/Makefile b/Makefile
index a16c13c..3562d83 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,12 @@
 .PHONY: all build gtags \
-        check \
+        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 disassemble
+CMD := casl2 comet2 dumpword casl2rev
 
 CAT := cat
 CP := cp
@@ -31,12 +31,12 @@ VERSIONGITREF := $(shell $(GIT) show-ref -s --tags $(VERSION))
 
 MASTERGITREF := $(shell $(GIT) show-ref -s refs/heads/master)
 
-VERSIONFILES = include/package.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: build doc gtags
+all: build INSTALL gtags
 
 build:
 	$(MAKE) -C src all
@@ -45,13 +45,12 @@ build:
 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
 
@@ -61,17 +60,17 @@ doc_inner:
 check:
 	$(MAKE) -sC test/system
 
-install: casl2 comet2 dumpword install-info install-casl2lib
+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
 
-install-casl2lib:
-	$(MAKE) -C as/casl2lib install-casl2lib
-
-uninstall: uninstall-info uninstall-casl2lib
+uninstall: uninstall-info
 	$(RM) $(prefix $(bindir)/,$(CMD))
 
 version: $(VERSIONFILES)