equal
deleted
inserted
replaced
7 # DESCRIPTION: Build distribution and run isatest-make for lots of platforms. |
7 # DESCRIPTION: Build distribution and run isatest-make for lots of platforms. |
8 |
8 |
9 # source bashrc, we're called by cron |
9 # source bashrc, we're called by cron |
10 . ~/.bashrc |
10 . ~/.bashrc |
11 |
11 |
|
12 # canoncical home for all platforms |
|
13 HOME=/usr/stud/isatest |
12 |
14 |
13 ## global settings |
15 ## global settings |
14 MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk" |
16 MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk" |
15 |
17 |
16 TMP=/tmp/isatest-makedist.$$ |
18 TMP=/tmp/isatest-makedist.$$ |
17 MAIL=~/bin/pmail |
19 MAIL=$HOME/bin/pmail |
18 |
20 |
19 LOGPREFIX=~/log |
21 LOGPREFIX=$HOME/log |
20 MASTERLOG=$LOGPREFIX/isatest.log |
22 MASTERLOG=$LOGPREFIX/isatest.log |
21 DISTPREFIX=~/isadist |
23 DISTPREFIX=$HOME/isadist |
22 MAKEDIST=~/bin/makedist |
24 MAKEDIST=$HOME/bin/makedist |
23 MAKEALL=~/bin/isatest-makeall |
25 MAKEALL=$HOME/bin/isatest-makeall |
24 TAR=gtar |
26 TAR=gtar |
25 |
27 |
26 SSH="ssh -f" |
28 SSH="ssh -f" |
27 |
29 |
28 ## diagnostics |
30 ## diagnostics |
56 |
58 |
57 echo "### cleaning up old dist directory" >> $DISTLOG 2>&1 |
59 echo "### cleaning up old dist directory" >> $DISTLOG 2>&1 |
58 rm -rf $DISTPREFIX >> $DISTLOG 2>&1 |
60 rm -rf $DISTPREFIX >> $DISTLOG 2>&1 |
59 |
61 |
60 echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1 |
62 echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1 |
61 rm -rf ~/isabelle-* |
63 rm -rf $HOME/isabelle-* |
62 |
64 |
63 echo "### building distribution" >> $DISTLOG 2>&1 |
65 echo "### building distribution" >> $DISTLOG 2>&1 |
64 $MAKEDIST - >> $DISTLOG 2>&1 |
66 $MAKEDIST - >> $DISTLOG 2>&1 |
65 |
67 |
66 if [ $? -ne 0 ] |
68 if [ $? -ne 0 ] |
83 |
85 |
84 cd $DISTPREFIX >> $DISTLOG 2>&1 |
86 cd $DISTPREFIX >> $DISTLOG 2>&1 |
85 $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1 |
87 $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1 |
86 |
88 |
87 echo "### generating development snapshot web page" >> $DISTLOG 2>&1 |
89 echo "### generating development snapshot web page" >> $DISTLOG 2>&1 |
88 (cd ~/devel-page; make) |
90 (cd $HOME/devel-page; make) |
89 |
91 |
90 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
92 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
91 gzip -f $DISTLOG |
93 gzip -f $DISTLOG |
92 |
94 |
93 ELAPSED=$("$HOME/bin/showtime" "$SECONDS") |
95 ELAPSED=$("$HOME/bin/showtime" "$SECONDS") |
94 echo "$(date) $HOSTNAME $PRG: dist build successful, elapsed time $ELAPSED." >> $MASTERLOG |
96 echo "$(date) $HOSTNAME $PRG: dist build successful, elapsed time $ELAPSED." >> $MASTERLOG |
95 |
97 |
96 |
98 |
97 ## spawn test runs |
99 ## spawn test runs |
98 |
100 |
99 $SSH sunbroy2 "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml" |
101 $SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml" |
100 $SSH atbroy51 "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml" |
102 $SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml" |
101 $SSH macbroy33 "$MAKEALL $DISTPREFIX ~/settings/mac-poly" |
103 $SSH macbroy33 "$MAKEALL $DISTPREFIX $HOME/settings/mac-poly" |
102 |
104 |
103 ## end |
105 ## end |