equal
deleted
inserted
replaced
21 |
21 |
22 val component_date = Date.Format.alt_date(Date.now()) |
22 val component_date = Date.Format.alt_date(Date.now()) |
23 val component_name = "bash_process-" + component_date |
23 val component_name = "bash_process-" + component_date |
24 val component_dir = |
24 val component_dir = |
25 Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress) |
25 Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress) |
|
26 |
|
27 component_dir.write_platforms() |
26 |
28 |
27 |
29 |
28 /* platform */ |
30 /* platform */ |
29 |
31 |
30 val platform_name = |
32 val platform_name = |
177 ISABELLE_BASH_PROCESS_HOME="$COMPONENT" |
179 ISABELLE_BASH_PROCESS_HOME="$COMPONENT" |
178 ISABELLE_BASH_PROCESS="$ISABELLE_BASH_PROCESS_HOME/${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}/bash_process" |
180 ISABELLE_BASH_PROCESS="$ISABELLE_BASH_PROCESS_HOME/${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}/bash_process" |
179 """) |
181 """) |
180 |
182 |
181 |
183 |
182 /* platform.props */ |
|
183 |
|
184 File.write(component_dir.platform_props, |
|
185 Platform.Family.list.map(family => family.toString + " = ").mkString("", "\n", "\n")) |
|
186 |
|
187 |
|
188 /* README */ |
184 /* README */ |
189 |
185 |
190 File.write(component_dir.README, |
186 File.write(component_dir.README, |
191 """The bash_process executable has been built like this: |
187 """The bash_process executable has been built like this: |
192 |
188 |