3 # Administrative build for Isabelle source distribution.
7 #paranoia setting for sunbroy
8 PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH"
10 PATH="/home/scala/current/bin:$PATH"
11 if [ -z "$SCALA_HOME" ]; then
12 export SCALA_HOME="$(dirname "$(dirname "$(type -p scalac)")")"
18 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
19 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
24 PRG="$(basename "$0")"
32 Produce Isabelle distribution modules from current repository sources.
33 The MODULES list may contain any of the following:
36 browser graph browser (requires jdk)
37 doc documentation (requires latex and rail)
38 jars Scala/JVM components (requires scala)
51 ## process command line
53 [ "$#" -eq 0 ] && usage
55 MODULES="$@"; shift "$#"
68 function build_browser ()
71 echo "### Building graph browser ..."
74 cd "$ISABELLE_HOME/lib/browser"
75 make clean all || fail "Failed to build graph browser!"
82 echo "### Building documentation ..."
85 cd "$ISABELLE_HOME/doc-src"
86 for DOC in $(cat Dirs)
88 pushd "$DOC" >/dev/null
89 make clean dvi || fail "DVI document for $DOC failed!"
90 make clean pdf || fail "PDF document for $DOC failed!"
96 function build_jars ()
99 echo "### Building Scala/JVM components ..."
102 [ -z "$SCALA_HOME" ] && fail "Scala unavailable: unknown SCALA_HOME"
104 pushd "$ISABELLE_HOME/src/Pure" >/dev/null
105 "$ISABELLE_TOOL" make jars || fail "Failed to build isabelle-scala.jar"
112 for MODULE in $MODULES
116 browser) build_browser;;
119 *) fail "Bad module $MODULE"