X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=2d5129c70f7cf5712aacf57a06b649870700a4e4;hb=4a1d361916c660b63611a40520eaf7c78788f123;hp=5a4b7a2efae00bd428034ec5326219dbaedde98b;hpb=9110bf71c8d4f1d1da5327f3afc0d0b1bdab8c02;p=YACASL2.git diff --git a/Makefile b/Makefile index 5a4b7a2..2d5129c 100644 --- a/Makefile +++ b/Makefile @@ -1,14 +1,55 @@ -.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: - @for target in src test/integration test/unit as/casl2lib; do $(MAKE) -sC $$target clean; done; +doxygen: doc_inner + @$(DOXYGEN) + +gtags: + @$(GTAGS) + +htags: doc_inner gtags + @rm -rf $