メモリーリークの修正

[YACASL2.git] / Makefile

diff --git a/Makefile b/Makefile
index 7222401..3562d83 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 .PHONY: all build gtags \
-        check \
+        check valgrind \
         doc alldoc doc_inner \
         install uninstall \
         version gittag \
@@ -31,7 +31,7 @@ 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
@@ -60,6 +60,9 @@ doc_inner:
 check:
        $(MAKE) -sC test/system
 
+valgrind:
+       $(MAKE) -sC test/system valgrind
+
 install: casl2 comet2 dumpword install-info
        $(INSTALL) -d $(bindir)
        $(INSTALL) $(CMD) $(bindir)/