equal
deleted
inserted
replaced
68 |
68 |
69 ISABELLE_PLATFORM64 (potentially empty) |
69 ISABELLE_PLATFORM64 (potentially empty) |
70 ISABELLE_PLATFORM32 (potentially empty) |
70 ISABELLE_PLATFORM32 (potentially empty) |
71 ISABELLE_PLATFORM |
71 ISABELLE_PLATFORM |
72 |
72 |
73 The ISABELLE_PLATFORM setting variable refers to the 32 bit version of |
73 The ISABELLE_PLATFORM setting variable prefers the 32 bit version of the |
74 the platform, even on 64 bit hardware. Using regular bash notation, |
74 platform, if possible. Using regular bash notation, tools may express their |
75 tools may express their preference for 64 bit with a fall-back for 32 |
75 preference for 64 bit with a fall-back for 32 bit as follows: |
76 bit as follows: |
|
77 |
76 |
78 "${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}" |
77 "${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}" |
79 |
78 |
80 |
79 |
81 There is a second set of settings for native Windows (instead of the |
80 There is a second set of settings for native Windows (instead of the |
82 POSIX emulation of Cygwin used before): |
81 POSIX emulation of Cygwin used before): |
83 |
82 |
84 ISABELLE_WINDOWS_PLATFORM64 (potentially empty) |
83 ISABELLE_WINDOWS_PLATFORM64 |
85 ISABELLE_WINDOWS_PLATFORM32 |
84 ISABELLE_WINDOWS_PLATFORM32 |
86 ISABELLE_WINDOWS_PLATFORM |
85 ISABELLE_WINDOWS_PLATFORM |
87 |
86 |
88 It can be used like this: |
87 It can be used like this: |
89 |
88 |