|
/* Title: Pure/System/isabelle_platform.scala
Author: Makarius
General hardware and operating system type for Isabelle system tools.
*/
package isabelle
object Isabelle_Platform
{
val settings: List[String] =
List(
"ISABELLE_PLATFORM_FAMILY",
"ISABELLE_PLATFORM32",
"ISABELLE_PLATFORM64",
"ISABELLE_WINDOWS_PLATFORM32",
"ISABELLE_WINDOWS_PLATFORM64")
def apply(ssh: Option[SSH.Session] = None): Isabelle_Platform =
{
ssh match {
case None =>
new Isabelle_Platform(settings.map(a => (a, Isabelle_System.getenv(a))))
case Some(ssh) =>
val script =
File.read(Path.explode("~~/lib/scripts/isabelle-platform")) + "\n" +
settings.map(a => "echo \"" + Bash.string(a) + "=$" + Bash.string(a) + "\"").mkString("\n")
val result = ssh.execute("bash -c " + Bash.string(script)).check
new Isabelle_Platform(
result.out_lines.map(line =>
space_explode('=', line) match {
case List(a, b) => (a, b)
case _ => error("Bad output: " + quote(result.out))
}))
}
}
lazy val self: Isabelle_Platform = apply()
}
class Isabelle_Platform private(val settings: List[(String, String)])
{
private def get(name: String): String =
settings.collectFirst({ case (a, b) if a == name => b }).
getOrElse(error("Bad platform settings variable: " + quote(name)))
val ISABELLE_PLATFORM_FAMILY: String = get("ISABELLE_PLATFORM_FAMILY")
val ISABELLE_PLATFORM32: String = get("ISABELLE_PLATFORM32")
val ISABELLE_PLATFORM64: String = get("ISABELLE_PLATFORM64")
val ISABELLE_WINDOWS_PLATFORM32: String = get("ISABELLE_WINDOWS_PLATFORM32")
val ISABELLE_WINDOWS_PLATFORM64: String = get("ISABELLE_WINDOWS_PLATFORM64")
def is_intel: Boolean =
ISABELLE_PLATFORM32.startsWith("x86-") ||
ISABELLE_PLATFORM64.startsWith("x86_64-")
def is_arm: Boolean =
ISABELLE_PLATFORM32.startsWith("arm32-") ||
ISABELLE_PLATFORM64.startsWith("arm64-")
def is_linux: Boolean = ISABELLE_PLATFORM_FAMILY == "linux"
def is_macos: Boolean = ISABELLE_PLATFORM_FAMILY == "macos"
def is_windows: Boolean = ISABELLE_PLATFORM_FAMILY == "windows"
def arch_32: String = if (is_arm) "arm32" else "x86"
def arch_64: String = if (is_arm) "arm64" else "x86_64"
def os_name: String = if (is_macos) "darwin" else ISABELLE_PLATFORM_FAMILY
override def toString: String = ISABELLE_PLATFORM_FAMILY
}
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
