equal
deleted
inserted
replaced
37 /* platform identifiers */ |
37 /* platform identifiers */ |
38 |
38 |
39 private val X86 = """i.86|x86""".r |
39 private val X86 = """i.86|x86""".r |
40 private val X86_64 = """amd64|x86_64""".r |
40 private val X86_64 = """amd64|x86_64""".r |
41 private val Arm64 = """arm64|aarch64""".r |
41 private val Arm64 = """arm64|aarch64""".r |
|
42 private val Arm32 = """arm""".r |
42 |
43 |
43 def cpu_arch: String = |
44 def cpu_arch: String = |
44 System.getProperty("os.arch", "") match { |
45 System.getProperty("os.arch", "") match { |
45 case X86() => "x86" |
46 case X86() => "x86" |
46 case X86_64() => "x86_64" |
47 case X86_64() => "x86_64" |
47 case Arm64() => "arm64" |
48 case Arm64() => "arm64" |
|
49 case Arm32() => "arm32" |
48 case _ => error("Failed to determine CPU architecture") |
50 case _ => error("Failed to determine CPU architecture") |
49 } |
51 } |
50 |
52 |
51 def os_name: String = |
53 def os_name: String = |
52 family match { |
54 family match { |