equal
deleted
inserted
replaced
107 { |
107 { |
108 echo "###" |
108 echo "###" |
109 echo "### Building JVM components ..." |
109 echo "### Building JVM components ..." |
110 echo "###" |
110 echo "###" |
111 |
111 |
|
112 type -p scalac >/dev/null || fail "Scala compiler unavailable" |
|
113 |
112 pushd "$ISABELLE_SRC/Pure" >/dev/null |
114 pushd "$ISABELLE_SRC/Pure" >/dev/null |
113 "$ISATOOL" make jar || fail "Failed to build Pure.jar!" |
115 "$ISATOOL" make jar || fail "Failed to build Pure.jar!" |
114 popd >/dev/null |
116 popd >/dev/null |
115 |
117 |
116 pushd "$ISABELLE_LIB/classes" >/dev/null |
|
117 ./mk |
|
118 [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!" |
|
119 popd >/dev/null |
|
120 |
|
121 if [ -d "$HOME/lib/jedit/current" ]; then |
118 if [ -d "$HOME/lib/jedit/current" ]; then |
122 type -p scalac >/dev/null || fail "Scala compiler unavailable" |
|
123 pushd "$ISABELLE_LIB/jedit/plugin" >/dev/null |
119 pushd "$ISABELLE_LIB/jedit/plugin" >/dev/null |
124 ./mk |
120 ./mk |
125 [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!" |
121 [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!" |
126 popd >/dev/null |
122 popd >/dev/null |
127 else |
123 else |