Admin/build
changeset 28956 64754369cee3
parent 28504 7ad7d7d6df47
child 29153 789cd671636e
     1.1 --- a/Admin/build	Wed Dec 03 21:02:20 2008 +0100
     1.2 +++ b/Admin/build	Wed Dec 03 21:15:46 2008 +0100
     1.3 @@ -1,7 +1,5 @@
     1.4  #!/usr/bin/env bash
     1.5  #
     1.6 -# $Id$
     1.7 -#
     1.8  # Administrative build for Isabelle source distribution.
     1.9  
    1.10  ## global environment
    1.11 @@ -14,19 +12,8 @@
    1.12  
    1.13  ## directory layout
    1.14  
    1.15 -ISABELLE_DIR="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
    1.16 -
    1.17 -if [ -d "$ISABELLE_DIR/Distribution" ]; then
    1.18 -  ISABELLE_TOOL="$ISABELLE_DIR/Distribution/bin/isabelle"
    1.19 -  ISABELLE_LIB="$ISABELLE_DIR/Distribution/lib"
    1.20 -  ISABELLE_SRC="$ISABELLE_DIR"
    1.21 -  ISABELLE_DOC_SRC="$ISABELLE_DIR/Doc"
    1.22 -else
    1.23 -  ISABELLE_TOOL="$ISABELLE_DIR/bin/isabelle"
    1.24 -  ISABELLE_LIB="$ISABELLE_DIR/lib"
    1.25 -  ISABELLE_SRC="$ISABELLE_DIR/src"
    1.26 -  ISABELLE_DOC_SRC="$ISABELLE_DIR/doc-src"
    1.27 -fi
    1.28 +ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
    1.29 +ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
    1.30  
    1.31  
    1.32  ## diagnostics
    1.33 @@ -81,7 +68,7 @@
    1.34    echo "### Building graph browser ..."
    1.35    echo "###"
    1.36  
    1.37 -  cd "$ISABELLE_LIB/browser"
    1.38 +  cd "$ISABELLE_HOME/lib/browser"
    1.39    make clean all || fail "Failed to build graph browser!"
    1.40  }
    1.41  
    1.42 @@ -92,7 +79,7 @@
    1.43    echo "### Building documentation ..."
    1.44    echo "###"
    1.45  
    1.46 -  cd "$ISABELLE_DOC_SRC"
    1.47 +  cd "$ISABELLE_HOME/doc-src"
    1.48    for DOC in $(cat Dirs)
    1.49    do
    1.50      pushd "$DOC" >/dev/null
    1.51 @@ -111,12 +98,12 @@
    1.52  
    1.53    type -p scalac >/dev/null || fail "Scala compiler unavailable"
    1.54  
    1.55 -  pushd "$ISABELLE_SRC/Pure" >/dev/null
    1.56 +  pushd "$ISABELLE_HOME/src/Pure" >/dev/null
    1.57    "$ISABELLE_TOOL" make jar || fail "Failed to build Pure.jar!"
    1.58    popd >/dev/null
    1.59  
    1.60    if [ -d "$HOME/lib/jedit/current" ]; then
    1.61 -    pushd "$ISABELLE_LIB/jedit/plugin" >/dev/null
    1.62 +    pushd "$ISABELLE_HOME/lib/jedit/plugin" >/dev/null
    1.63      ./mk
    1.64      [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
    1.65      popd >/dev/null