equal
deleted
inserted
replaced
89 |
89 |
90 /* settings */ |
90 /* settings */ |
91 |
91 |
92 component_dir.write_settings(""" |
92 component_dir.write_settings(""" |
93 case "$ISABELLE_PLATFORM_FAMILY" in |
93 case "$ISABELLE_PLATFORM_FAMILY" in |
94 linux) |
94 linux*) |
95 ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64" |
95 ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64" |
96 ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM" |
96 ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM" |
97 ;; |
97 ;; |
98 windows) |
98 windows*) |
99 ISABELLE_JAVA_PLATFORM="$ISABELLE_WINDOWS_PLATFORM64" |
99 ISABELLE_JAVA_PLATFORM="$ISABELLE_WINDOWS_PLATFORM64" |
100 ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM" |
100 ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM" |
101 ;; |
101 ;; |
102 macos) |
102 macos*) |
103 if [ -n "$ISABELLE_APPLE_PLATFORM64" -a -d "$COMPONENT/$ISABELLE_APPLE_PLATFORM64" ] |
103 if [ -n "$ISABELLE_APPLE_PLATFORM64" -a -d "$COMPONENT/$ISABELLE_APPLE_PLATFORM64" ] |
104 then |
104 then |
105 ISABELLE_JAVA_PLATFORM="$ISABELLE_APPLE_PLATFORM64" |
105 ISABELLE_JAVA_PLATFORM="$ISABELLE_APPLE_PLATFORM64" |
106 else |
106 else |
107 ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64" |
107 ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64" |