equal
deleted
inserted
replaced
38 ;; |
38 ;; |
39 esac |
39 esac |
40 ;; |
40 ;; |
41 CYGWIN_NT*) |
41 CYGWIN_NT*) |
42 ISABELLE_PLATFORM_FAMILY="windows" |
42 ISABELLE_PLATFORM_FAMILY="windows" |
|
43 if [ "$PROCESSOR_ARCHITECTURE" = "AMD64" -o "$PROCESSOR_ARCHITEW6432" = "AMD64" ]; then |
|
44 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
|
45 ISABELLE_WINDOWS_PLATFORM64="x86_64-windows" |
|
46 else |
|
47 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
|
48 fi |
43 case $(uname -m) in |
49 case $(uname -m) in |
44 i?86 | x86_64) |
50 x86_64) |
|
51 ISABELLE_PLATFORM64=x86_64-cygwin |
|
52 ;; |
|
53 i?86) |
45 ISABELLE_PLATFORM32=x86-cygwin |
54 ISABELLE_PLATFORM32=x86-cygwin |
46 if [ "$PROCESSOR_ARCHITECTURE" = "AMD64" -o "$PROCESSOR_ARCHITEW6432" = "AMD64" ]; then |
|
47 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
|
48 ISABELLE_WINDOWS_PLATFORM64="x86_64-windows" |
|
49 else |
|
50 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
|
51 fi |
|
52 ;; |
55 ;; |
53 esac |
56 esac |
54 ;; |
57 ;; |
55 *BSD) |
58 *BSD) |
56 ISABELLE_PLATFORM_FAMILY="linux" |
59 ISABELLE_PLATFORM_FAMILY="linux" |
60 ;; |
63 ;; |
61 esac |
64 esac |
62 ;; |
65 ;; |
63 esac |
66 esac |
64 |
67 |
65 ISABELLE_PLATFORM="$ISABELLE_PLATFORM32" |
68 ISABELLE_PLATFORM="${ISABELLE_PLATFORM32:-$ISABELLE_PLATFORM64}" |
66 ISABELLE_WINDOWS_PLATFORM="$ISABELLE_WINDOWS_PLATFORM32" |
69 ISABELLE_WINDOWS_PLATFORM="${ISABELLE_WINDOWS_PLATFORM32:-$ISABELLE_WINDOWS_PLATFORM64}" |