equal
deleted
inserted
replaced
181 SCALAC_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -d classes" |
181 SCALAC_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -d classes" |
182 |
182 |
183 JFXRT="$ISABELLE_JDK_HOME/jre/lib/jfxrt.jar" |
183 JFXRT="$ISABELLE_JDK_HOME/jre/lib/jfxrt.jar" |
184 |
184 |
185 if [ "$TEST_PIDE" = true ]; then |
185 if [ "$TEST_PIDE" = true ]; then |
186 isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \ |
186 isabelle_scala scalac $SCALAC_OPTIONS \ |
|
187 -classpath "$(jvmpath "$JFXRT:classes")" "${PIDE_SOURCES[@]}" || \ |
187 fail "Failed to compile PIDE sources" |
188 fail "Failed to compile PIDE sources" |
188 isabelle_scala scalac $SCALAC_OPTIONS \ |
189 isabelle_scala scalac $SCALAC_OPTIONS \ |
189 -classpath "$(jvmpath "$JFXRT:classes")" "${PURE_SOURCES[@]}" || \ |
190 -classpath "$(jvmpath "$JFXRT:classes")" "${PURE_SOURCES[@]}" || \ |
190 fail "Failed to compile Pure sources" |
191 fail "Failed to compile Pure sources" |
191 else |
192 else |