src/Pure/Tools/build.scala
changeset 60958 5d70b5c509f8
parent 60215 5fb4990dfc73
child 60959 3565c9f407ec
     1.1 --- a/src/Pure/Tools/build.scala	Mon Aug 17 19:34:15 2015 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Mon Aug 17 21:22:55 2015 +0200
     1.3 @@ -590,11 +590,16 @@
     1.4                  (info.chapter, (name, theories)))))))))))
     1.5          }))
     1.6  
     1.7 -    private val env =
     1.8 +    private val env0 =
     1.9        Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> Isabelle_System.standard_path(output),
    1.10          (if (is_pure(name)) "ISABELLE_PROCESS_OPTIONS" else "ARGS_FILE") ->
    1.11            Isabelle_System.posix_path(args_file))
    1.12  
    1.13 +    private val env =
    1.14 +      if (is_pure(name))
    1.15 +        env0 + ("ISABELLE_ML_DEBUGGER" -> info.options.bool("ML_debugger").toString)
    1.16 +      else env0
    1.17 +
    1.18      private val script =
    1.19        if (is_pure(name)) {
    1.20          if (do_output) "./build " + name + " \"$OUTPUT\""