equal
deleted
inserted
replaced
15 ## directory layout |
15 ## directory layout |
16 |
16 |
17 ISABELLE_DIR="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" |
17 ISABELLE_DIR="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" |
18 |
18 |
19 if [ -d "$ISABELLE_DIR/Distribution" ]; then |
19 if [ -d "$ISABELLE_DIR/Distribution" ]; then |
20 ISATOOL="$ISABELLE_DIR/Distribution/bin/isatool" |
20 ISABELLE_TOOL="$ISABELLE_DIR/Distribution/bin/isatool" |
21 ISABELLE_LIB="$ISABELLE_DIR/Distribution/lib" |
21 ISABELLE_LIB="$ISABELLE_DIR/Distribution/lib" |
22 ISABELLE_SRC="$ISABELLE_DIR" |
22 ISABELLE_SRC="$ISABELLE_DIR" |
23 ISABELLE_DOC_SRC="$ISABELLE_DIR/Doc" |
23 ISABELLE_DOC_SRC="$ISABELLE_DIR/Doc" |
24 else |
24 else |
25 ISATOOL="$ISABELLE_DIR/bin/isatool" |
25 ISABELLE_TOOL="$ISABELLE_DIR/bin/isatool" |
26 ISABELLE_LIB="$ISABELLE_DIR/lib" |
26 ISABELLE_LIB="$ISABELLE_DIR/lib" |
27 ISABELLE_SRC="$ISABELLE_DIR/src" |
27 ISABELLE_SRC="$ISABELLE_DIR/src" |
28 ISABELLE_DOC_SRC="$ISABELLE_DIR/doc-src" |
28 ISABELLE_DOC_SRC="$ISABELLE_DIR/doc-src" |
29 fi |
29 fi |
30 |
30 |
110 echo "###" |
110 echo "###" |
111 |
111 |
112 type -p scalac >/dev/null || fail "Scala compiler unavailable" |
112 type -p scalac >/dev/null || fail "Scala compiler unavailable" |
113 |
113 |
114 pushd "$ISABELLE_SRC/Pure" >/dev/null |
114 pushd "$ISABELLE_SRC/Pure" >/dev/null |
115 "$ISATOOL" make jar || fail "Failed to build Pure.jar!" |
115 "$ISABELLE_TOOL" make jar || fail "Failed to build Pure.jar!" |
116 popd >/dev/null |
116 popd >/dev/null |
117 |
117 |
118 if [ -d "$HOME/lib/jedit/current" ]; then |
118 if [ -d "$HOME/lib/jedit/current" ]; then |
119 pushd "$ISABELLE_LIB/jedit/plugin" >/dev/null |
119 pushd "$ISABELLE_LIB/jedit/plugin" >/dev/null |
120 ./mk |
120 ./mk |