X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=396aeb50fe292fef2b5e60ca7d1afbd9d094d181;hb=refs%2Ftags%2Fv0.1p50;hp=a84983ccd9893f5a6e983952db05dc88625dd822;hpb=ab8b8f03997a5bbb8051ad260406f2e8d4f8ff57;p=YACASL2.git diff --git a/Makefile b/Makefile index a84983c..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 - @if test `which $(GTAGS)`; then $(GTAGS); fi - -htags: doc_inner - @$(MAKE) clean_htags - @$(MAKE) gtags - @$(HTAGS) $(HTAGSFLAG) $< - @$(MV) $