| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Pure/System/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 3 kB |
|
Quelle platform.scala Sprache: Scala |
|||||||||
|
/* Title: Pure/System/platform.scala
Author: Makarius Java platform information, based on system properties. */ package isabelle object Platform { /* platform family */ val is_windows: Boolean = isabelle.setup.Environment.is_windows() val is_linux: Boolean = isabelle.setup.Environment.is_linux() val is_macos: Boolean = isabelle.setup.Environment.is_macos() val is_unix: Boolean = is_linux || is_macos def is_arm: Boolean = cpu_arch.startsWith("arm") def family: Family = if (is_linux && is_arm) Family.linux_arm else if (is_linux) Family.linux else if (is_macos) Family.macos else if (is_windows) Family.windows else error("Failed to determine current platform family") object Family { val list: List[Family] = List(Family.linux, Family.linux_arm, Family.windows, Family.ma def unapply(name: String): Option[Family] = try { Some(Family.valueOf(name)) } catch { case _: IllegalArgumentException => None } def parse(name: String): Family = unapply(name) getOrElse error("Bad platform family: " + quote(name)) val standard: Family => String = { case Family.linux_arm => "arm64-linux" case Family.linux => "x86_64-linux" case Family.macos => "x86_64-darwin" case Family.windows => "x86_64-cygwin" } val native: Family => String = { case Family.macos => "arm64-darwin" case Family.windows => "x86_64-windows" case platform => standard(platform) } def from_platform(platform: String): Family = list.find(family => platform == standard(family) || platform == native(family)) .getOrElse(error("Bad platform " + quote(platform))) } enum Family { case linux_arm, linux, macos, windows } /* platform identifiers */ private val X86_64 = """amd64|x86_64""".r private val Arm64 = """arm64|aarch64""".r def cpu_arch: String = System.getProperty("os.arch", "") match { case X86_64() => "x86_64" case Arm64() => "arm64" case _ => error("Failed to determine CPU architecture") } def os_name: String = family match { case Family.linux_arm => "linux" case Family.macos => "darwin" case _ => family.toString } lazy val jvm_platform: String = cpu_arch + "-" + os_name /* platform info */ object Info { val ALL = "all" def check(infos: List[Info], spec: String): String = { val specs = Library.distinct(ALL :: infos.map(_.family_name) ::: infos.map(_.platform)) if (specs.contains(spec)) spec else { error("Bad platform specification " + quote(spec) + "\n expected " + commas_quote(specs)) } } } trait Info { def platform: String override def toString: String = platform def path: Path = Path.explode(platform) val family: Family = Family.from_platform(platform) def family_name: String = family.toString def is_linux_arm: Boolean = family == Family.linux_arm def is_linux: Boolean = family == Family.linux def is_macos: Boolean = family == Family.macos def is_windows: Boolean = family == Family.windows def is(spec: String): Boolean = Info.ALL == spec || platform == spec || family_name == spec } /* JVM version */ private val Version = """1\.(\d+)\.0_(\d+)""".r lazy val jvm_version: String = System.getProperty("java.version") match { case Version(a, b) => a + "u" + b case a => a } /* JVM name */ val jvm_name: String = System.getProperty("java.vm.name", "") } ¤ Dauer der Verarbeitung: 0.16 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28