src/Pure/System/platform.scala

eliminated OldGoals.read_term;

/*  Title:      Pure/System/platform.scala
    Author:     Makarius

Raw platform identification.
*/

package isabelle

import javax.swing.UIManager

import scala.util.matching.Regex


object Platform
{
  /* main OS variants */

  val is_macos = System.getProperty("os.name") == "Mac OS X"
  val is_windows = System.getProperty("os.name").startsWith("Windows")


  /* Isabelle platform identifiers */

  private val Solaris = new Regex("SunOS|Solaris")
  private val Linux = new Regex("Linux")
  private val Darwin = new Regex("Mac OS X")
  private val Cygwin = new Regex("Windows.*")

  private val X86 = new Regex("i.86|x86")
  private val X86_64 = new Regex("amd64|x86_64")
  private val Sparc = new Regex("sparc")
  private val PPC = new Regex("PowerPC|ppc")

  // main default, optional 64bit variant
  val defaults: Option[(String, Option[String])] =
  {
    (java.lang.System.getProperty("os.name") match {
      case Solaris() => Some("solaris")
      case Linux() => Some("linux")
      case Darwin() => Some("darwin")
      case Cygwin() => Some("cygwin")
      case _ => None
    }) match {
      case Some(name) =>
        java.lang.System.getProperty("os.arch") match {
          case X86() => Some(("x86-" + name, None))
          case X86_64() => Some(("x86-" + name, if (is_windows) None else Some("x86_64-" + name)))
          case Sparc() => Some(("sparc-" + name, None))
          case PPC() => Some(("ppc-" + name, None))
        }
      case None => None
    }
  }


  /* Swing look-and-feel */

  def look_and_feel(): String =
  {
    if (is_windows || is_macos) UIManager.getSystemLookAndFeelClassName()
    else {
      UIManager.getInstalledLookAndFeels().find(laf => laf.getName == "Nimbus") match {
        case None => UIManager.getCrossPlatformLookAndFeelClassName()
        case Some(laf) => laf.getClassName
      }
    }
  }
}