+#!/bin/bash
+MARK=`date +%Y%m%d`
+TMPDIRNAME=.__$MARK
+CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
+
+function testit {
+ MARK=`date +%Y%m%d`
+ LOGTOOPT=/dev/null
+ 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
+}
+
+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
+}
+
+function run_tests {
+ OLD=`pwd`
+ cd $1
+ export OCAMLRUNPARAM='o=1000000'
+ 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"
+ cd $OLD
+}
+
+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
+compile $PWD/helm/ocaml $PWD/helm/matita
+run_tests $PWD/helm/matita #> LOG
+