-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathMakefile
137 lines (123 loc) · 3.72 KB
/
Makefile
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
# vim: noet sw=4 ts=4
.PHONY : all
all : _site
_site : \
_vendor \
docs \
favicon.ico \
images/icons/blocked-21.png \
images/icons/done-21.png \
images/icons/maybe-21.png \
images/icons/todo-21.png \
images/icons/wip-21.png \
images/logo-128.png \
images/logo-64.png \
images/logotype-600.png \
images/sun-200.png \
images/sunt-200.png
bundle exec jekyll build
.PHONY : serve
serve : _site
bundle exec jekyll serve --drafts
_vendor : Gemfile Gemfile.lock
bundle install
images/icons/todo-21.png: _images-original/todo.png images/icons
convert $< -resize 21x21 $@
images/icons/done-21.png: _images-original/done.png images/icons
convert $< -resize 21x21 $@
images/icons/blocked-21.png: _images-original/blocked.png images/icons
convert $< -resize 21x21 $@
images/icons/wip-21.png: _images-original/wip.png images/icons
convert $< -resize 21x21 $@
images/icons/maybe-21.png: _images-original/maybe.png images/icons
convert $< -resize 21x21 $@
images/logo-64.png: _images-original/logo-v1.png images
convert $< -resize 64x64 $@
favicon.ico: images/logo-64.png
cp $< $@
images/sun-200.png: _images-original/sun.png images
convert $< -resize 200x200 $@
images/sunt-200.png: _images-original/sunt.png images
convert $< -resize 200x200 $@
images/logotype-600.png: _images-original/logotype-v1.png images
convert $< -resize 600x315 $@
images/logo-128.png: _images-original/logo-v1.png images
convert $< -resize 128x128 $@
images/icons:
mkdir -p $@
images:
mkdir -p $@
.PHONY: docs
docs: docs/index.html \
docs/getting_started.html \
docs/user_guide.html \
docs/plasma_ref.html \
docs/contributing.html \
docs/references.html \
docs/dev_howto_make_pr.html \
docs/dev_compiler_internals.html \
docs/dev_testing.html \
docs/dev_style_mercury.html \
docs/dev_style_c.html \
docs/dev_mercury_grades.html \
docs/dev_maintainers.html \
docs/dev_bugtracking.html \
docs/design_principles.html \
docs/design_concept_map.html \
docs/design_types.html \
docs/design_ideas.html \
docs/pz_machine.html
docs/index.txt : ../plasma/docs/index.txt
cp $< $@
docs/getting_started.txt : ../plasma/docs/getting_started.txt
cp $< $@
docs/user_guide.txt : ../plasma/docs/user_guide.txt
cp $< $@
docs/plasma_ref.txt : ../plasma/docs/plasma_ref.txt
cp $< $@
docs/contributing.txt : ../plasma/docs/contributing.txt
cp $< $@
docs/references.txt : ../plasma/docs/references.txt
cp $< $@
docs/dev_howto_make_pr.txt : ../plasma/docs/dev_howto_make_pr.txt
cp $< $@
docs/dev_compiler_internals.txt : ../plasma/docs/dev_compiler_internals.txt
cp $< $@
docs/dev_testing.txt : ../plasma/docs/dev_testing.txt
cp $< $@
docs/dev_style_mercury.txt : ../plasma/docs/dev_style_mercury.txt
cp $< $@
docs/dev_style_c.txt : ../plasma/docs/dev_style_c.txt
cp $< $@
docs/dev_mercury_grades.txt : ../plasma/docs/dev_mercury_grades.txt
cp $< $@
docs/dev_maintainers.txt : ../plasma/docs/dev_maintainers.txt
cp $< $@
docs/dev_bugtracking.txt : ../plasma/docs/dev_bugtracking.txt
cp $< $@
docs/design_principles.txt : ../plasma/docs/design_principles.txt
cp $< $@
docs/design_concept_map.txt : ../plasma/docs/design_concept_map.txt
cp $< $@
docs/design_types.txt : ../plasma/docs/design_types.txt
cp $< $@
docs/design_ideas.txt : ../plasma/docs/design_ideas.txt
cp $< $@
docs/pz_machine.txt: ../plasma/docs/pz_machine.txt
cp $< $@
%.html : %.txt docs/_asciidoc.conf
asciidoc --conf-file docs/_asciidoc.conf -o $@ $<
.PHONY: clean
clean:
rm -rf images _site docs/*.txt docs/*.html _vendor
.PHONY: upload
upload: all
rsync -crv \
--exclude Gemfile \
--exclude Gemfile.lock \
--exclude README.md \
--exclude LICENSE.md \
--exclude CONTRIBUTING.md \
--exclude Makefile \
--exclude images-original \
--del _site/ champagne:/srv/www/plasmalang/