]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/create4/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / metadata / create4 / Makefile
1 all:
2         @echo Available targets:
3         @echo "   forward, backward, compress, clean-forward, clean-backward"
4
5 forward:
6         time for i in `cat pluto` ; do (cd tmp ; wget -t 1 "http://phd.cs.unibo.it:8081/getxml?format=gz&uri=$$i") ; mkdir -p forward/`dirname $$i | sed "s/cic:\///"` ; zcat tmp/`basename $$i` | METADATA/meta `basename $$i` > forward/`echo $$i | sed "s/cic:\///"` ; rm tmp/`basename $$i` ; done > log 2>&1
7         (cd forward ; ../mkindex.sh forward)
8
9 backward:
10         time for i in `cat pluto` ; do touch/touch.opt $$i ; done
11         find forward -type f -exec ./invert.pl {} \;
12         find backward -type f -exec ./fix_rdf.pl {} \;
13         (cd backward ; ../mkindex.sh backward)
14
15 compress:
16         find forward -name "*.xml" -exec gzip {} \;
17         find backward -name "*.xml" -exec gzip {} \;
18         (cd forward ; ../mkindex.sh forward)
19         (cd backward ; ../mkindex.sh backward)
20
21 clean-forward:
22         rm -rf forward/*
23
24 clean-backward:
25         rm -rf backward/*
26
27 .PHONY: all forward backward compress clean-forward clean-backward