src/Tools/Code/code_scala.ML
changeset 37932 d00a3f47b607
parent 37893 0dbbc4c5a67e
child 37958 9728342bcd56
     1.1 --- a/src/Tools/Code/code_scala.ML	Thu Jul 22 11:29:31 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Thu Jul 22 12:07:30 2010 +0200
     1.3 @@ -429,7 +429,8 @@
     1.4      (target, { serializer = isar_serializer, literals = literals,
     1.5        check = { env_var = "SCALA_HOME", make_destination = I,
     1.6          make_command = fn scala_home => fn p => fn _ =>
     1.7 -          Path.implode (Path.append (Path.explode scala_home) (Path.explode "bin/scalac")) ^ " *.scala" } })
     1.8 +          "export JAVA_OPTS='-Xms128m -Xmx512m -Xss2m' && "
     1.9 +            ^ Path.implode (Path.append (Path.explode scala_home) (Path.explode "bin/scalac")) ^ " *.scala" } })
    1.10    #> Code_Target.add_syntax_tyco target "fun"
    1.11       (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
    1.12          brackify_infix (1, R) fxy (