22 date: Date, name: String, dist_dir: Path, dist_archive: Path, dist_library_archive: Path, |
22 date: Date, name: String, dist_dir: Path, dist_archive: Path, dist_library_archive: Path, |
23 id: String) |
23 id: String) |
24 { |
24 { |
25 val bundle_infos: List[Bundle_Info] = |
25 val bundle_infos: List[Bundle_Info] = |
26 List(Bundle_Info("linux", "Linux", name + "_app.tar.gz", None), |
26 List(Bundle_Info("linux", "Linux", name + "_app.tar.gz", None), |
27 Bundle_Info("windows", "Windows (32bit)", name + "-win32.exe", None), |
27 Bundle_Info("windows", "Windows (64bit)", name + ".exe", None), |
28 Bundle_Info("windows64", "Windows (64bit)", name + "-win64.exe", None), |
|
29 Bundle_Info("macos", "Mac OS X", name + ".dmg", Some(name + "_dmg.tar.gz"))) |
28 Bundle_Info("macos", "Mac OS X", name + ".dmg", Some(name + "_dmg.tar.gz"))) |
30 |
29 |
31 def bundle_info(platform_family: String): Bundle_Info = |
30 def bundle_info(platform_family: String): Bundle_Info = |
32 bundle_infos.find(info => info.platform_family == platform_family) getOrElse |
31 bundle_infos.find(info => info.platform_family == platform_family) getOrElse |
33 error("Unknown platform family " + quote(platform_family)) |
32 error("Unknown platform family " + quote(platform_family)) |
34 } |
33 } |
35 |
34 |
36 |
35 |
37 private val default_platform_families = List("linux", "windows", "windows64", "macos") |
36 private val default_platform_families = List("linux", "windows", "macos") |
38 |
37 |
39 def build_release(base_dir: Path, |
38 def build_release(base_dir: Path, |
40 progress: Progress = No_Progress, |
39 progress: Progress = No_Progress, |
41 rev: String = "", |
40 rev: String = "", |
42 afp_rev: String = "", |
41 afp_rev: String = "", |