]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/use_case/stats/Makefile
ocaml 3.09 transition
[helm.git] / helm / papers / use_case / stats / Makefile
index 1eb180dce9d11fbdf78cc167fa749363c932773f..6858eb6373082f3041ef1568526507722462a3cd 100644 (file)
@@ -51,11 +51,11 @@ mkdiff: mkdiff.cc
 
 parsing_times_%_candidates.txt: parsing_times.sh stats_candidates.txt
        @echo "Collecting parsing times in CICXML_NOBLANKS_NODTD for $(@:parsing_times_%_candidates.txt=%)..."
-       @./$< CICXML_NOBLANKS_NODTD parsing_time_$(@:parsing_times_%_candidates.txt=%).sh stats_candidates.txt | $(SORT_SIZE) >$@
+       @./$< CICXML_NOBLANKS_NODTD parsing_time_$(@:parsing_times_%_candidates.txt=%).sh stats_candidates.txt | $(SORT_NODES) >$@
 
 parsing_times_%_candidates_c1.txt: parsing_times.sh stats_candidates_c1.txt
        @echo "Collecting parsing times in CONTENTNB for $(@:parsing_times_%_candidates_c1.txt=%)..."
-       @./$< CONTENTNB parsing_time_$(@:parsing_times_%_candidates_c1.txt=%).sh stats_candidates_c1.txt | $(SORT_SIZE) >$@
+       @./$< CONTENTNB parsing_time_$(@:parsing_times_%_candidates_c1.txt=%).sh stats_candidates_c1.txt | $(SORT_NODES) >$@
 
 #parsing_times_%_candidates: parsing_times_%_candidates.sh
 #      sh $< >$@
@@ -111,5 +111,6 @@ validating_times: parsing_validating_times_candidates.ps validating_times_candid
 clean:
        rm -f stats_candidates*.{xml,html,txt} \
          $(PARSING_TIMES_TARGETS_TXT) \
+         $(PARSING_VALIDATING_TIMES_TARGETS_TXT) \
          $(VALIDATING_TIMES_TARGETS_TXT)