equal
deleted
inserted
replaced
137 } |
137 } |
138 |
138 |
139 rm -rf classes && mkdir classes |
139 rm -rf classes && mkdir classes |
140 |
140 |
141 ( |
141 ( |
|
142 #workaround for scalac |
|
143 function stty() { :; } |
|
144 export -f stty |
|
145 |
142 CLASSPATH="$CLASSPATH:$PURE_JAR" |
146 CLASSPATH="$CLASSPATH:$PURE_JAR" |
143 CLASSPATH="$(jvmpath "$CLASSPATH")" |
147 CLASSPATH="$(jvmpath "$CLASSPATH")" |
144 exec "$SCALA_HOME/bin/scalac" $ISABELLE_SCALA_BUILD_OPTIONS -d classes "${SOURCES[@]}" |
148 exec "$SCALA_HOME/bin/scalac" $ISABELLE_SCALA_BUILD_OPTIONS -d classes "${SOURCES[@]}" |
145 ) || fail "Failed to compile sources" |
149 ) || fail "Failed to compile sources" |
146 |
150 |