# HG changeset patch
# User kleing
# Date 1052205793 -7200
# Node ID 908f6776a59b30380931f91f243c2bd8baa98804
# Parent  233dd3bb23907f189db7af589f9e1546ff02226b
use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)

diff -r 233dd3bb2390 -r 908f6776a59b Admin/isatest-makeall
--- a/Admin/isatest-makeall	Mon May 05 18:36:00 2003 +0200
+++ b/Admin/isatest-makeall	Tue May 06 09:23:13 2003 +0200
@@ -7,16 +7,19 @@
 # DESCRIPTION: Run isatool makeall from specified distribution and settings.
 #              Send email if it fails.
 
+# canoncical home for all platforms
+HOME=/usr/stud/isatest
+
 ## global settings
 MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
 
-LOGPREFIX=~/log
+LOGPREFIX=$HOME/log
 
 MASTERLOG=$LOGPREFIX/isatest.log
 
 TMP=/tmp/isatest-makeall.$$
 
-MAIL=~/bin/pmail
+MAIL=$HOME/bin/pmail
 
 ## diagnostics
 
@@ -107,7 +110,7 @@
     then
         echo ------------------- test successful --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
         gzip -f $TESTLOG
-	rm -rf ~/isabelle-$SHORT
+	rm -rf $HOME/isabelle-$SHORT
     else
         echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
 	FAIL="$FAIL$SHORT "
diff -r 233dd3bb2390 -r 908f6776a59b Admin/isatest-makedist
--- a/Admin/isatest-makedist	Mon May 05 18:36:00 2003 +0200
+++ b/Admin/isatest-makedist	Tue May 06 09:23:13 2003 +0200
@@ -9,18 +9,20 @@
 # source bashrc, we're called by cron
 . ~/.bashrc
 
+# canoncical home for all platforms
+HOME=/usr/stud/isatest
 
 ## global settings
 MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
 
 TMP=/tmp/isatest-makedist.$$
-MAIL=~/bin/pmail
+MAIL=$HOME/bin/pmail
 
-LOGPREFIX=~/log
+LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
-DISTPREFIX=~/isadist
-MAKEDIST=~/bin/makedist
-MAKEALL=~/bin/isatest-makeall
+DISTPREFIX=$HOME/isadist
+MAKEDIST=$HOME/bin/makedist
+MAKEALL=$HOME/bin/isatest-makeall
 TAR=gtar
 
 SSH="ssh -f"
@@ -58,7 +60,7 @@
 rm -rf $DISTPREFIX >> $DISTLOG 2>&1
 
 echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1
-rm -rf ~/isabelle-*
+rm -rf $HOME/isabelle-*
 
 echo "### building distribution"  >> $DISTLOG 2>&1
 $MAKEDIST - >> $DISTLOG 2>&1
@@ -85,7 +87,7 @@
 $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
 
 echo "### generating development snapshot web page" >> $DISTLOG 2>&1
-(cd ~/devel-page; make)
+(cd $HOME/devel-page; make)
 
 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
 gzip -f $DISTLOG
@@ -96,8 +98,8 @@
 
 ## spawn test runs
 
-$SSH sunbroy2 "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
-$SSH atbroy51 "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"
-$SSH macbroy33 "$MAKEALL $DISTPREFIX ~/settings/mac-poly"
+$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml"
+$SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml"
+$SSH macbroy33 "$MAKEALL $DISTPREFIX $HOME/settings/mac-poly"
 
 ## end