X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=396aeb50fe292fef2b5e60ca7d1afbd9d094d181;hb=c2dfd8587ef6e1981e9896c5352a04d46aa95edf;hp=01f60a941f34a7f88167b99d4d5d0de2699128df;hpb=198e25154f34db7d31ff87bcaf402a827cc5ddec;p=YACASL2.git diff --git a/Makefile b/Makefile index 01f60a9..396aeb5 100644 --- a/Makefile +++ b/Makefile @@ -1,64 +1,40 @@ -.PHONY: build check doc doxygen clean gtags htags clean_htags -MKDIR = mkdir -p -MV = mv -DOXYGEN = doxygen -GTAGS = gtags -HTAGS = htags -HTAGSFLAG = -anosx +.PHONY: all build gtags check doc doc_inner clean clean_src clean_gtags clean_test clean_doc clean_doc_inner -all: build gtags +GTAGS ?= gtags +RMF ?= rm -f +WHICH ?= which +ECHO ?= echo + +all: build doc doc_inner build: $(MAKE) -C src +gtags: + $(WHICH) $(GTAGS) && $(GTAGS) >/dev/null || $(ECHO) "$(GTAGS): not found" + check: - @$(MAKE) -sC test/system + $(MAKE) -sC test/system doc: - @$(MAKE) -sC doc - -doxygen: doc_inner - @$(DOXYGEN) - -gtags: clean_gtags - @$(GTAGS) - -htags: doc_inner - @$(MAKE) clean_htags - @$(MAKE) gtags - @$(HTAGS) $(HTAGSFLAG) $< - @$(MV) $