# HG changeset patch
# User wenzelm
# Date 1216306608 -7200
# Node ID c2984f0684eea666edfde58b74797f016cfb1d0e
# Parent  93d36ef12f0808b331bb1cd9e300c9aadf031c02
assume GNU tar and find;
Admin/build all;
discontinued maketags;

diff -r 93d36ef12f08 -r c2984f0684ee Admin/makedist
--- a/Admin/makedist	Thu Jul 17 16:19:06 2008 +0200
+++ b/Admin/makedist	Thu Jul 17 16:56:48 2008 +0200
@@ -13,23 +13,9 @@
 export CVSROOT=/home/isabelle-repository/archive
 [ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@atbroy100.informatik.tu-muenchen.de:$CVSROOT"
 
-umask 022
-
-
-## executables
-
-TAR=tar
-type -path gtar >/dev/null && TAR=gtar
+[ -z "$CVS2CL" ] && type -path cvs2cl >/dev/null && CVS2CL=cvs2cl
 
-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"
+umask 022
 
 
 ## diagnostics
@@ -134,28 +120,15 @@
   cd ..
 fi
 
-$FIND . -name CVS -print | xargs rm -rf
-$FIND . -name .cvsignore -print | xargs rm -rf
-$FIND . "(" -name \*.thy -o -name \*.ML ")" -perm +111 -print | xargs chmod -x
-$FIND . -print | xargs chmod u+rw
+find . -name CVS -print | xargs rm -rf
+find . -name .cvsignore -print | xargs rm -rf
+find . "(" -name \*.thy -o -name \*.ML ")" -perm +111 -print | xargs chmod -x
+find . -print | xargs chmod u+rw
 
 
-# build docs
-
-echo "###"
-echo "### Building docs ..."
-echo "###"
+# build components
 
-cd "$DISTBASE/$DISTNAME/Doc"
-PDFLATEX=$(type -path pdflatex)
-
-for DOC in $(cat Dirs)
-do
-  pushd "$DOC" > /dev/null
-  make dvi || fail "DVI document for $DOC failed!"
-  { [ -n "$PDFLATEX" ] && make clean pdf; } || fail "PDF document for $DOC failed!"
-  popd
-done
+"$DISTBASE/$DISTNAME/Admin/build" all || fail "Failed to build distribution"
 
 
 # prepare dist dir for release
@@ -177,7 +150,7 @@
 
 cp Distribution/lib/html/library_index_content.template ../website/
 
-MOVE=$($FIND Doc \( -type f -a -not -type l -a -not -name isabelle_isar.pdf -a -not -name pghead.pdf -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) -a -print \) | grep -v 'gfx/.*pdf')
+MOVE=$(find Doc \( -type f -a -not -type l -a -not -name isabelle_isar.pdf -a -not -name pghead.pdf -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) -a -print \) | grep -v 'gfx/.*pdf')
 mv -f $MOVE Distribution/doc
 rm Distribution/doc/Isa-logics.eps
 rm Distribution/doc/codegen_process.pdf
@@ -190,20 +163,6 @@
 rmdir Distribution
 
 
-( cd lib/browser; make; ) || fail "Failed to build graph browser!"
-
-( cd lib/classes; ./mk; )
-[ -f lib/classes/isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
-
-if type -p scalac >/dev/null
-then
-  ( cd lib/jedit/plugin; ./mk; )
-  [ -f lib/jedit/isabelle.jar ] || fail "Failed to build jEdit plugin!"
-else
-  echo "Warning: Scala unavailable -- skipping jEdit plugin"
-fi
-
-
 cp doc/isabelle*.eps lib/logo
 
 
@@ -224,10 +183,8 @@
 perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version
 perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README
 
-( cd src; ../Admin/maketags; )
 
 rm -rf Admin
-rm -f TODO
 
 
 # create archive
@@ -254,11 +211,11 @@
 sync; sleep 3
 
 echo "$DISTNAME.tar.gz"
-"$TAR" cf "$DISTNAME.tar" Isabelle "$DISTNAME"
+tar cf "$DISTNAME.tar" Isabelle "$DISTNAME"
 gzip "$DISTNAME.tar"
 
 echo "${DISTNAME}_pdf.tar.gz"
-( cd pdf; "$TAR" cf "../${DISTNAME}_pdf.tar" "$DISTNAME"; )
+( cd pdf; tar cf "../${DISTNAME}_pdf.tar" "$DISTNAME"; )
 gzip "${DISTNAME}_pdf.tar"
 
 mv "pdf/$DISTNAME/doc/"*.pdf "$DISTNAME/doc"