--- a/src/Pure/Admin/isabelle_devel.scala Tue May 04 12:54:54 2021 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala Tue May 04 20:02:08 2021 +0200
@@ -34,22 +34,19 @@
/* release snapshot */
- def release_snapshot(
- options: Options,
- rev: String = "",
- afp_rev: String = "",
- parallel_jobs: Int = 1): Unit =
+ def release_snapshot(options: Options, rev: String, afp_rev: String): Unit =
{
Isabelle_System.with_tmp_dir("isadist")(target_dir =>
{
Isabelle_System.update_directory(root + Path.explode(RELEASE_SNAPSHOT),
website_dir =>
- Build_Release.build_release(options, target_dir = target_dir,
- rev = rev,
- afp_rev = afp_rev,
- parallel_jobs = parallel_jobs,
- build_sessions = List(Isabelle_System.getenv("ISABELLE_LOGIC")),
- website = Some(website_dir)))
+ {
+ val context = Build_Release.Release_Context(target_dir)
+ val release_archive = Build_Release.build_release_archive(context, rev)
+ Build_Release.build_release(options, context, release_archive, afp_rev = afp_rev,
+ build_sessions = List(Isabelle_System.getenv("ISABELLE_LOGIC")),
+ website = Some(website_dir))
+ })
})
}