]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create2/Makefile
New procedure to create metadata committed and old procedure removed.
[helm.git] / helm / metadata / create2 / Makefile
diff --git a/helm/metadata/create2/Makefile b/helm/metadata/create2/Makefile
new file mode 100644 (file)
index 0000000..b1ce8e1
--- /dev/null
@@ -0,0 +1,27 @@
+all:
+       @echo Available targets:
+       @echo "   forward, backward, compress, clean-forward, clean-backward"
+
+forward:
+       time for i in `cat pluto` ; do mk_forward/mk_forward.opt $$i ; done > log 2>&1
+       (cd forward ; ../mkindex.sh forward)
+
+backward:
+       time for i in `cat pluto` ; do touch/touch.opt $$i ; done
+       find forward -type f -exec ./invert.pl {} \;
+       find backward -type f -exec ./fix_rdf.pl {} \;
+       (cd backward ; ../mkindex.sh backward)
+
+compress:
+       find forward -name "*.xml" -exec gzip {} \;
+       find backward -name "*.xml" -exec gzip {} \;
+       (cd forward ; ../mkindex.sh forward)
+       (cd backward ; ../mkindex.sh backward)
+
+clean-forward:
+       rm -rf forward/*
+
+clean-backward:
+       rm -rf backward/*
+
+.PHONY: all forward backward compress clean-forward clean-backward