X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=a84983ccd9893f5a6e983952db05dc88625dd822;hb=ab8b8f03997a5bbb8051ad260406f2e8d4f8ff57;hp=5a4b7a2efae00bd428034ec5326219dbaedde98b;hpb=9110bf71c8d4f1d1da5327f3afc0d0b1bdab8c02;p=YACASL2.git diff --git a/Makefile b/Makefile index 5a4b7a2..a84983c 100644 --- a/Makefile +++ b/Makefile @@ -1,14 +1,64 @@ -.PHONY: build check doc clean +.PHONY: build check doc doxygen clean gtags htags clean_htags +MKDIR = mkdir -p +MV = mv +DOXYGEN = doxygen +GTAGS = gtags +HTAGS = htags +HTAGSFLAG = -anosx + +all: build gtags build: - make -C src + $(MAKE) -C src check: - @make -sC test/system + @$(MAKE) -sC test/system doc: - @make -sC 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) $