| changeset 72370 | e25c0a6cc335 |
| parent 72344 | 728da67527b9 |
| child 72999 | f6051c13bffa |
| 72369:694d0a315d0a | 72370:e25c0a6cc335 |
|---|---|
13 Linux) |
13 Linux) |
14 ISABELLE_PLATFORM_FAMILY="linux" |
14 ISABELLE_PLATFORM_FAMILY="linux" |
15 case $(uname -m) in |
15 case $(uname -m) in |
16 aarch64) |
16 aarch64) |
17 ISABELLE_PLATFORM64=arm64-linux |
17 ISABELLE_PLATFORM64=arm64-linux |
18 ;; |
|
19 arm*) |
|
20 ISABELLE_PLATFORM32=arm32-linux |
|
18 ;; |
21 ;; |
19 *) |
22 *) |
20 ISABELLE_PLATFORM32=x86-linux |
23 ISABELLE_PLATFORM32=x86-linux |
21 ISABELLE_PLATFORM64=x86_64-linux |
24 ISABELLE_PLATFORM64=x86_64-linux |
22 ;; |
25 ;; |