equal
deleted
inserted
replaced
7 |
7 |
8 ## global settings |
8 ## global settings |
9 |
9 |
10 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF" |
10 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF" |
11 |
11 |
12 export CVSROOT=/usr/proj/isabelle-repository/archive |
12 case ${HOST} in |
|
13 *broy*) |
|
14 export CVSROOT=/usr/proj/isabelle-repository/archive |
|
15 ;; |
|
16 *.cl.cam.ac.uk) |
|
17 export CVSROOT=sunbroy1.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/archive |
|
18 ;; |
|
19 esac |
|
20 |
13 DISTPREFIX=~/tmp/isadist |
21 DISTPREFIX=~/tmp/isadist |
14 |
22 |
15 umask 022 |
23 umask 022 |
16 |
24 |
17 TAR=tar |
25 TAR=tar |