1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
MAIN := convert
UNICODE_VERSION := 9.0.0
UNICODE_URL := ftp://ftp.unicode.org/Public/$(UNICODE_VERSION)/ucd
UNICODE_FILES := Blocks.txt NameAliases.txt UnicodeData.txt
.PHONY: all clean ${MAIN}
all: $(MAIN) $(UNICODE_FILES)
mkdir -p generated
./$^
$(MAIN):
gprbuild -p -Pconvert
$(filter-out NameAliases.txt,$(UNICODE_FILES)):
wget $(UNICODE_URL)/$@
NameAliases.txt:
wget $(UNICODE_URL)/$@
patch -p0 < NameAliases.diff
clean:
rm -f $(UNICODE_FILES)
gprclean -Pconvert
rm -rf generated/
|
