src/Pure/Tools/build_log.scala
changeset 64080 2e5c0bd708af
parent 64079 ff26032b7f2a
child 64081 38bb09ed965b
     1.1 --- a/src/Pure/Tools/build_log.scala	Fri Oct 07 11:10:17 2016 +0200
     1.2 +++ b/src/Pure/Tools/build_log.scala	Fri Oct 07 11:24:58 2016 +0200
     1.3 @@ -16,6 +16,22 @@
     1.4  
     1.5  object Build_Log
     1.6  {
     1.7 +  /** build settings **/
     1.8 +
     1.9 +  val build_settings = List("ISABELLE_BUILD_OPTIONS")
    1.10 +  val ml_settings = List("ML_PLATFORM", "ML_HOME", "ML_SYSTEM", "ML_OPTIONS")
    1.11 +  val all_settings = build_settings ::: ml_settings
    1.12 +
    1.13 +  object Setting
    1.14 +  {
    1.15 +    def apply(a: String, b: String): String = a + "=" + quote(b)
    1.16 +    def getenv(a: String): String = apply(a, Isabelle_System.getenv(a))
    1.17 +
    1.18 +    def show_all(): String =
    1.19 +      cat_lines(build_settings.map(getenv(_)) ::: List("") ::: ml_settings.map(getenv(_)))
    1.20 +  }
    1.21 +
    1.22 +
    1.23    /** log file **/
    1.24  
    1.25    object Log_File
    1.26 @@ -167,7 +183,7 @@
    1.27                  Field.build_end -> end_date.toString,
    1.28                  Field.isabelle_version -> isabelle_version,
    1.29                  Field.afp_version -> afp_version),
    1.30 -              log_file.get_settings(Build.all_settings))
    1.31 +              log_file.get_settings(all_settings))
    1.32  
    1.33            case _ => log_file.err("cannot detect start/end date in afp-test log")
    1.34          }
    1.35 @@ -213,7 +229,7 @@
    1.36          case i =>
    1.37            val a = s.substring(0, i)
    1.38            Library.try_unquote(s.substring(i + 1)) match {
    1.39 -            case Some(b) if Build.ml_settings.contains(a) => Some((a, b))
    1.40 +            case Some(b) if ml_settings.contains(a) => Some((a, b))
    1.41              case _ => None
    1.42            }
    1.43        }