Admin/polyml/bin/polyml-platform
changeset 11074 100637226ff5
parent 11073 e45b136716f5
child 11393 ee3d40b5ac23
equal deleted inserted replaced
11073:e45b136716f5 11074:100637226ff5
    23   Linux)
    23   Linux)
    24     case `uname -m` in
    24     case `uname -m` in
    25       i?86)
    25       i?86)
    26         PLATFORM=x86-linux
    26         PLATFORM=x86-linux
    27         ;;
    27         ;;
       
    28       Power* | power* | ppc)
       
    29         PLATFORM=ppc-linux
       
    30         ;;
    28     esac
    31     esac
    29     ;;
    32     ;;
    30   FreeBSD|NetBSD)
    33   FreeBSD|NetBSD)
    31     case `uname -m` in
    34     case `uname -m` in
    32       i?86)
    35       i?86)
    33         PLATFORM=x86-bsd
    36         PLATFORM=x86-bsd
       
    37         ;;
       
    38     esac
       
    39     ;;
       
    40   Darwin)
       
    41     case `uname -m` in
       
    42       Power* | power* | ppc)
       
    43         PLATFORM=ppc-bsd
    34         ;;
    44         ;;
    35     esac
    45     esac
    36     ;;
    46     ;;
    37   Windows_NT)
    47   Windows_NT)
    38     case `uname -m` in
    48     case `uname -m` in