author | wenzelm |
Wed, 06 Jan 2021 16:50:53 +0100 | |
changeset 73091 | bf573ed376ef |
parent 72999 | f6051c13bffa |
child 73671 | 7404f2e1d092 |
permissions | -rw-r--r-- |
37012 | 1 |
# -*- shell-script -*- :mode=shellscript: |
36196
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
2 |
# |
66731 | 3 |
# determine general hardware and operating system type for Isabelle system tools |
36196
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
4 |
# |
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
5 |
|
50182 | 6 |
ISABELLE_PLATFORM_FAMILY="" |
48455 | 7 |
ISABELLE_PLATFORM32="" |
36196
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
8 |
ISABELLE_PLATFORM64="" |
72999
f6051c13bffa
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
wenzelm
parents:
72370
diff
changeset
|
9 |
ISABELLE_APPLE_PLATFORM64="" |
65072 | 10 |
ISABELLE_WINDOWS_PLATFORM32="" |
11 |
ISABELLE_WINDOWS_PLATFORM64="" |
|
36196
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
12 |
|
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
13 |
case $(uname -s) in |
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
14 |
Linux) |
50182 | 15 |
ISABELLE_PLATFORM_FAMILY="linux" |
72344 | 16 |
case $(uname -m) in |
17 |
aarch64) |
|
18 |
ISABELLE_PLATFORM64=arm64-linux |
|
19 |
;; |
|
72370 | 20 |
arm*) |
21 |
ISABELLE_PLATFORM32=arm32-linux |
|
22 |
;; |
|
72344 | 23 |
*) |
24 |
ISABELLE_PLATFORM32=x86-linux |
|
25 |
ISABELLE_PLATFORM64=x86_64-linux |
|
26 |
;; |
|
27 |
esac |
|
36196
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
28 |
;; |
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
29 |
Darwin) |
50182 | 30 |
ISABELLE_PLATFORM_FAMILY="macos" |
71342
d72d4a9316c9
updated platform situation: 32bit variants are marginal or absent;
wenzelm
parents:
66731
diff
changeset
|
31 |
case $(sw_vers -productVersion) in |
d72d4a9316c9
updated platform situation: 32bit variants are marginal or absent;
wenzelm
parents:
66731
diff
changeset
|
32 |
10.10*|10.11*|10.12*|10.13*|10.14*) |
48455 | 33 |
ISABELLE_PLATFORM32=x86-darwin |
71342
d72d4a9316c9
updated platform situation: 32bit variants are marginal or absent;
wenzelm
parents:
66731
diff
changeset
|
34 |
ISABELLE_PLATFORM64=x86_64-darwin |
36196
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
35 |
;; |
71342
d72d4a9316c9
updated platform situation: 32bit variants are marginal or absent;
wenzelm
parents:
66731
diff
changeset
|
36 |
*) |
36213
4df49260bd82
accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;
wenzelm
parents:
36196
diff
changeset
|
37 |
ISABELLE_PLATFORM64=x86_64-darwin |
73091
bf573ed376ef
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
wenzelm
parents:
72999
diff
changeset
|
38 |
case $(uname -a) in |
bf573ed376ef
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
wenzelm
parents:
72999
diff
changeset
|
39 |
*arm64*|*ARM64*) |
72999
f6051c13bffa
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
wenzelm
parents:
72370
diff
changeset
|
40 |
ISABELLE_APPLE_PLATFORM64=arm64-darwin |
f6051c13bffa
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
wenzelm
parents:
72370
diff
changeset
|
41 |
;; |
f6051c13bffa
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
wenzelm
parents:
72370
diff
changeset
|
42 |
*) |
f6051c13bffa
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
wenzelm
parents:
72370
diff
changeset
|
43 |
;; |
f6051c13bffa
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
wenzelm
parents:
72370
diff
changeset
|
44 |
esac |
36213
4df49260bd82
accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;
wenzelm
parents:
36196
diff
changeset
|
45 |
;; |
36196
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
46 |
esac |
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
47 |
;; |
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
48 |
CYGWIN_NT*) |
50182 | 49 |
ISABELLE_PLATFORM_FAMILY="windows" |
71342
d72d4a9316c9
updated platform situation: 32bit variants are marginal or absent;
wenzelm
parents:
66731
diff
changeset
|
50 |
ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
d72d4a9316c9
updated platform situation: 32bit variants are marginal or absent;
wenzelm
parents:
66731
diff
changeset
|
51 |
ISABELLE_WINDOWS_PLATFORM64="x86_64-windows" |
36196
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
52 |
case $(uname -m) in |
66691 | 53 |
x86_64) |
54 |
ISABELLE_PLATFORM64=x86_64-cygwin |
|
55 |
;; |
|
56 |
i?86) |
|
48455 | 57 |
ISABELLE_PLATFORM32=x86-cygwin |
36196
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
58 |
;; |
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
59 |
esac |
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
60 |
;; |
cbb9ee265cdd
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
wenzelm
parents:
diff
changeset
|
61 |
esac |