helm/matita/scripts/profile_cvs.sh

   1 #!/bin/bash
   2 MARK=`date +%Y%m%d`
   3 TMPDIRNAME=.__$MARK
   4 CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
   5
   6 function testit {
   7   MARK=`date +%Y%m%d`
   8   LOGTOOPT=/dev/null
   9   LOGTOBYTE=/dev/null
  10   export DO_TESTS_EXTRA="$MARK\t$n"
  11   ls
  12   scripts/do_tests.sh -nocolor ./matitac.opt $LOGTOOPT tests/*.ma
  13   scripts/do_tests.sh -nocolor ./matitac $LOGTOBYTE tests/*.ma
  14 }
  15
  16 function compile {
  17   make -C $1 all opt 1>/dev/null 2>/dev/null
  18   make -C $2 matitac matitac.opt 1>/dev/null 2>/dev/null
  19 }
  20
  21 function run_tests {
  22   OLD=`pwd`
  23   cd $1
  24   export OCAMLRUNPARAM='o=1000000'
  25   testit $IMPL "off" 1>/dev/null 2>/dev/null
  26   testit $IMPL "off"
  27   export OCAMLRUNPARAM=''
  28   testit $IMPL "on" 1>/dev/null 2>/dev/null
  29   testit $IMPL "on"
  30   cd $OLD
  31 }
  32
  33 rm -rf $TMPDIRNAME
  34 mkdir $TMPDIRNAME
  35 cd $TMPDIRNAME
  36
  37 cvs -d $CVSROOT co helm/ocaml 1>/dev/null 2>/dev/null
  38 cvs -d $CVSROOT co helm/matita 1>/dev/null 2>/dev/null
  39 compile $PWD/helm/ocaml $PWD/helm/matita
  40 run_tests $PWD/helm/matita #> LOG
  41