src/Pure/Tools/build.scala
changeset 62490 39d01eaf5292
parent 62486 b737f8f37454
child 62508 d0b68218ea55
     1.1 --- a/src/Pure/Tools/build.scala	Tue Mar 01 17:26:53 2016 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Mar 01 19:42:59 2016 +0100
     1.3 @@ -567,9 +567,15 @@
     1.4          }))
     1.5  
     1.6      private val env =
     1.7 -      Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> output_standard_path,
     1.8 -        (if (is_pure(name)) "ISABELLE_PROCESS_OPTIONS" else "ARGS_FILE") ->
     1.9 -          File.standard_path(args_file))
    1.10 +    {
    1.11 +      val env0 =
    1.12 +        Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> output_standard_path,
    1.13 +          (if (is_pure(name)) "ISABELLE_PROCESS_OPTIONS" else "ARGS_FILE") ->
    1.14 +            File.standard_path(args_file))
    1.15 +      if (is_pure(name))
    1.16 +        env0 + ("ISABELLE_ML_DEBUGGER" -> info.options.bool("ML_debugger").toString)
    1.17 +      else env0
    1.18 +    }
    1.19  
    1.20      private val script =
    1.21        """