From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 24 Dec 2005 13:36:29 +0000 (+0000)
Subject: attempt to move nightly profiling to svn
X-Git-Tag: make_still_working~7915
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6626baa0f908872c13e9ed738b2d88cd68f0ba78;p=helm.git

attempt to move nightly profiling to svn
---

diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh
index b545b108d..d5b581943 100644
--- a/helm/matita/scripts/crontab.sh
+++ b/helm/matita/scripts/crontab.sh
@@ -3,7 +3,7 @@ TODAY=`date +%Y%m%d`
 YESTERDAY=`date -d yesterday +%Y%m%d`
 TMPDIRNAME=$HOME/__${TODAY}_crontab
 TMPDIRNAMEOLD=$HOME/__${YESTERDAY}_crontab
-CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
+SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/"
 SHELLTIME2CENTSPHP=helm/matita/scripts/shell_time2cents.php
 SHELLADDERPHP=helm/matita/scripts/shell_adder.php
 COMMONPHP=helm/matita/scripts/public_html/common.php
@@ -14,8 +14,8 @@ mkdir -p $TMPDIRNAME
 rm -rf $TMPDIRNAMEOLD
 cd $TMPDIRNAME
 rm -rf helm
-cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null
-helm/matita/scripts/profile_cvs.sh 2> LOG
+svn co ${SVNROOT}helm/matita/scripts/profile_svn.sh ./ > LOG.svn 2>&1
+profile_svn.sh 2> LOG
 
 MARK=`echo "select distinct mark from bench where mark like '$TODAY%' order by mark" | mysql -u helm matita | tail -n 1`
 LASTMARK=`echo "select distinct mark from bench where mark like '$YESTERDAY%' order by mark" | mysql -u helm matita | tail -n 1`
diff --git a/helm/matita/scripts/profile_cvs.sh b/helm/matita/scripts/profile_cvs.sh
deleted file mode 100755
index 40e19b841..000000000
--- a/helm/matita/scripts/profile_cvs.sh
+++ /dev/null
@@ -1,55 +0,0 @@
-#!/bin/bash
-MARK=`date +%Y%m%d%H%M`
-TMPDIRNAME=__${MARK}_compilation
-CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
-
-function testit {
-  LOGTOOPT=/dev/null
-  LOGTOBYTE=/dev/null
-  export DO_TESTS_EXTRA="$MARK\t$@"
-  make tests DO_TESTS_OPTS="-no-color -twice -keep-logs"
-  make tests.opt DO_TESTS_OPTS="-no-color -twice -keep-logs"
-}
-
-function compile {
-  LOCALOLD=$PWD
-  cd $1
-  autoconf 1>/dev/null
-  ./configure 1>/dev/null
-  make all opt 1>/dev/null
-  cd $2
-  autoconf 1>/dev/null
-  ./configure 1>/dev/null
-  cp matita.conf.xml.sample matita.conf.xml
-  make all opt 1>/dev/null
-  cd $LOCALOLD
-}
-
-function run_tests {
-  LOCALOLD=$PWD
-  cd $1
-  ./matitaclean all
-  mkdir .matita
-  export OCAMLRUNPARAM='o=1000000'
-  testit "gc-off"
-  export OCAMLRUNPARAM=''
-  testit "gc-on"
-  cd $LOCALOLD
-}
-
-OLD=$PWD
-rm -rf $TMPDIRNAME
-mkdir $TMPDIRNAME
-mkdir $TMPDIRNAME.HOME
-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
-
-export HOME="`pwd`/../$TMPDIRNAME.HOME"
-compile $PWD/helm/ocaml $PWD/helm/matita
-run_tests $PWD/helm/matita > LOG 2>/dev/null
-
-cat LOG | grep "\(OK\|FAIL\)" | grep "\(gc-on\|gc-off\)" | awk -f $PWD/helm/matita/scripts/insert.awk > INSERT.sql
-cat INSERT.sql | mysql -u helm -h mowgli.cs.unibo.it matita
-cd $OLD
-#rm -rf $TMPDIRNAME
diff --git a/helm/matita/scripts/profile_svn.sh b/helm/matita/scripts/profile_svn.sh
new file mode 100755
index 000000000..6265e4d9d
--- /dev/null
+++ b/helm/matita/scripts/profile_svn.sh
@@ -0,0 +1,62 @@
+#!/bin/bash
+MARK=`date +%Y%m%d%H%M`
+TMPDIRNAME=__${MARK}_compilation
+SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/"
+
+function testit {
+  LOGTOOPT=/dev/null
+  LOGTOBYTE=/dev/null
+  export DO_TESTS_EXTRA="$MARK\t$@"
+  make tests DO_TESTS_OPTS="-no-color -twice -keep-logs"
+  make tests.opt DO_TESTS_OPTS="-no-color -twice -keep-logs"
+}
+
+function compile {
+  LOCALOLD=$PWD
+  cd $1
+  autoconf 1>/dev/null
+  ./configure 1>/dev/null
+  make all opt 1>/dev/null
+  cd $2
+  autoconf 1>/dev/null
+  ./configure 1>/dev/null
+  cp matita.conf.xml.sample matita.conf.xml
+  make all opt 1>/dev/null
+  cd $LOCALOLD
+}
+
+function run_tests {
+  LOCALOLD=$PWD
+  cd $1
+  ./matitaclean all
+  mkdir .matita
+  export OCAMLRUNPARAM='o=1000000'
+  testit "gc-off"
+  export OCAMLRUNPARAM=''
+  testit "gc-on"
+  cd $LOCALOLD
+}
+
+OLD=$PWD
+rm -rf $TMPDIRNAME
+mkdir $TMPDIRNAME
+mkdir $TMPDIRNAME.HOME
+cd $TMPDIRNAME
+svn co -N $SVNROOT
+cd trunk 
+svn update -N helm
+cd helm
+svn update ocaml
+svn update matita
+cd ..
+cd ..
+ln -s trunk/helm .
+
+export HOME="`pwd`/../$TMPDIRNAME.HOME"
+compile $PWD/helm/ocaml $PWD/helm/matita
+run_tests $PWD/helm/matita > LOG 2>/dev/null
+
+cat LOG | grep "\(OK\|FAIL\)" | grep "\(gc-on\|gc-off\)" | awk -f $PWD/helm/matita/scripts/insert.awk > INSERT.sql
+cat INSERT.sql | mysql -u helm -h mowgli.cs.unibo.it matita
+cd $OLD
+#rm -rf $TMPDIRNAME