nani/website/wadoku.mk

wadoku.mk

1
WADOKU_TMP_DIR=dictionaries/wadoku-tmp
2
DICOS+=dicos/wadoku_ger.nani
3
4
dictionaries/wadoku.xml:
5
	mkdir $(WADOKU_TMP_DIR)
6
	wget https://www.wadoku.de/downloads/xml-export/ -O $(WADOKU_TMP_DIR)/index.html
7
	file=$$(grep href $(WADOKU_TMP_DIR)/index.html | cut -f2 --delimiter='"' | \
8
        grep ^wadoku-xml | grep xz$$ | tail -1); \
9
    wget https://www.wadoku.de/downloads/xml-export/$$file -O \
10
        $(WADOKU_TMP_DIR)/wadoku.tar.xz
11
	(cd $(WADOKU_TMP_DIR); tar xf wadoku.tar.xz)
12
	cp $(WADOKU_TMP_DIR)/wadoku-xml*/wadoku.xml $@
13
	rm -rf $(WADOKU_TMP_DIR)
14
15
dicos/wadoku_ger.nani: dictionaries/wadoku-test.xml tools/wadoku.scm dictionaries/frequency.tsv $(DICO_MODULES)
16
	guile -L modules tools/wadoku.scm build \
17
        $< $(shell echo $@ | sed 's|^.*_\([^.]*\)\..*$$|\1|g') $@
18