equal
deleted
inserted
replaced
21 ;; |
21 ;; |
22 esac |
22 esac |
23 ;; |
23 ;; |
24 Darwin) |
24 Darwin) |
25 ISABELLE_PLATFORM_FAMILY="macos" |
25 ISABELLE_PLATFORM_FAMILY="macos" |
26 case $(sw_vers -productVersion) in |
26 ISABELLE_PLATFORM64=x86_64-darwin |
27 10.10*|10.11*|10.12*|10.13*|10.14*) |
27 case $(uname -a) in |
28 ISABELLE_PLATFORM64=x86_64-darwin |
28 *arm64*|*ARM64*) |
|
29 ISABELLE_APPLE_PLATFORM64=arm64-darwin |
29 ;; |
30 ;; |
30 *) |
31 *) |
31 ISABELLE_PLATFORM64=x86_64-darwin |
|
32 case $(uname -a) in |
|
33 *arm64*|*ARM64*) |
|
34 ISABELLE_APPLE_PLATFORM64=arm64-darwin |
|
35 ;; |
|
36 *) |
|
37 ;; |
|
38 esac |
|
39 ;; |
32 ;; |
40 esac |
33 esac |
41 ;; |
34 ;; |
42 CYGWIN_NT*) |
35 CYGWIN_NT*) |
43 ISABELLE_PLATFORM_FAMILY="windows" |
36 ISABELLE_PLATFORM_FAMILY="windows" |