4 CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
10 export DO_TESTS_EXTRA="$MARK\t$2"
12 scripts/do_tests.sh -no-color ./matitac.opt $LOGTOOPT tests/*.ma
13 #scripts/do_tests.sh -nocolor ./matitac $LOGTOBYTE tests/*.ma
20 ./configure 1>/dev/null
21 make all opt 1>/dev/null
24 ./configure 1>/dev/null
25 make matitac matitac.opt updater 1>/dev/null
26 sed "s/@@OWNER@@/profiler/" matita.conf.xml.sample > matita.conf.xml
34 export OCAMLRUNPARAM='o=1000000'
35 testit $IMPL "gc-off" 1>/dev/null 2>/dev/null
37 export OCAMLRUNPARAM=''
38 testit $IMPL "gc-on" 1>/dev/null 2>/dev/null
46 cvs -d $CVSROOT co helm/ocaml 1>/dev/null 2>/dev/null
47 cvs -d $CVSROOT co helm/matita 1>/dev/null 2>/dev/null
48 compile $PWD/helm/ocaml $PWD/helm/matita
49 run_tests $PWD/helm/matita > LOG
50 cat LOG | awk -f $PWD/helm/matita/scripts/insert.awk > INSERT.sql
51 cat INSERT.sql | mysql -u helm matita