src/Tools/Code/code_scala.ML
changeset 38863 9070a7c356c9
parent 38856 168dba35ecf3
child 38910 6af1d8673cbf
     1.1 --- a/src/Tools/Code/code_scala.ML	Mon Aug 30 15:52:09 2010 +0900
     1.2 +++ b/src/Tools/Code/code_scala.ML	Mon Aug 30 09:28:02 2010 +0200
     1.3 @@ -521,9 +521,9 @@
     1.4    Code_Target.add_target
     1.5      (target, { serializer = isar_serializer, literals = literals,
     1.6        check = { env_var = "SCALA_HOME", make_destination = fn p => Path.append p (Path.explode "ROOT.scala"),
     1.7 -        make_command = fn scala_home => fn p => fn _ =>
     1.8 +        make_command = fn scala_home => fn _ =>
     1.9            "export JAVA_OPTS='-Xms128m -Xmx512m -Xss2m' && "
    1.10 -            ^ Path.implode (Path.append (Path.explode scala_home) (Path.explode "bin/scalac")) ^ " " ^ File.shell_path p } })
    1.11 +            ^ Path.implode (Path.append (Path.explode scala_home) (Path.explode "bin/scalac")) ^ " ROOT.scala" } })
    1.12    #> Code_Target.add_syntax_tyco target "fun"
    1.13       (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
    1.14          brackify_infix (1, R) fxy (