remote CVSROOT: default to atbroy100 instead of sunbroy2;
authorwenzelm
Mon Mar 24 15:59:16 2008 +0100 (2008-03-24 ago)
changeset 263702a4f0d0621f1
parent 26369 01ee1168088b
child 26371 8e4286e2bffe
remote CVSROOT: default to atbroy100 instead of sunbroy2;
adapted some paths;
Admin/makedist
     1.1 --- a/Admin/makedist	Mon Mar 24 15:55:22 2008 +0100
     1.2 +++ b/Admin/makedist	Mon Mar 24 15:59:16 2008 +0100
     1.3 @@ -11,16 +11,26 @@
     1.4  SRCS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents Tools ZF"
     1.5  
     1.6  export CVSROOT=/usr/proj/isabelle-repository/archive
     1.7 -[ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
     1.8 +[ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@atbroy100.informatik.tu-muenchen.de:$CVSROOT"
     1.9  
    1.10  umask 022
    1.11  
    1.12 +
    1.13 +## executables
    1.14 +
    1.15  TAR=tar
    1.16  type -path gtar >/dev/null && TAR=gtar
    1.17  
    1.18  FIND=find
    1.19  type -path gfind >/dev/null && FIND=gfind
    1.20  
    1.21 +[ -z "$CVS2CL" ] && type -path cvs2cl && CVS2CL=cvs2cl
    1.22 +
    1.23 +#paranoia setting for sunbroy
    1.24 +PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH"
    1.25 +
    1.26 +PATH="/home/scala/bin:$PATH"
    1.27 +
    1.28  
    1.29  ## diagnostics
    1.30  
    1.31 @@ -47,7 +57,7 @@
    1.32      * Check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS.
    1.33      * Try "isatool makeall all" with Poly/ML, SML/NJ, etc.
    1.34      * Tag the current repository version, e.g.:
    1.35 -        cvs -d /usr/proj/isabelle-repository/archive rtag IsabelleXXXX isabelle
    1.36 +        cvs -d /home/isabelle-repository/archive rtag IsabelleXXXX isabelle
    1.37        PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING!
    1.38  
    1.39     After running this script:
    1.40 @@ -179,9 +189,6 @@
    1.41  rmdir Distribution
    1.42  
    1.43  
    1.44 -#paranoia setting for sunbroy
    1.45 -PATH=/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH
    1.46 -
    1.47  ( cd lib/browser; make; ) || fail "Failed to build graph browser!"
    1.48  
    1.49  ( cd lib/classes; ./mk; )