src/Pure/System/platform.scala
changeset 73858 37243ad3ecb6
parent 73439 b8e12e94cfca
child 73893 f3a356c64193
equal deleted inserted replaced
73857:19c558ea903c 73858:37243ad3ecb6
    12   /* platform family */
    12   /* platform family */
    13 
    13 
    14   val is_linux: Boolean = System.getProperty("os.name", "") == "Linux"
    14   val is_linux: Boolean = System.getProperty("os.name", "") == "Linux"
    15   val is_macos: Boolean = System.getProperty("os.name", "") == "Mac OS X"
    15   val is_macos: Boolean = System.getProperty("os.name", "") == "Mac OS X"
    16   val is_windows: Boolean = System.getProperty("os.name", "").startsWith("Windows")
    16   val is_windows: Boolean = System.getProperty("os.name", "").startsWith("Windows")
       
    17   val is_unix: Boolean = is_linux || is_macos
    17 
    18 
    18   def family: Family.Value =
    19   def family: Family.Value =
    19     if (is_linux) Family.linux
    20     if (is_linux) Family.linux
    20     else if (is_macos) Family.macos
    21     else if (is_macos) Family.macos
    21     else if (is_windows) Family.windows
    22     else if (is_windows) Family.windows