X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=77168cbf756c2c248fb1dcd843388ef77d9998f7;hb=4c1bb1f12ad0f10aafbdaa59fbc43247784e5096;hp=d8e2f6adefc22dc7900d74f2616da7b20a36a74e;hpb=b22ffc2662e5fe300bfab3adb46ca97b5b630d8b;p=YACASL2.git diff --git a/Makefile b/Makefile index d8e2f6a..77168cb 100644 --- a/Makefile +++ b/Makefile @@ -1,16 +1,53 @@ -.PHONY: build check doc clean +.PHONY: build check doc doxygen clean gtags htags +MKDIR = mkdir -p +MV = mv +DOXYGEN = doxygen +GTAGS = gtags +HTAGS = htags +HTAGSFLAG = -anosx build: - make -C src + $(MAKE) -C src check: - @make -sC test/system + @$(MAKE) -sC test/system doc: - make -sC doc + @$(MAKE) -sC doc -clean: - @make -sC src $@ - @make -sC test/system $@ - @make -sC test/unit $@ +doxygen: doc_inner + @$(DOXYGEN) + +gtags: + @$(GTAGS) + +htags: doc_inner gtags + @$(HTAGS) $(HTAGSFLAG) $