src/Pure/Tools/build.scala
changeset 66744 fec1504e5f03
parent 66737 2edc0c42c883
child 66745 e7ac579b883c
     1.1 --- a/src/Pure/Tools/build.scala	Sun Oct 01 17:59:26 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Sun Oct 01 20:50:26 2017 +0200
     1.3 @@ -24,6 +24,7 @@
     1.4    /* persistent build info */
     1.5  
     1.6    sealed case class Session_Info(
     1.7 +    imported_sources: List[String],
     1.8      sources: List[String],
     1.9      input_heaps: List[String],
    1.10      output_heap: Option[String],
    1.11 @@ -380,6 +381,9 @@
    1.12          verbose = verbose, list_files = list_files, check_keywords = check_keywords,
    1.13          global_theories = full_sessions.global_theories).check_errors
    1.14  
    1.15 +    def imported_sources_stamp(name: String): List[String] =
    1.16 +      deps.imported_sources(name).map(_.toString).sorted
    1.17 +
    1.18      def sources_stamp(name: String): List[String] =
    1.19        (selected_sessions(name).meta_digest :: deps.sources(name)).map(_.toString).sorted
    1.20  
    1.21 @@ -501,7 +505,12 @@
    1.22                        parse_session_info(
    1.23                          command_timings = true, ml_statistics = true, task_statistics = true),
    1.24                    build =
    1.25 -                    Session_Info(sources_stamp(name), input_heaps, heap_stamp, process_result.rc)))
    1.26 +                    Session_Info(
    1.27 +                      imported_sources_stamp(name),
    1.28 +                      sources_stamp(name),
    1.29 +                      input_heaps,
    1.30 +                      heap_stamp,
    1.31 +                      process_result.rc)))
    1.32              }
    1.33  
    1.34              // messages