3 # Administrative build for Isabelle source distribution.
7 if [ -z "$ISABELLE_HOME" ]; then
8 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
9 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
15 PRG="$(basename "$0")"
23 Produce Isabelle distribution modules from current repository sources.
24 The MODULES list may contain any of the following:
29 jars_test test separate build of jars
30 jars_fresh fresh build of jars
43 ## process command line
45 [ "$#" -eq 0 ] && usage
47 MODULES="$@"; shift "$#"
59 function build_browser ()
61 pushd "$ISABELLE_HOME/lib/browser" >/dev/null
62 "$ISABELLE_TOOL" env ./build || exit $?
67 function build_jars ()
69 pushd "$ISABELLE_HOME/src/Pure" >/dev/null
70 "$ISABELLE_TOOL" env ./build-jars "$@" || exit $?
77 #FIXME workarounds for scalac 2.11.0
78 export CYGWIN="nodosfilewarning"
79 function stty() { :; }
82 for MODULE in $MODULES
86 browser) build_browser;;
88 jars_fresh) build_jars -f;;
89 jars_test) build_jars -t;;
90 *) fail "Bad module $MODULE"