lib/scripts/isabelle-platform

added "TPTP" theory with IsabelleP tactic, so that it is maintained alongside with Isabelle and that the CASC version of Isabelle is provided by Isabelle itself instead of being stored on the TPTP servers

# -*- shell-script -*- :mode=shellscript:
#
# determine general hardware and operating system type for Isabelle
#
# NOTE: The ML system or JVM may have their own idea about the platform!

ISABELLE_PLATFORM="unknown-platform"
ISABELLE_PLATFORM64=""

case $(uname -s) in
  Linux)
    case $(uname -m) in
      i?86)
        ISABELLE_PLATFORM=x86-linux
        ;;
      x86_64)
        ISABELLE_PLATFORM=x86-linux
        ISABELLE_PLATFORM64=x86_64-linux
        ;;
    esac
    ;;
  Darwin)
    case $(uname -m) in
      i?86)
        ISABELLE_PLATFORM=x86-darwin
        if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then
          ISABELLE_PLATFORM64=x86_64-darwin
        fi
        ;;
      x86_64)
        ISABELLE_PLATFORM=x86-darwin
        ISABELLE_PLATFORM64=x86_64-darwin
        ;;
      Power* | power* | ppc)
        ISABELLE_PLATFORM=ppc-darwin
        ;;
    esac
    ;;
  CYGWIN_NT*)
    case $(uname -m) in
      i?86 | x86_64)
        ISABELLE_PLATFORM=x86-cygwin
        ;;
    esac
    ;;
  SunOS)
    case $(uname -r) in
      5.*)
        case $(uname -p) in
          sparc)
            ISABELLE_PLATFORM=sparc-solaris
            ;;
          i?86 | x86_64)
            ISABELLE_PLATFORM=x86-solaris
            ;;
        esac
        ;;
    esac
    ;;
  FreeBSD|NetBSD)
    case $(uname -m) in
      i?86 | x86_64)
        ISABELLE_PLATFORM=x86-bsd
        ;;
    esac
    ;;
esac