author | wenzelm |
Fri, 11 Nov 2016 15:24:56 +0100 | |
changeset 64493 | a2eebcc8bb69 |
parent 64370 | 865b39487b5d |
child 69112 | 5b749aa452c6 |
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 |
||
64493 | 17 |
val is_linux = System.getProperty("os.name", "") == "Linux" |
53582 | 18 |
val is_macos = System.getProperty("os.name", "") == "Mac OS X" |
19 |
val is_windows = System.getProperty("os.name", "").startsWith("Windows") |
|
31825 | 20 |
|
31828 | 21 |
|
36195
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
22 |
/* Platform identifiers */ |
31828 | 23 |
|
31825 | 24 |
private val Solaris = new Regex("SunOS|Solaris") |
25 |
private val Linux = new Regex("Linux") |
|
26 |
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
|
27 |
private val Windows = new Regex("Windows.*") |
31825 | 28 |
|
29 |
private val X86 = new Regex("i.86|x86") |
|
30 |
private val X86_64 = new Regex("amd64|x86_64") |
|
31 |
private val Sparc = new Regex("sparc") |
|
32 |
private val PPC = new Regex("PowerPC|ppc") |
|
33 |
||
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
|
34 |
lazy val jvm_platform: String = |
31825 | 35 |
{ |
36195
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
36 |
val arch = |
53582 | 37 |
System.getProperty("os.arch", "") match { |
36195
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
38 |
case X86() => "x86" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
39 |
case X86_64() => "x86_64" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
40 |
case Sparc() => "sparc" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
41 |
case PPC() => "ppc" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
42 |
case _ => error("Failed to determine CPU architecture") |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
43 |
} |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
44 |
val os = |
53582 | 45 |
System.getProperty("os.name", "") match { |
36195
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
46 |
case Solaris() => "solaris" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
47 |
case Linux() => "linux" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
48 |
case Darwin() => "darwin" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
49 |
case Windows() => "windows" |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
50 |
case _ => error("Failed to determine operating system platform") |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
51 |
} |
9c098598db2a
system properties determine the JVM platform, not the Isabelle one;
wenzelm
parents:
35002
diff
changeset
|
52 |
arch + "-" + os |
31825 | 53 |
} |
31828 | 54 |
|
55 |
||
61001 | 56 |
/* JVM version */ |
57 |
||
58 |
private val Version = new Regex("""1\.(\d+)\.0_(\d+)""") |
|
59 |
lazy val jvm_version = |
|
60 |
System.getProperty("java.version") match { |
|
61 |
case Version(a, b) => a + "u" + b |
|
62 |
case a => a |
|
63 |
} |
|
64 |
||
65 |
||
41381 | 66 |
/* JVM name */ |
67 |
||
53582 | 68 |
val jvm_name: String = System.getProperty("java.vm.name", "") |
31825 | 69 |
} |