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="" |
7 ISABELLE_PLATFORM_FAMILY="" |
8 ISABELLE_PLATFORM_FAMILY="" |
8 ISABELLE_PLATFORM32="" |
9 ISABELLE_PLATFORM32="" |
9 ISABELLE_PLATFORM64="" |
10 ISABELLE_PLATFORM64="" |
10 |
11 |
11 case $(uname -s) in |
12 case $(uname -s) in |
12 Linux) |
13 Linux) |
13 ISABELLE_PLATFORM_FAMILY="linux" |
14 ISABELLE_PLATFORM_FAMILY="linux" |
|
15 ISABELLE_WINDOWS_PREFIX="." |
14 case $(uname -m) in |
16 case $(uname -m) in |
15 i?86) |
17 i?86) |
16 ISABELLE_PLATFORM32=x86-linux |
18 ISABELLE_PLATFORM32=x86-linux |
17 ;; |
19 ;; |
18 x86_64) |
20 x86_64) |
21 ;; |
23 ;; |
22 esac |
24 esac |
23 ;; |
25 ;; |
24 Darwin) |
26 Darwin) |
25 ISABELLE_PLATFORM_FAMILY="macos" |
27 ISABELLE_PLATFORM_FAMILY="macos" |
|
28 ISABELLE_WINDOWS_PREFIX="." |
26 case $(uname -m) in |
29 case $(uname -m) in |
27 i?86) |
30 i?86) |
28 ISABELLE_PLATFORM32=x86-darwin |
31 ISABELLE_PLATFORM32=x86-darwin |
29 if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then |
32 if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then |
30 ISABELLE_PLATFORM64=x86_64-darwin |
33 ISABELLE_PLATFORM64=x86_64-darwin |
36 ;; |
39 ;; |
37 esac |
40 esac |
38 ;; |
41 ;; |
39 CYGWIN_NT*) |
42 CYGWIN_NT*) |
40 ISABELLE_PLATFORM_FAMILY="windows" |
43 ISABELLE_PLATFORM_FAMILY="windows" |
|
44 ISABELLE_WINDOWS_PREFIX="windows" |
41 case $(uname -m) in |
45 case $(uname -m) in |
42 i?86 | x86_64) |
46 i?86 | x86_64) |
43 ISABELLE_PLATFORM32=x86-cygwin |
47 ISABELLE_PLATFORM32=x86-cygwin |
44 ;; |
48 ;; |
45 esac |
49 esac |