equal
deleted
inserted
replaced
8 # Relies on being run in the isatest environment on sunbroy2. |
8 # Relies on being run in the isatest environment on sunbroy2. |
9 # |
9 # |
10 |
10 |
11 . ~/.bashrc |
11 . ~/.bashrc |
12 |
12 |
13 ## settings |
13 ## global settings |
14 MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de haftmann@in.tum.de berghofe@in.tum.de lp15@cam.ac.uk makarius@sketis.net" |
14 . ~/admin/isatest-settings |
15 |
15 |
16 DOCDIR=$HOME/Doc |
16 DOCDIR=$HOME/Doc |
17 DISTPREFIX=~/tmp/isadist |
|
18 |
17 |
19 MAXTIME=1800 |
18 MAXTIME=1800 |
20 |
19 |
21 ISABELLE_DEVEL=$DISTPREFIX/Isabelle |
20 ISABELLE_DEVEL=$DISTPREFIX/Isabelle |
22 DATE=$(date "+%Y-%m-%d") |
21 DATE=$(date "+%Y-%m-%d") |
23 |
22 |
24 LOG=~/log/isatest-doc-$DATE.log |
23 LOG=$LOGPREFIX/isatest-doc-$DATE.log |
25 MASTERLOG=~/log/isatest.log |
|
26 |
24 |
27 SHORT=sun-poly |
25 SHORT=sun-poly |
28 SETTINGS=~/settings/$SHORT |
26 SETTINGS=~/settings/$SHORT |
29 |
27 |
30 ISATOOL=$ISABELLE_DEVEL/bin/isatool |
28 ISATOOL=$ISABELLE_DEVEL/bin/isatool |
31 |
29 |
32 ERRORDIR=$HOME/var |
|
33 ERRORLOG=$ERRORDIR/error.log |
|
34 RUNNING=$HOME/var/running |
|
35 |
30 |
36 MAIL=~/afp/release/admin/mail-attach |
31 MAIL=~/afp/release/admin/mail-attach |
37 |
32 |
38 TMP=/tmp/isatest-doc.mail.tmp |
33 TMP=/tmp/isatest-doc.mail.tmp |
39 while [ -e $TMP ]; do TMP=$TMP.x; done |
34 while [ -e $TMP ]; do TMP=$TMP.x; done |