equal
deleted
inserted
replaced
37 /* identify Isabelle + AFP repository snapshots and build release */ |
37 /* identify Isabelle + AFP repository snapshots and build release */ |
38 |
38 |
39 private val build_release = |
39 private val build_release = |
40 Logger_Task("build_release", logger => |
40 Logger_Task("build_release", logger => |
41 { |
41 { |
|
42 Isabelle_Devel.make_index() |
|
43 |
42 val rev = Mercurial.repository(isabelle_repos).id() |
44 val rev = Mercurial.repository(isabelle_repos).id() |
43 val afp_rev = Mercurial.setup_repository(afp_source, afp_repos).id() |
45 val afp_rev = Mercurial.setup_repository(afp_source, afp_repos).id() |
44 |
46 |
45 File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date), |
47 File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date), |
46 Build_Log.Identify.content(logger.start_date, Some(rev), Some(afp_rev))) |
48 Build_Log.Identify.content(logger.start_date, Some(rev), Some(afp_rev))) |