Admin/isatest-makedist
changeset 13962 908f6776a59b
parent 13955 8ab1d3e73bb1
child 13988 28c953b54cbe
     1.1 --- a/Admin/isatest-makedist	Mon May 05 18:36:00 2003 +0200
     1.2 +++ b/Admin/isatest-makedist	Tue May 06 09:23:13 2003 +0200
     1.3 @@ -9,18 +9,20 @@
     1.4  # source bashrc, we're called by cron
     1.5  . ~/.bashrc
     1.6  
     1.7 +# canoncical home for all platforms
     1.8 +HOME=/usr/stud/isatest
     1.9  
    1.10  ## global settings
    1.11  MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
    1.12  
    1.13  TMP=/tmp/isatest-makedist.$$
    1.14 -MAIL=~/bin/pmail
    1.15 +MAIL=$HOME/bin/pmail
    1.16  
    1.17 -LOGPREFIX=~/log
    1.18 +LOGPREFIX=$HOME/log
    1.19  MASTERLOG=$LOGPREFIX/isatest.log
    1.20 -DISTPREFIX=~/isadist
    1.21 -MAKEDIST=~/bin/makedist
    1.22 -MAKEALL=~/bin/isatest-makeall
    1.23 +DISTPREFIX=$HOME/isadist
    1.24 +MAKEDIST=$HOME/bin/makedist
    1.25 +MAKEALL=$HOME/bin/isatest-makeall
    1.26  TAR=gtar
    1.27  
    1.28  SSH="ssh -f"
    1.29 @@ -58,7 +60,7 @@
    1.30  rm -rf $DISTPREFIX >> $DISTLOG 2>&1
    1.31  
    1.32  echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1
    1.33 -rm -rf ~/isabelle-*
    1.34 +rm -rf $HOME/isabelle-*
    1.35  
    1.36  echo "### building distribution"  >> $DISTLOG 2>&1
    1.37  $MAKEDIST - >> $DISTLOG 2>&1
    1.38 @@ -85,7 +87,7 @@
    1.39  $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
    1.40  
    1.41  echo "### generating development snapshot web page" >> $DISTLOG 2>&1
    1.42 -(cd ~/devel-page; make)
    1.43 +(cd $HOME/devel-page; make)
    1.44  
    1.45  echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    1.46  gzip -f $DISTLOG
    1.47 @@ -96,8 +98,8 @@
    1.48  
    1.49  ## spawn test runs
    1.50  
    1.51 -$SSH sunbroy2 "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
    1.52 -$SSH atbroy51 "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"
    1.53 -$SSH macbroy33 "$MAKEALL $DISTPREFIX ~/settings/mac-poly"
    1.54 +$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml"
    1.55 +$SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml"
    1.56 +$SSH macbroy33 "$MAKEALL $DISTPREFIX $HOME/settings/mac-poly"
    1.57  
    1.58  ## end