Makefile

   1 .PHONY: all build gtags \
   2         check \
   3         doc alldoc doc_inner \
   4         install uninstall \
   5         version gittag \
   6         clean src-clean gtags-clean \
   7         test-clean doc-clean doc_inner-clean
   8
   9 CMD := casl2 comet2 dumpword
  10
  11 CAT := cat
  12 CP := cp
  13 ECHO := /bin/echo
  14 GIT := git
  15 GREP := grep
  16 GTAGS := gtags
  17 INSTALL := install
  18 SED := sed
  19 WHICH := which
  20 EXPR := expr
  21 XARGS := xargs
  22
  23 prefix ?= ~
  24 bindir ?= $(prefix)/bin
  25
  26 VERSION := $(shell $(CAT) VERSION)
  27
  28 VERSIONGITREF := $(shell $(GIT) show-ref -s --tags $(VERSION))
  29
  30 MASTERGITREF := $(shell $(GIT) show-ref -s refs/heads/master)
  31
  32 VERSIONFILES = include/package.h \
  33         test/system/casl2/opt_v/0.txt \
  34         test/system/comet2/opt_v/0.txt \
  35         test/system/dumpword/opt_v/0.txt
  36
  37 all: build doc gtags
  38
  39 build:
  40         $(MAKE) -C src all
  41         $(CP) $(addprefix src/,$(CMD)) ./
  42
  43 gtags:
  44         $(if $(strip $(shell $(WHICH) $(GTAGS))),$(GTAGS),@$(ECHO) '$(GTAGS): not found')
  45
  46 doc:
  47         $(MAKE) -C doc base
  48         $(MAKE) INSTALL
  49
  50 INSTALL: doc/install.txt
  51         $(CP) $< $@
  52
  53 alldoc:
  54         $(MAKE) -C doc all
  55
  56 doc_inner:
  57         $(MAKE) -C doc_inner all
  58
  59 check:
  60         $(MAKE) -sC test/system
  61
  62 install: casl2 comet2 dumpword install-info install-casl2lib
  63         $(INSTALL) -d $(bindir)
  64         $(INSTALL) $(CMD) $(bindir)/
  65
  66 uninstall: uninstall-info uninstall-casl2lib
  67         $(RM) $(prefix $(bindir)/,$(CMD))
  68
  69 version: $(VERSIONFILES)
  70         @$(ECHO) "YACASL2 Version: $(VERSION)"
  71
  72 $(VERSIONFILES): VERSION
  73         @$(SED) -e "s/@@VERSION@@/$(VERSION)/g" $@.version >$@
  74
  75 gittag:
  76         if test `$(GIT) status -s | wc -l` -gt 0; then $(ECHO) "Error: commit, first."; exit 1; fi; if test "$(VERSIONGITREF)" != "$(MASTERGITREF)"; then $(GIT) tag $(VERSION); fi
  77
  78 distclean: cmd-clean src-distclean gtags-clean version-clean clean
  79
  80 clean: src-clean doc-clean doc_inner-clean
  81
  82 cmd-clean:
  83         $(RM) $(CMD)
  84
  85 src-clean:
  86         $(MAKE) -sC src clean
  87
  88 src-distclean:
  89         $(MAKE) -sC src distclean
  90
  91 gtags-clean:
  92         $(RM) GPATH GRTAGS GSYMS GTAGS
  93
  94 doc-clean:
  95         $(MAKE) -sC doc clean
  96
  97 doc_inner-clean:
  98         $(MAKE) -sC doc_inner clean
  99
 100 version-clean:
 101         $(RM) $(VERSIONFILES)
 102
 103 test-clean:
 104         $(MAKE) -sC test clean