src/Pure/Tools/build.scala
changeset 64079 ff26032b7f2a
parent 64062 a7352cbde7d7
child 64080 2e5c0bd708af
     1.1 --- a/src/Pure/Tools/build.scala	Fri Oct 07 10:46:34 2016 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Fri Oct 07 11:10:17 2016 +0200
     1.3 @@ -686,16 +686,15 @@
     1.4  
     1.5    /* Isabelle tool wrapper */
     1.6  
     1.7 -  val ml_options = List("ML_PLATFORM", "ML_HOME", "ML_SYSTEM", "ML_OPTIONS")
     1.8 +  val build_settings = List("ISABELLE_BUILD_OPTIONS")
     1.9 +  val ml_settings = List("ML_PLATFORM", "ML_HOME", "ML_SYSTEM", "ML_OPTIONS")
    1.10 +  val all_settings = build_settings ::: ml_settings
    1.11  
    1.12    val isabelle_tool = Isabelle_Tool("build", "build and manage Isabelle sessions", args =>
    1.13    {
    1.14 +    def show(a: String): String = a + "=" + quote(Isabelle_System.getenv(a))
    1.15      def show_settings(): String =
    1.16 -      cat_lines(List(
    1.17 -        "ISABELLE_BUILD_OPTIONS=" +
    1.18 -          quote(Isabelle_System.getenv("ISABELLE_BUILD_OPTIONS")),
    1.19 -        "") :::
    1.20 -        ml_options.map(opt => opt + "=" + quote(Isabelle_System.getenv(opt))))
    1.21 +      cat_lines(build_settings.map(show(_)) ::: List("") ::: ml_settings.map(show(_)))
    1.22  
    1.23      val build_options = Word.explode(Isabelle_System.getenv("ISABELLE_BUILD_OPTIONS"))
    1.24