changeset 73091 | bf573ed376ef |
parent 72999 | f6051c13bffa |
child 73671 | 7404f2e1d092 |
73090:9db6072eb711 | 73091:bf573ed376ef |
---|---|
33 ISABELLE_PLATFORM32=x86-darwin |
33 ISABELLE_PLATFORM32=x86-darwin |
34 ISABELLE_PLATFORM64=x86_64-darwin |
34 ISABELLE_PLATFORM64=x86_64-darwin |
35 ;; |
35 ;; |
36 *) |
36 *) |
37 ISABELLE_PLATFORM64=x86_64-darwin |
37 ISABELLE_PLATFORM64=x86_64-darwin |
38 case $(uname -m) in |
38 case $(uname -a) in |
39 arm64) |
39 *arm64*|*ARM64*) |
40 ISABELLE_APPLE_PLATFORM64=arm64-darwin |
40 ISABELLE_APPLE_PLATFORM64=arm64-darwin |
41 ;; |
41 ;; |
42 *) |
42 *) |
43 ;; |
43 ;; |
44 esac |
44 esac |