equal
deleted
inserted
replaced
9 |
9 |
10 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist} |
10 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist} |
11 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF" |
11 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF" |
12 |
12 |
13 export CVSROOT=/usr/proj/isabelle-repository/archive |
13 export CVSROOT=/usr/proj/isabelle-repository/archive |
14 [ ! -d "$CVSROOT" ] && CVSROOT="sunbroy2.informatik.tu-muenchen.de:$CVSROOT" |
14 [ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@sunbroy2.informatik.tu-muenchen.de:$CVSROOT" |
15 |
15 |
16 umask 022 |
16 umask 022 |
17 |
17 |
18 TAR=tar |
18 TAR=tar |
19 type -path gtar >/dev/null && TAR=gtar |
19 type -path gtar >/dev/null && TAR=gtar |