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.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 |