X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=b2f9ba17afffa70f2fb249cc73f0a1476f32c75f;hb=123e1c84b369e6f1c7b28c72e6902e4742628be4;hp=01f60a941f34a7f88167b99d4d5d0de2699128df;hpb=198e25154f34db7d31ff87bcaf402a827cc5ddec;p=YACASL2.git diff --git a/Makefile b/Makefile index 01f60a9..b2f9ba1 100644 --- a/Makefile +++ b/Makefile @@ -1,64 +1,70 @@ -.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 info html doc-inner install uninstall install-info uninstall-info install-casl2lib uninstall-casl2lib clean clean-src clean-gtags clean-test clean-doc clean-doc-inner -all: build gtags +GTAGS ?= gtags +RMF ?= rm -f +WHICH ?= which +ECHO ?= echo +INSTALL ?= install + +prefix ?= ~ +bindir ?= $(prefix)/bin +casl2libdir ?= $(prefix)/yacasl2/casl2lib + +all: build info html gtags build: - $(MAKE) -C src + $(MAKE) -C src all -check: - @$(MAKE) -sC test/system +gtags: + @$(WHICH) $(GTAGS) >/dev/null && $(GTAGS) || $(ECHO) "$(GTAGS): not found" -doc: - @$(MAKE) -sC doc +docall: doc + $(MAKE) -C doc all -doxygen: doc_inner - @$(DOXYGEN) +info: + $(MAKE) -C doc info -gtags: clean_gtags - @$(GTAGS) +html: + $(MAKE) -C doc html -htags: doc_inner - @$(MAKE) clean_htags - @$(MAKE) gtags - @$(HTAGS) $(HTAGSFLAG) $< - @$(MV) $