11073
|
1 |
#!/bin/sh
|
|
2 |
#
|
|
3 |
# polyml-platform --- determine Poly/ML's idea of current hardware and
|
|
4 |
# operating system type
|
|
5 |
#
|
|
6 |
# NOTE: platform identifiers should be kept as generic as possible,
|
|
7 |
# i.e. shared by compatible environments.
|
|
8 |
|
|
9 |
PLATFORM=""
|
|
10 |
|
|
11 |
case `uname -s` in
|
|
12 |
SunOS)
|
|
13 |
case `uname -r` in
|
|
14 |
5.*)
|
|
15 |
case `uname -p` in
|
|
16 |
sparc)
|
|
17 |
PLATFORM=sparc-solaris
|
|
18 |
;;
|
|
19 |
esac
|
|
20 |
;;
|
|
21 |
esac
|
|
22 |
;;
|
|
23 |
Linux)
|
|
24 |
case `uname -m` in
|
|
25 |
i?86)
|
|
26 |
PLATFORM=x86-linux
|
|
27 |
;;
|
11074
|
28 |
Power* | power* | ppc)
|
|
29 |
PLATFORM=ppc-linux
|
|
30 |
;;
|
11073
|
31 |
esac
|
|
32 |
;;
|
|
33 |
FreeBSD|NetBSD)
|
|
34 |
case `uname -m` in
|
|
35 |
i?86)
|
|
36 |
PLATFORM=x86-bsd
|
|
37 |
;;
|
|
38 |
esac
|
|
39 |
;;
|
11074
|
40 |
Darwin)
|
|
41 |
case `uname -m` in
|
|
42 |
Power* | power* | ppc)
|
|
43 |
PLATFORM=ppc-bsd
|
|
44 |
;;
|
|
45 |
esac
|
|
46 |
;;
|
11073
|
47 |
Windows_NT)
|
|
48 |
case `uname -m` in
|
|
49 |
?86)
|
|
50 |
PLATFORM=x86-win32
|
|
51 |
;;
|
|
52 |
esac
|
|
53 |
;;
|
|
54 |
esac
|
|
55 |
|
|
56 |
|
|
57 |
if [ -z "$PLATFORM" ]; then
|
|
58 |
echo "Unknown Poly/ML platform" >&2
|
|
59 |
exit 1
|
|
60 |
else
|
|
61 |
echo "$PLATFORM"
|
|
62 |
fi
|