4 CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
10 export DO_TESTS_EXTRA="$MARK\t$@"
11 make tests DO_TESTS_OPTS="-no-color -twice"
12 make tests.opt DO_TESTS_OPTS="-no-color -twice"
19 ./configure 1>/dev/null
20 make all opt 1>/dev/null
23 ./configure 1>/dev/null
24 make all opt 1>/dev/null
25 sed "s/@@OWNER@@/profiler/" matita.conf.xml.sample > matita.conf.xml
34 export OCAMLRUNPARAM='o=1000000'
36 export OCAMLRUNPARAM=''
45 cvs -d $CVSROOT co helm/ocaml 1>/dev/null 2>/dev/null
46 cvs -d $CVSROOT co helm/matita 1>/dev/null 2>/dev/null
47 compile $PWD/helm/ocaml $PWD/helm/matita
48 run_tests $PWD/helm/matita > LOG 2>/dev/null
49 cat LOG | grep -v "^.......Debug:" | awk -f $PWD/helm/matita/scripts/insert.awk > INSERT.sql
50 cat INSERT.sql | mysql -u helm -h mowgli.cs.unibo.it matita