lib/scripts/polyml-platform
author wenzelm
Sat, 10 Jan 2009 21:32:30 +0100
changeset 29435 a5f84ac14609
parent 29145 b1c6f4563df7
child 36201 07d4f74abd12
permissions -rwxr-xr-x
added parallel_proofs flag (default true, cf. usedir option -Q), which can be disabled in low-memory situations;

#!/usr/bin/env bash
#
# polyml-platform --- determine Poly/ML's idea of current hardware and
# operating system type
#
# NOTE: platform identifiers should be kept as generic as possible,
# i.e. shared by compatible environments.

PLATFORM="unknown-platform"

case $(uname -s) in
  SunOS)
    case $(uname -r) in
      5.*)
        case $(uname -p) in
          sparc)
            PLATFORM=sparc-solaris
            ;;
          i?86)
            PLATFORM=x86-solaris
            ;;
        esac
        ;;
    esac
    ;;
  Linux)
    case $(uname -m) in
      i?86 | x86_64)
        PLATFORM=x86-linux
        ;;
      Power* | power* | ppc)
        PLATFORM=ppc-linux
        ;;
    esac
    ;;
  FreeBSD|NetBSD)
    case $(uname -m) in
      i?86)
        PLATFORM=x86-bsd
        ;;
    esac
    ;;
  Darwin)
    case $(uname -m) in
      Power* | power* | ppc)
        PLATFORM=ppc-darwin
        ;;
      i?86)
        PLATFORM=x86-darwin
        ;;
    esac
    ;;
  CYGWIN_NT*)
    case $(uname -m) in
      i?86)
        PLATFORM=x86-cygwin
        ;;
    esac
    ;;
  Windows_NT)
    case $(uname -m) in
      ?86)
        PLATFORM=x86-win32
        ;;
    esac
    ;;
esac

echo "$PLATFORM"