equal
deleted
inserted
replaced
42 ISABELLE_PLATFORM_FAMILY="windows" |
42 ISABELLE_PLATFORM_FAMILY="windows" |
43 case $(uname -m) in |
43 case $(uname -m) in |
44 i?86 | x86_64) |
44 i?86 | x86_64) |
45 ISABELLE_PLATFORM32=x86-cygwin |
45 ISABELLE_PLATFORM32=x86-cygwin |
46 if [ "$PROCESSOR_ARCHITECTURE" = "AMD64" -o "$PROCESSOR_ARCHITEW6432" = "AMD64" ]; then |
46 if [ "$PROCESSOR_ARCHITECTURE" = "AMD64" -o "$PROCESSOR_ARCHITEW6432" = "AMD64" ]; then |
|
47 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
47 ISABELLE_WINDOWS_PLATFORM64="x86_64-windows" |
48 ISABELLE_WINDOWS_PLATFORM64="x86_64-windows" |
48 else |
49 else |
49 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
50 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
50 fi |
51 fi |
51 ;; |
52 ;; |
60 esac |
61 esac |
61 ;; |
62 ;; |
62 esac |
63 esac |
63 |
64 |
64 ISABELLE_PLATFORM="$ISABELLE_PLATFORM32" |
65 ISABELLE_PLATFORM="$ISABELLE_PLATFORM32" |
65 |
66 ISABELLE_WINDOWS_PLATFORM="$ISABELLE_WINDOWS_PLATFORM32" |