equal
deleted
inserted
replaced
2 # |
2 # |
3 # determine general hardware and operating system type for Isabelle |
3 # determine general hardware and operating system type for Isabelle |
4 # |
4 # |
5 # NOTE: The ML system or JVM may have their own idea about the platform! |
5 # NOTE: The ML system or JVM may have their own idea about the platform! |
6 |
6 |
7 ISABELLE_WINDOWS_PREFIX="" |
|
8 ISABELLE_PLATFORM_FAMILY="" |
7 ISABELLE_PLATFORM_FAMILY="" |
9 ISABELLE_PLATFORM32="" |
8 ISABELLE_PLATFORM32="" |
10 ISABELLE_PLATFORM64="" |
9 ISABELLE_PLATFORM64="" |
11 |
10 |
12 case $(uname -s) in |
11 case $(uname -s) in |
13 Linux) |
12 Linux) |
14 ISABELLE_PLATFORM_FAMILY="linux" |
13 ISABELLE_PLATFORM_FAMILY="linux" |
15 ISABELLE_WINDOWS_PREFIX="." |
|
16 case $(uname -m) in |
14 case $(uname -m) in |
17 i?86) |
15 i?86) |
18 ISABELLE_PLATFORM32=x86-linux |
16 ISABELLE_PLATFORM32=x86-linux |
19 ;; |
17 ;; |
20 x86_64) |
18 x86_64) |
23 ;; |
21 ;; |
24 esac |
22 esac |
25 ;; |
23 ;; |
26 Darwin) |
24 Darwin) |
27 ISABELLE_PLATFORM_FAMILY="macos" |
25 ISABELLE_PLATFORM_FAMILY="macos" |
28 ISABELLE_WINDOWS_PREFIX="." |
|
29 case $(uname -m) in |
26 case $(uname -m) in |
30 i?86) |
27 i?86) |
31 ISABELLE_PLATFORM32=x86-darwin |
28 ISABELLE_PLATFORM32=x86-darwin |
32 if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then |
29 if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then |
33 ISABELLE_PLATFORM64=x86_64-darwin |
30 ISABELLE_PLATFORM64=x86_64-darwin |
39 ;; |
36 ;; |
40 esac |
37 esac |
41 ;; |
38 ;; |
42 CYGWIN_NT*) |
39 CYGWIN_NT*) |
43 ISABELLE_PLATFORM_FAMILY="windows" |
40 ISABELLE_PLATFORM_FAMILY="windows" |
44 ISABELLE_WINDOWS_PREFIX="windows" |
|
45 case $(uname -m) in |
41 case $(uname -m) in |
46 i?86 | x86_64) |
42 i?86 | x86_64) |
47 ISABELLE_PLATFORM32=x86-cygwin |
43 ISABELLE_PLATFORM32=x86-cygwin |
48 ;; |
44 ;; |
49 esac |
45 esac |