added a getter maps updater

[helm.git] / helm / matita / scripts / profile_cvs.sh

diff --git a/helm/matita/scripts/profile_cvs.sh b/helm/matita/scripts/profile_cvs.sh
index 63eeee22d34147be0f34f7aa364d42f306aca422..7f2d4308f904e7ec9eb156c36f70c9125665c130 100755 (executable)
--- a/helm/matita/scripts/profile_cvs.sh
+++ b/helm/matita/scripts/profile_cvs.sh
@@ -9,33 +9,42 @@ function testit {
   LOGTOBYTE=/dev/null
   export DO_TESTS_EXTRA="$MARK\t$n"
   ls
-  scripts/do_tests.sh -nocolor ./matitac.opt $LOGTOOPT tests/*.ma
-  scripts/do_tests.sh -nocolor ./matitac $LOGTOBYTE tests/*.ma
+  scripts/do_tests.sh -no-color ./matitac.opt $LOGTOOPT tests/*.ma
+  #scripts/do_tests.sh -nocolor ./matitac $LOGTOBYTE tests/*.ma
 }
 
 function compile {
-  make -C $1 all opt 1>/dev/null 2>/dev/null
-  make -C $2 matitac matitac.opt 1>/dev/null 2>/dev/null
+  OLD=$PWD
+  cd $1
+  autoconf 1>/dev/null
+  ./configure 1>/dev/null
+  make all opt 1>/dev/null
+  cd $2
+  autoconf 1>/dev/null
+  ./configure 1>/dev/null
+  make matitac matitac.opt updater 1>/dev/null
+  ./updater
+  cd $OLD
 }
 
 function run_tests {
-  OLD=`pwd`
+  OLD=$PWD
   cd $1
   export OCAMLRUNPARAM='o=1000000'
-  testit $IMPL "off" 1>/dev/null 2>/dev/null
+  #testit $IMPL "off" 1>/dev/null 2>/dev/null
   testit $IMPL "off"
   export OCAMLRUNPARAM=''
-  testit $IMPL "on" 1>/dev/null 2>/dev/null
-  testit $IMPL "on"
+  #testit $IMPL "on" 1>/dev/null 2>/dev/null
+  #testit $IMPL "on"
   cd $OLD
 }
 
-rm -rf $TMPDIRNAME
-mkdir $TMPDIRNAME
+#rm -rf $TMPDIRNAME
+#mkdir $TMPDIRNAME
 cd $TMPDIRNAME
-
-cvs -d $CVSROOT co helm/ocaml 1>/dev/null 2>/dev/null
-cvs -d $CVSROOT co helm/matita 1>/dev/null 2>/dev/null
+#cvs -d $CVSROOT co helm/ocaml 1>/dev/null 2>/dev/null
+#cvs -d $CVSROOT co helm/matita 1>/dev/null 2>/dev/null
 compile $PWD/helm/ocaml $PWD/helm/matita
 run_tests $PWD/helm/matita #> LOG
+#rm -rf $TMPDIRNAME