X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=80fe0ca20bdb8adf9a255378835fdf0704d04648;hb=64e6c84903cda33a9069d269a4c0d43a0a80ac0c;hp=5d57356ed15d79f72276945cbed81e89446c54a2;hpb=bfffda6171175500a16a36785ed414b251f826cf;p=YACASL2.git diff --git a/Makefile b/Makefile index 5d57356..80fe0ca 100644 --- a/Makefile +++ b/Makefile @@ -1,20 +1,19 @@ .PHONY: all build gtags check doc info html doc-inner install uninstall install-info uninstall-info install-casl2lib uninstall-casl2lib version clean clean-src clean-gtags clean-test clean-doc clean-doc-inner -GTAGS ?= gtags -RMF ?= rm -f -WHICH ?= which -ECHO ?= echo -INSTALL ?= install -SED ?= sed -CAT ?= cat +GTAGS := gtags +RMF := rm -f +WHICH := which +ECHO := echo +INSTALL := install +SED := sed +CAT := cat prefix ?= ~ bindir ?= $(prefix)/bin -casl2libdir ?= $(prefix)/lib/casl2 VERSIONFILES = include/package.h test/system/casl2/opt_v/0.txt test/system/comet2/opt_v/0.txt test/system/dumpword/opt_v/0.txt -all: build info html gtags +all: build docall gtags build: $(MAKE) -C src all @@ -22,7 +21,7 @@ build: gtags: @$(WHICH) $(GTAGS) >/dev/null && $(GTAGS) || $(ECHO) "$(GTAGS): not found" -docall: doc +docall: $(MAKE) -C doc all info: