equal
deleted
inserted
replaced
24 ISABELLE_PLATFORM=x86-darwin |
24 ISABELLE_PLATFORM=x86-darwin |
25 if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then |
25 if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then |
26 ISABELLE_PLATFORM64=x86_64-darwin |
26 ISABELLE_PLATFORM64=x86_64-darwin |
27 fi |
27 fi |
28 ;; |
28 ;; |
|
29 x86_64) |
|
30 ISABELLE_PLATFORM=x86-darwin |
|
31 ISABELLE_PLATFORM64=x86_64-darwin |
|
32 ;; |
29 Power* | power* | ppc) |
33 Power* | power* | ppc) |
30 ISABELLE_PLATFORM=ppc-darwin |
34 ISABELLE_PLATFORM=ppc-darwin |
31 ;; |
35 ;; |
32 esac |
36 esac |
33 ;; |
37 ;; |
34 CYGWIN_NT*) |
38 CYGWIN_NT*) |
35 case $(uname -m) in |
39 case $(uname -m) in |
36 i?86) |
40 i?86 | x86_64) |
37 ISABELLE_PLATFORM=x86-cygwin |
41 ISABELLE_PLATFORM=x86-cygwin |
38 ;; |
42 ;; |
39 esac |
43 esac |
40 ;; |
44 ;; |
41 SunOS) |
45 SunOS) |
43 5.*) |
47 5.*) |
44 case $(uname -p) in |
48 case $(uname -p) in |
45 sparc) |
49 sparc) |
46 ISABELLE_PLATFORM=sparc-solaris |
50 ISABELLE_PLATFORM=sparc-solaris |
47 ;; |
51 ;; |
48 i?86) |
52 i?86 | x86_64) |
49 ISABELLE_PLATFORM=x86-solaris |
53 ISABELLE_PLATFORM=x86-solaris |
50 ;; |
54 ;; |
51 esac |
55 esac |
52 ;; |
56 ;; |
53 esac |
57 esac |
54 ;; |
58 ;; |
55 FreeBSD|NetBSD) |
59 FreeBSD|NetBSD) |
56 case $(uname -m) in |
60 case $(uname -m) in |
57 i?86) |
61 i?86 | x86_64) |
58 ISABELLE_PLATFORM=x86-bsd |
62 ISABELLE_PLATFORM=x86-bsd |
59 ;; |
63 ;; |
60 esac |
64 esac |
61 ;; |
65 ;; |
62 esac |
66 esac |