1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
#!/usr/bin/env bash
set -e
name=`basename $0`
dir=`dirname $0`
bin=`cd $dir && pwd`
die () {
echo >&2 "$1"
exit 1
}
usage () {
die "usage: $name"
}
case "$#" in
0)
;;
*)
usage
;;
esac
uname=`uname`
case "$uname" in
CYGWIN*)
HOST_OS='cygwin'
;;
Darwin)
HOST_OS='darwin'
;;
FreeBSD*)
HOST_OS='freebsd'
;;
Linux)
HOST_OS='linux'
;;
MINGW*)
HOST_OS='mingw'
;;
NetBSD*)
HOST_OS='netbsd'
;;
OpenBSD*)
HOST_OS='openbsd'
;;
SunOS)
HOST_OS='solaris'
;;
*)
die "Unknown OS $uname."
;;
esac
arch=`uname -m`
case "$arch" in
i?86)
HOST_ARCH=x86
;;
Power*)
HOST_ARCH=powerpc
;;
sun*)
HOST_ARCH=sparc
;;
*)
die "Unknown arch $arch."
;;
esac
echo "HOST_OS=$HOST_OS HOST_ARCH=$HOST_ARCH"
|
