]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/Makefile
removed dependency on netclient, use http_client module from ocaml-http
[helm.git] / helm / metadata / create_V7_mowgli / Makefile
index b20dc221248a0c98e45b241671e387a539a84db8..4f871e46a74cbd8b6627e8b2af7016b38e9539f7 100644 (file)
@@ -3,13 +3,12 @@ all:
        @echo "   forward, backward, compress, clean-forward, clean-backward"
 
 forward:
-       time for i in `cat costanti_e_variabili.txt` ; do (cd tmp && wget -t 1 -O downloaded.xml.gz "http://mowgli.cs.unibo.it:58081/getxml?format=gz&uri=$$i" && wget -t 1 -O downloaded_body.xml.gz "http://mowgli.cs.unibo.it:58081/getxml?format=gz&uri=$$i.body") ; mkdir -p forward/`dirname $$i | sed "s/cic:\///"` && zcat tmp/downloaded.xml.gz > tmp/type.xml && zcat tmp/downloaded_body.xml.gz > tmp/body.xml ; METADATA/meta $$i > forward/`echo $$i | sed "s/cic:\///"`.xml && rm -f tmp/downloaded.xml.gz tmp/downloaded_body.xml.gz tmp/type.xml tmp/body.xml ; done > log 2>&1
-       time for i in `cat tipi_induttivi.txt` ; do (cd tmp && wget -t 1 -O downloaded.xml.gz "http://mowgli.cs.unibo.it:58081/getxml?format=gz&uri=$$i") && mkdir -p forward/`dirname $$i | sed "s/cic:\///"` && zcat tmp/downloaded.xml.gz > tmp/inductive_type.xml && METADATA/meta_ind forward/`echo $$i | sed "s/cic:\///"` $$i && rm tmp/downloaded.xml.gz tmp/inductive_type.xml ; done >> log 2>&1
-       (cd forward ; ../mkindex.sh forward)
+       time for i in `cat tipi_induttivi.txt` ; do (cd tmp ; wget -t 1 -O downloaded.xml.gz "http://mowgli.cs.unibo.it:58081/getxml?format=gz&uri=$$i") ; zcat tmp/downloaded.xml.gz > tmp/inductive_type.xml ; METADATA/meta_ind $$i ; rm -f tmp/downloaded.xml.gz tmp/inductive_type.xml; done > log 2>&1
+       time for i in `cat costanti_e_variabili.txt` ; do (cd tmp ; wget -t 1 -O downloaded.xml.gz "http://mowgli.cs.unibo.it:58081/getxml?format=gz&uri=$$i" ; wget -t 1 -O downloaded_body.xml.gz "http://mowgli.cs.unibo.it:58081/getxml?format=gz&uri=$$i.body"); zcat tmp/downloaded.xml.gz > tmp/type.xml ; zcat tmp/downloaded_body.xml.gz > tmp/body.xml ; METADATA/meta $$i ; rm -f tmp/downloaded.xml.gz tmp/downloaded_body.xml.gz tmp/type.xml tmp/body.xml ; done > log 2>&1
 
 backward:
-       #time for i in `cat all_objects.txt` ; do touch/touch.opt $$i ; done
-       #find forward -type f -exec ./invert.pl {} \;
+       time for i in `cat all_objects.txt` ; 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)
 
@@ -20,7 +19,7 @@ compress:
        (cd backward ; ../mkindex.sh backward)
 
 clean-forward:
-       rm -rf forward/*
+       rm -rf forward_rel.xml forward_sort.xml forward/*
 
 clean-backward:
        rm -rf backward/*