equal
deleted
inserted
replaced
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_PLATFORM_FAMILY="" |
7 ISABELLE_PLATFORM_FAMILY="" |
8 ISABELLE_PLATFORM32="" |
8 ISABELLE_PLATFORM32="" |
9 ISABELLE_PLATFORM64="" |
9 ISABELLE_PLATFORM64="" |
|
10 ISABELLE_WINDOWS_PLATFORM32="" |
|
11 ISABELLE_WINDOWS_PLATFORM64="" |
10 |
12 |
11 case $(uname -s) in |
13 case $(uname -s) in |
12 Linux) |
14 Linux) |
13 ISABELLE_PLATFORM_FAMILY="linux" |
15 ISABELLE_PLATFORM_FAMILY="linux" |
14 case $(uname -m) in |
16 case $(uname -m) in |
39 CYGWIN_NT*) |
41 CYGWIN_NT*) |
40 ISABELLE_PLATFORM_FAMILY="windows" |
42 ISABELLE_PLATFORM_FAMILY="windows" |
41 case $(uname -m) in |
43 case $(uname -m) in |
42 i?86 | x86_64) |
44 i?86 | x86_64) |
43 ISABELLE_PLATFORM32=x86-cygwin |
45 ISABELLE_PLATFORM32=x86-cygwin |
|
46 if [ "$PROCESSOR_ARCHITECTURE" = "AMD64" -o "$PROCESSOR_ARCHITEW6432" = "AMD64" ]; then |
|
47 ISABELLE_WINDOWS_PLATFORM64="x86_64-windows" |
|
48 else |
|
49 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
|
50 fi |
44 ;; |
51 ;; |
45 esac |
52 esac |
46 ;; |
53 ;; |
47 *BSD) |
54 *BSD) |
48 ISABELLE_PLATFORM_FAMILY="linux" |
55 ISABELLE_PLATFORM_FAMILY="linux" |