author | wenzelm |
Thu, 06 May 2021 23:20:02 +0200 | |
changeset 73638 | a6a9162f3ec1 |
parent 73637 | f3a356c64193 |
child 73639 | e1432539df35 |
permissions | -rw-r--r-- |
31825 | 1 |
/* Title: Pure/System/platform.scala |
2 |
Author: Makarius |
|
3 |
||
69112 | 4 |
System platform identification. |
31825 | 5 |
*/ |
6 |
||
7 |
package isabelle |
|
8 |
||
31828 | 9 |
|
31825 | 10 |
object Platform |
11 |
{ |
|
69112 | 12 |
/* platform family */ |
31828 | 13 |
|
71383 | 14 |
val is_linux: Boolean = System.getProperty("os.name", "") == "Linux" |
15 |
val is_macos: Boolean = System.getProperty("os.name", "") == "Mac OS X" |
|
16 |
val is_windows: Boolean = System.getProperty("os.name", "").startsWith("Windows") |
|
73602
37243ad3ecb6
fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running);
wenzelm
parents:
73193
diff
changeset
|
17 |
val is_unix: Boolean = is_linux || is_macos |
31825 | 18 |
|
73637 | 19 |
def is_arm: Boolean = cpu_arch.startsWith("arm") |
20 |
||
69410 | 21 |
def family: Family.Value = |
73637 | 22 |
if (is_linux && is_arm) Family.linux_arm |
23 |
else if (is_linux) Family.linux |
|
69410 | 24 |
else if (is_macos) Family.macos |
25 |
else if (is_windows) Family.windows |
|
26 |
else error("Failed to determine current platform family") |
|
27 |
||
28 |
object Family extends Enumeration |
|
29 |
{ |
|
73637 | 30 |
val linux_arm, linux, macos, windows = Value |
31 |
val list: List[Value] = List(linux_arm, linux, windows, macos) |
|
69410 | 32 |
|
33 |
def unapply(name: String): Option[Value] = |
|
34 |
try { Some(withName(name)) } |
|
35 |
catch { case _: NoSuchElementException => None } |
|
36 |
||
37 |
def parse(name: String): Value = |
|
38 |
unapply(name) getOrElse error("Bad platform family: " + quote(name)) |
|
73637 | 39 |
|
40 |
def standard(platform: Value): String = |
|
41 |
if (platform == linux_arm) "arm64-linux" |
|
42 |
else if (platform == linux) "x86_64-linux" |
|
43 |
else if (platform == macos) "x86_64-darwin" |
|
44 |
else if (platform == windows) "x86_64-cygwin" |
|
73638 | 45 |
else error("Bad platform family: " + quote(platform.toString)) |
69410 | 46 |
} |
47 |
||
31828 | 48 |
|
69112 | 49 |
/* platform identifiers */ |
31828 | 50 |
|
69112 | 51 |
private val X86 = """i.86|x86""".r |
52 |
private val X86_64 = """amd64|x86_64""".r |
|
72344 | 53 |
private val Arm64 = """arm64|aarch64""".r |
72370 | 54 |
private val Arm32 = """arm""".r |
31825 | 55 |
|
69726 | 56 |
def cpu_arch: String = |
57 |
System.getProperty("os.arch", "") match { |
|
58 |
case X86() => "x86" |
|
59 |
case X86_64() => "x86_64" |
|
72344 | 60 |
case Arm64() => "arm64" |
72370 | 61 |
case Arm32() => "arm32" |
69726 | 62 |
case _ => error("Failed to determine CPU architecture") |
63 |
} |
|
64 |
||
65 |
def os_name: String = |
|
66 |
family match { |
|
67 |
case Family.macos => "darwin" |
|
68 |
case _ => family.toString |
|
69 |
} |
|
70 |
||
71 |
lazy val jvm_platform: String = cpu_arch + "-" + os_name |
|
31828 | 72 |
|
73 |
||
61001 | 74 |
/* JVM version */ |
75 |
||
69112 | 76 |
private val Version = """1\.(\d+)\.0_(\d+)""".r |
71383 | 77 |
lazy val jvm_version: String = |
61001 | 78 |
System.getProperty("java.version") match { |
79 |
case Version(a, b) => a + "u" + b |
|
80 |
case a => a |
|
81 |
} |
|
82 |
||
83 |
||
41381 | 84 |
/* JVM name */ |
85 |
||
53582 | 86 |
val jvm_name: String = System.getProperty("java.vm.name", "") |
31825 | 87 |
} |