From 6626baa0f908872c13e9ed738b2d88cd68f0ba78 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 24 Dec 2005 13:36:29 +0000
Subject: [PATCH] attempt to move nightly profiling to svn

---
 helm/matita/scripts/crontab.sh                      |  6 +++---
 .../scripts/{profile_cvs.sh => profile_svn.sh}      | 13 ++++++++++---
 2 files changed, 13 insertions(+), 6 deletions(-)
 rename helm/matita/scripts/{profile_cvs.sh => profile_svn.sh} (86%)

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_svn.sh
similarity index 86%
rename from helm/matita/scripts/profile_cvs.sh
rename to helm/matita/scripts/profile_svn.sh
index 40e19b841..6265e4d9d 100755
--- a/helm/matita/scripts/profile_cvs.sh
+++ b/helm/matita/scripts/profile_svn.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 MARK=`date +%Y%m%d%H%M`
 TMPDIRNAME=__${MARK}_compilation
-CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
+SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/"
 
 function testit {
   LOGTOOPT=/dev/null
@@ -42,8 +42,15 @@ 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
+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
-- 
2.39.2