author | wenzelm |
Mon, 24 Oct 2016 12:16:12 +0200 | |
changeset 64370 | 865b39487b5d |
parent 61001 | ea38a1922a0b |
child 64493 | a2eebcc8bb69 |
permissions | -rw-r--r-- |
31825 | 1 |
/* Title: Pure/System/platform.scala |
2 |
Author: Makarius |
|
3 |
||
4 |
Raw platform identification. |
|
5 |
*/ |
|
6 |
||
7 |
package isabelle |
|
8 |
||
31828 | 9 |
|
31825 | 10 |
import scala.util.matching.Regex |
11 |
||
12 |
||
13 |
object Platform |
|
14 |
{ |
|
31828 | 15 |
/* main OS variants */ |
16 |
||
53582 | 17 |
val is_macos = System.getProperty("os.name", "") == "Mac OS X" |
18 |
val is_windows = System.getProperty("os.name", "").startsWith("Windows") |
|
31825 | 19 |
|
31828 | 20 |
|
36195
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
21 |
/* Platform identifiers */ |
31828 | 22 |
|
31825 | 23 |
private val Solaris = new Regex("SunOS|Solaris") |
24 |
private val Linux = new Regex("Linux") |
|
25 |
private val Darwin = new Regex("Mac OS X") |
|
36195
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
26 |
private val Windows = new Regex("Windows.*") |
31825 | 27 |
|
28 |
private val X86 = new Regex("i.86|x86") |
|
29 |
private val X86_64 = new Regex("amd64|x86_64") |
|
30 |
private val Sparc = new Regex("sparc") |
|
31 |
private val PPC = new Regex("PowerPC|ppc") |
|
32 |
||
36205
e86d9a10e982
check JVM platform at most once -- still non-strict to prevent potential failure during initialization of object Platform;
wenzelm
parents:
36195
diff
changeset
|
33 |
lazy val jvm_platform: String = |
31825 | 34 |
{ |
36195
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
35 |
val arch = |
53582 | 36 |
System.getProperty("os.arch", "") match { |
36195
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
37 |
case X86() => "x86" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
38 |
case X86_64() => "x86_64" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
39 |
case Sparc() => "sparc" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
40 |
case PPC() => "ppc" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
41 |
case _ => error("Failed to determine CPU architecture") |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
42 |
} |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
43 |
val os = |
53582 | 44 |
System.getProperty("os.name", "") match { |
36195
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
45 |
case Solaris() => "solaris" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
46 |
case Linux() => "linux" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
47 |
case Darwin() => "darwin" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
48 |
case Windows() => "windows" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
49 |
case _ => error("Failed to determine operating system platform") |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
50 |
} |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
51 |
arch + "-" + os |
31825 | 52 |
} |
31828 | 53 |
|
54 |
||
61001 | 55 |
/* JVM version */ |
56 |
||
57 |
private val Version = new Regex("""1\.(\d+)\.0_(\d+)""") |
|
58 |
lazy val jvm_version = |
|
59 |
System.getProperty("java.version") match { |
|
60 |
case Version(a, b) => a + "u" + b |
|
61 |
case a => a |
|
62 |
} |
|
63 |
||
64 |
||
41381 | 65 |
/* JVM name */ |
66 |
||
53582 | 67 |
val jvm_name: String = System.getProperty("java.vm.name", "") |
31825 | 68 |
} |