# HG changeset patch
# User wenzelm
# Date 1206370756 -3600
# Node ID 2a4f0d0621f1a1736de996b09ad2916fbd807866
# Parent  01ee1168088b4e1d7d85c73092656f29d56ba713
remote CVSROOT: default to atbroy100 instead of sunbroy2;
adapted some paths;

diff -r 01ee1168088b -r 2a4f0d0621f1 Admin/makedist
--- a/Admin/makedist	Mon Mar 24 15:55:22 2008 +0100
+++ b/Admin/makedist	Mon Mar 24 15:59:16 2008 +0100
@@ -11,16 +11,26 @@
 SRCS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents Tools ZF"
 
 export CVSROOT=/usr/proj/isabelle-repository/archive
-[ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
+[ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@atbroy100.informatik.tu-muenchen.de:$CVSROOT"
 
 umask 022
 
+
+## executables
+
 TAR=tar
 type -path gtar >/dev/null && TAR=gtar
 
 FIND=find
 type -path gfind >/dev/null && FIND=gfind
 
+[ -z "$CVS2CL" ] && type -path cvs2cl && CVS2CL=cvs2cl
+
+#paranoia setting for sunbroy
+PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH"
+
+PATH="/home/scala/bin:$PATH"
+
 
 ## diagnostics
 
@@ -47,7 +57,7 @@
     * Check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS.
     * Try "isatool makeall all" with Poly/ML, SML/NJ, etc.
     * Tag the current repository version, e.g.:
-        cvs -d /usr/proj/isabelle-repository/archive rtag IsabelleXXXX isabelle
+        cvs -d /home/isabelle-repository/archive rtag IsabelleXXXX isabelle
       PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING!
 
    After running this script:
@@ -179,9 +189,6 @@
 rmdir Distribution
 
 
-#paranoia setting for sunbroy
-PATH=/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH
-
 ( cd lib/browser; make; ) || fail "Failed to build graph browser!"
 
 ( cd lib/classes; ./mk; )