From 7d7f729471b4d5ebafa1b915096974e726cc13c6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 21 Dec 2005 14:22:22 +0000
Subject: [PATCH] __ files are removed

---
 helm/matita/contribs/LAMBDA-TYPES/Makefile         |  7 +++++--
 helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile |  7 +++++--
 helm/matita/library/Makefile                       |  5 ++++-
 helm/matita/scripts/do_tests.sh                    | 13 ++++++++++---
 helm/matita/scripts/profile_cvs.sh                 |  4 ++--
 helm/matita/tests/Makefile                         |  7 +++++--
 helm/matita/tests/bad_tests/Makefile               |  7 +++++--
 7 files changed, 36 insertions(+), 14 deletions(-)

diff --git a/helm/matita/contribs/LAMBDA-TYPES/Makefile b/helm/matita/contribs/LAMBDA-TYPES/Makefile
index 297b5cb9c..5e651970a 100644
--- a/helm/matita/contribs/LAMBDA-TYPES/Makefile
+++ b/helm/matita/contribs/LAMBDA-TYPES/Makefile
@@ -32,10 +32,13 @@ verbose:
 %.opt:
 	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%)
 
-clean:
+clean_:
+	rm -r __*not_for_matita
+
+clean: clean_
 	$(H)$(MATITACLEAN) $(SRC)
 
-cleanall:
+cleanall: clean_
 	$(H)rm -f $(SRC:%.ma=%.moo)
 	$(MATITACLEAN) all
 
diff --git a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
index c12b0fb43..43221d3ca 100644
--- a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
+++ b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
@@ -32,10 +32,13 @@ verbose:
 %.opt:
 	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%)
 
-clean:
+clean_:
+	rm -r __*not_for_matita
+
+clean: clean_
 	$(H)$(MATITACLEAN) $(SRC)
 
-cleanall:
+cleanall: clean_
 	$(H)rm -f $(SRC:%.ma=%.moo)
 	$(MATITACLEAN) all
 
diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index e13b3e8a4..b6d061531 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -32,7 +32,10 @@ verbose:
 %.opt:
 	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%)
 
-clean:
+clean_:
+	rm -f __*not_for_matita
+
+clean: clean_
 	$(H)$(MATITACLEAN) $(SRC)
 
 cleanall:
diff --git a/helm/matita/scripts/do_tests.sh b/helm/matita/scripts/do_tests.sh
index b7500bf03..687b7f8c0 100755
--- a/helm/matita/scripts/do_tests.sh
+++ b/helm/matita/scripts/do_tests.sh
@@ -12,6 +12,10 @@ if [ "$1" = "-twice" ]; then
   shift
   TWICE=1
 fi
+if [ "$1" = "-keep-logs" ]; then
+  shift
+  KEEP=1
+fi
 
 COMPILER=$1
 shift
@@ -27,11 +31,12 @@ TODO="$@"
 if [ -z "$COMPILER" -o -z "$CLEANER" -o -z "$LOGFILE" -o -z "$EXPECTED" -o -z "$TODO" ]; then
   echo
   echo "usage: "
-  echo "  do_tests.sh [-no-color] [-twice] ./compiler ./cleaner logfile expected_result test.ma ..."
+  echo "  do_tests.sh [-no-color] [-twice] [-keep-logs] ./compiler ./cleaner logfile expected_result test.ma ..."
   echo
   echo "options:  "
   echo "  -no-color Do not use vt100 colors"
   echo "  -twice    Run each test twice but show only the second run times"
+  echo "  -keep-logs Do not dele __* files"
   echo
   echo "If expected_result is OK the result will be OK if the test compiles."
   echo "Otherwise if expected_result is FAIL the result will be OK if the test"
@@ -72,7 +77,9 @@ for T in $TODO; do
     printf "$FAIL\t$TIMES\t$DO_TESTS_EXTRA\n";
     cat $DIFF
   fi
-  #rm -f $LOG
-  #rm -f $DIFF
+  if [ "$KEEP" != "1" ]; then
+    rm -f $LOG
+    rm -f $DIFF
+  fi
   exit $RC
 done
diff --git a/helm/matita/scripts/profile_cvs.sh b/helm/matita/scripts/profile_cvs.sh
index 667a70e36..40e19b841 100755
--- a/helm/matita/scripts/profile_cvs.sh
+++ b/helm/matita/scripts/profile_cvs.sh
@@ -7,8 +7,8 @@ function testit {
   LOGTOOPT=/dev/null
   LOGTOBYTE=/dev/null
   export DO_TESTS_EXTRA="$MARK\t$@"
-  make tests DO_TESTS_OPTS="-no-color -twice"
-  make tests.opt DO_TESTS_OPTS="-no-color -twice"
+  make tests DO_TESTS_OPTS="-no-color -twice -keep-logs"
+  make tests.opt DO_TESTS_OPTS="-no-color -twice -keep-logs"
 }
 
 function compile {
diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile
index 1ea16550d..ee1f6bbe9 100644
--- a/helm/matita/tests/Makefile
+++ b/helm/matita/tests/Makefile
@@ -32,10 +32,13 @@ verbose:
 %.opt:
 	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%)
 
-clean:
+clean_:
+	rm -r __*not_for_matita
+
+clean: clean_
 	$(H)$(MATITACLEAN) $(SRC)
 
-cleanall:
+cleanall: clean_
 	$(H)rm -f $(SRC:%.ma=%.moo)
 	$(MATITACLEAN) all
 
diff --git a/helm/matita/tests/bad_tests/Makefile b/helm/matita/tests/bad_tests/Makefile
index 19ff97412..1b955ff18 100644
--- a/helm/matita/tests/bad_tests/Makefile
+++ b/helm/matita/tests/bad_tests/Makefile
@@ -32,10 +32,13 @@ verbose:
 %.opt:
 	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%)
 
-clean:
+clean_:
+	rm -r __*not_for_matita
+
+clean: clean_
 	$(H)$(MATITACLEAN) $(SRC)
 
-cleanall:
+cleanall: clean_
 	$(H)rm -f $(SRC:%.ma=%.moo)
 	$(MATITACLEAN) all
 
-- 
2.39.2