4 CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
10 export DO_TESTS_EXTRA="$MARK\t$n"
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
33 export OCAMLRUNPARAM='o=1000000'
34 #testit $IMPL "off" 1>/dev/null 2>/dev/null
36 export OCAMLRUNPARAM=''
37 #testit $IMPL "on" 1>/dev/null 2>/dev/null
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