1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
include Makefile
VERSION = 2.0.0
RELEASETAG = advi-$(VERSION)
EXTRA_DIST = LGPL
.PHONY: gittag gituntag gitretag
gittag:
git tag -a $(VERSION)
gituntag:
cvs tag -d $(VERSION)
gitretag:
git tag -c $(VERSION)
opampublish:
opam publish
check: check.tmp
rm -rf check.tmp
check.tmp: $(DIST)
rm -rf check.tmp
mkdir check.tmp
cd check.tmp && tar -xf ../$(DIST) && cd advi && make
FILEPERMS = -g cristal -m 644
DIRERMS = -g cristal -m 755
ROOTFILES = README.md INSTALL.md LICENSE.md CHANGES.md
DIST = advi-$(VERSION).tar.gz
# $(DIST): check
$(DIST):
git archive --prefix=advi/ -o $(DIST) advi-$(VERSION)
RSYNC = rsync --chmod=u+w,o-w,o+rX
.PHONY: web website webdist webonly
include web/Makefile.website
website: webdist webonly
web: $(CONFIG)
make -C web
webdist: $(DIST)
$(RSYNC) $(DIST) $(WEBSITEDIR)
webonly: web
make -C doc website
make -C web website
|
