src/Tools/Code/code_scala.ML
changeset 41940 a3b68a7a0e15
parent 41939 eb9fb5a4d27f
child 43326 47cf4bc789aa
     1.1 --- a/src/Tools/Code/code_scala.ML	Sun Mar 13 13:57:20 2011 +0100
     1.2 +++ b/src/Tools/Code/code_scala.ML	Sun Mar 13 14:51:38 2011 +0100
     1.3 @@ -421,10 +421,8 @@
     1.4      (target, { serializer = serializer, literals = literals,
     1.5        check = { env_var = "SCALA_HOME",
     1.6          make_destination = fn p => Path.append p (Path.explode "ROOT.scala"),
     1.7 -        make_command = fn scala_home => fn _ =>
     1.8 -          "export JAVA_OPTS='-Xms128m -Xmx512m -Xss2m' && "
     1.9 -            ^ Path.implode (Path.append (Path.explode scala_home) (Path.explode "bin/scalac"))
    1.10 -            ^ " ROOT.scala" } })
    1.11 +        make_command = fn _ =>
    1.12 +          "env JAVA_OPTS='-Xms128m -Xmx512m -Xss2m' \"$SCALA_HOME/bin/scalac\" ROOT.scala" } })
    1.13    #> Code_Target.add_tyco_syntax target "fun"
    1.14       (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
    1.15          brackify_infix (1, R) fxy (