--- a/src/Tools/Code/code_scala.ML Sun Mar 13 13:57:20 2011 +0100
+++ b/src/Tools/Code/code_scala.ML Sun Mar 13 14:51:38 2011 +0100
@@ -421,10 +421,8 @@
(target, { serializer = serializer, literals = literals,
check = { env_var = "SCALA_HOME",
make_destination = fn p => Path.append p (Path.explode "ROOT.scala"),
- make_command = fn scala_home => fn _ =>
- "export JAVA_OPTS='-Xms128m -Xmx512m -Xss2m' && "
- ^ Path.implode (Path.append (Path.explode scala_home) (Path.explode "bin/scalac"))
- ^ " ROOT.scala" } })
+ make_command = fn _ =>
+ "env JAVA_OPTS='-Xms128m -Xmx512m -Xss2m' \"$SCALA_HOME/bin/scalac\" ROOT.scala" } })
#> Code_Target.add_tyco_syntax target "fun"
(SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
brackify_infix (1, R) fxy (