src/Pure/System/platform.scala
changeset 73639 e1432539df35
parent 73638 a6a9162f3ec1
child 73642 ac6f8fff036b
equal deleted inserted replaced
73638:a6a9162f3ec1 73639:e1432539df35
    62       case _ => error("Failed to determine CPU architecture")
    62       case _ => error("Failed to determine CPU architecture")
    63     }
    63     }
    64 
    64 
    65   def os_name: String =
    65   def os_name: String =
    66     family match {
    66     family match {
       
    67       case Family.linux_arm => "linux"
    67       case Family.macos => "darwin"
    68       case Family.macos => "darwin"
    68       case _ => family.toString
    69       case _ => family.toString
    69     }
    70     }
    70 
    71 
    71   lazy val jvm_platform: String = cpu_arch + "-" + os_name
    72   lazy val jvm_platform: String = cpu_arch + "-" + os_name