src/Pure/Tools/build.scala
changeset 62490 39d01eaf5292
parent 62486 b737f8f37454
child 62508 d0b68218ea55
equal deleted inserted replaced
62489:36f11bc393a2 62490:39d01eaf5292
   565             (parent, (info.chapter, (name,
   565             (parent, (info.chapter, (name,
   566             theories))))))))))))
   566             theories))))))))))))
   567         }))
   567         }))
   568 
   568 
   569     private val env =
   569     private val env =
   570       Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> output_standard_path,
   570     {
   571         (if (is_pure(name)) "ISABELLE_PROCESS_OPTIONS" else "ARGS_FILE") ->
   571       val env0 =
   572           File.standard_path(args_file))
   572         Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> output_standard_path,
       
   573           (if (is_pure(name)) "ISABELLE_PROCESS_OPTIONS" else "ARGS_FILE") ->
       
   574             File.standard_path(args_file))
       
   575       if (is_pure(name))
       
   576         env0 + ("ISABELLE_ML_DEBUGGER" -> info.options.bool("ML_debugger").toString)
       
   577       else env0
       
   578     }
   573 
   579 
   574     private val script =
   580     private val script =
   575       """
   581       """
   576       . "$ISABELLE_HOME/lib/scripts/timestart.bash"
   582       . "$ISABELLE_HOME/lib/scripts/timestart.bash"
   577       """ +
   583       """ +