Add a commit-check rule to the Makefile

commit-check is a special make rule to run all sort of time-consuming
checks before committing (like building the documentation and run the test
cases). This is ideal for a git pre-commit hook, to avoid committing
broken stuff.

Now make all (and default) does nothing, because is a source-only library.

diff --git a/Makefile b/Makefile
index 84337017ccd0aecc87cbbfb96ea355656ba60385..2d2148f326186650cf1a12225d58934300274965 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ prefix=/usr/local
 
 default: all
 
-all: doc test memtest
+all:
 
 install:
        $(MAKE) -C src $@
@@ -18,11 +18,13 @@ doc:
 test memtest:
        $(MAKE) -C test $@
 
+commit-check: doc test memtest
+
 clean:
        $(MAKE) -C src $@
        $(MAKE) -C doc $@
        $(MAKE) -C test $@
 
-.PHONY: default all install doc test memtest clean
+.PHONY: default all install doc test memtest commit-check clean