Merge branch
[YACASL2.git] / Makefile
1 .PHONY: all srcall gtags \
2         check valgrind \
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 CAT := cat
10 CP := cp -v
11 ECHO := /bin/echo
12 EXPR := expr
13 GIT := git
14 GREP := grep
15 GTAGS := gtags
16 INSTALL := install
17 SED := sed
18 WC := wc
19 WHICH := which
20 XARGS := xargs
21
22 prefix ?= ~
23 bindir ?= $(prefix)/bin
24 libdir ?= $(prefix)/share
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/version.h \
33         test/system/casl2_opt/opt_v/0.txt \
34         test/system/comet2_opt/opt_v/0.txt \
35         test/system/dumpword/opt_v/0.txt
36
37 CMDFILES := casl2 comet2 dumpword casl2rev comet2monitor
38
39 all: build INSTALL gtags
40
41 build: version
42         $(MAKE) -C src all
43         @(for f in $(CMDFILES); do if test ! -e $$f -o src/$$f -nt $$f; then $(CP) src/$$f $$f; fi; done)
44
45 gtags:
46         $(if $(strip $(shell $(WHICH) $(GTAGS))),$(GTAGS),@$(ECHO) '$(GTAGS): not found')
47
48 INSTALL: doc/install.txt
49         $(CP) $< $@
50
51 doc/install.txt:
52         $(MAKE) -C doc base
53
54 alldoc:
55         $(MAKE) -C doc all
56
57 doc_inner:
58         $(MAKE) -C doc_inner all
59
60 check:
61         $(MAKE) -sC test/system
62
63 smoke:
64         $(MAKE) -sC test/system smoke
65
66 smoke-valgrind:
67         $(MAKE) -sC test/system smoke-valgrind
68
69 valgrind:
70         $(MAKE) -sC test/system valgrind
71
72 install: casl2 comet2 dumpword install-info
73         $(INSTALL) -d $(bindir)
74         $(INSTALL) $(CMD) $(bindir)/
75
76 install-info:
77         $(MAKE) -C doc install-info
78
79 uninstall: uninstall-info
80         $(RM) $(prefix $(bindir)/,$(CMD))
81
82 version: $(VERSIONFILES)
83         @$(ECHO) "YACASL2 Version: $(VERSION)"
84
85 $(VERSIONFILES): VERSION
86         @$(SED) -e "s/@@VERSION@@/$(VERSION)/g" $@.version >$@
87
88 gittag:
89         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
90
91 distclean: cmd-clean src-distclean gtags-clean version-clean clean
92
93 clean: src-clean doc-clean doc_inner-clean
94
95 cmd-clean:
96         $(RM) $(CMD)
97
98 src-clean:
99         $(MAKE) -sC src clean
100
101 src-distclean:
102         $(MAKE) -sC src distclean
103
104 gtags-clean:
105         $(RM) GPATH GRTAGS GSYMS GTAGS
106
107 doc-clean:
108         $(MAKE) -sC doc clean
109
110 doc_inner-clean:
111         $(MAKE) -sC doc_inner clean
112
113 version-clean:
114         $(RM) $(VERSIONFILES)
115
116 test-clean:
117         $(MAKE) -sC test clean