object
Build_Release
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
activate_components(dir: Path, platform: Platform.Family.Value, more_names: List[String]): Unit
-
final
def
asInstanceOf[T0]: T0
-
def
build_release(base_dir: Path, options: Options, components_base: Path = Components.default_components_base, progress: Progress = No_Progress, rev: String = "", afp_rev: String = "", official_release: Boolean = false, proper_release_name: Option[String] = None, platform_families: List[Platform.Family.Value] = default_platform_families, more_components: List[Path] = Nil, website: Option[Path] = None, build_sessions: List[String] = Nil, build_library: Boolean = false, parallel_jobs: Int = 1): Release
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
get_bundled_components(dir: Path, platform: Platform.Family.Value): (List[String], String)
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
main(args: Array[String]): Unit
-
def
make_announce(release: Release): Unit
-
def
make_contrib(dir: Path): Unit
-
def
make_news(other_isabelle: Other_Isabelle, dist_version: String): Unit
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
patch_release(release: Release, is_official: Boolean): Unit
-
def
record_bundled_components(dir: Path): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit