Admin/isatest-makedist
changeset 13246 e51efc2029e9
parent 13237 493d61afa731
child 13359 982827aacb39
equal deleted inserted replaced
13245:714f7a423a15 13246:e51efc2029e9
     9 # source bashrc, we're called by cron
     9 # source bashrc, we're called by cron
    10 . ~/.bashrc
    10 . ~/.bashrc
    11 
    11 
    12 
    12 
    13 ## global settings
    13 ## global settings
       
    14 MAILTO="kleing@in.tum.de test@jflex.de"
       
    15 
    14 LOGPREFIX=~/log
    16 LOGPREFIX=~/log
    15 MASTERLOG=$LOGPREFIX/isatest.log
    17 MASTERLOG=$LOGPREFIX/isatest.log
    16 DISTPREFIX=~/isadist
    18 DISTPREFIX=~/isadist
    17 MAKEDIST=~/bin/makedist
    19 MAKEDIST=~/bin/makedist
    18 MAKEALL=~/bin/isatest-makeall
    20 MAKEALL=~/bin/isatest-makeall
    64 if [ $? -ne 0 ]
    66 if [ $? -ne 0 ]
    65 then
    67 then
    66     echo ------------------- DIST BUILD FAILED --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    68     echo ------------------- DIST BUILD FAILED --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    67     ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
    69     ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
    68     echo "$(date) $HOSTNAME $PRG: dist build FAILED, elapsed time $ELAPSED." >> $MASTERLOG
    70     echo "$(date) $HOSTNAME $PRG: dist build FAILED, elapsed time $ELAPSED." >> $MASTERLOG
       
    71 
       
    72     for R in $MAILTO; do 
       
    73         mail -t $R <<EOM
       
    74 Subject: isabelle dist build failed
       
    75 
       
    76 Could not build isabelle distribution. Log file available at
       
    77 
       
    78 $HOSTNAME:$DISTLOG
       
    79 EOM
       
    80     done
       
    81 
    69     # more action here
    82     # more action here
    70     exit 1
    83     exit 1
    71 fi
    84 fi
    72 
    85 
    73 cd $DISTPREFIX >> $DISTLOG 2>&1
    86 cd $DISTPREFIX >> $DISTLOG 2>&1
    81 
    94 
    82 
    95 
    83 ## spawn test runs
    96 ## spawn test runs
    84 
    97 
    85 # run tests in parallel on multiprocessor sun 
    98 # run tests in parallel on multiprocessor sun 
    86 $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly"
    99 $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
    87 $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml"
   100 # $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml"
    88 
   101 
    89 # run tests sequentially on x86
   102 # run tests sequentially on x86
    90 $SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"
   103 $SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"
    91 
   104 
    92 ## end
   105 ## end