equal
deleted
inserted
replaced
82 done |
82 done |
83 |
83 |
84 if [ "$OUTDATED" = true ] |
84 if [ "$OUTDATED" = true ] |
85 then |
85 then |
86 echo "###" |
86 echo "###" |
87 echo "### Building Isabelle/Scala components ..." |
87 echo "### Building Isabelle/Scala layer ..." |
88 echo "###" |
88 echo "###" |
89 |
89 |
90 rm -rf classes && mkdir classes |
90 rm -rf classes && mkdir classes |
91 "$SCALA_HOME/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 "${SOURCES[@]}" || \ |
91 "$SCALA_HOME/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 "${SOURCES[@]}" || \ |
92 fail "Failed to compile sources" |
92 fail "Failed to compile sources" |