equal
deleted
inserted
replaced
46 Components.Directory(target_dir + Path.basic(component)).create(progress = progress) |
46 Components.Directory(target_dir + Path.basic(component)).create(progress = progress) |
47 |
47 |
48 |
48 |
49 /* platform */ |
49 /* platform */ |
50 |
50 |
51 val platform_name = |
51 val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM() |
52 proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse |
|
53 error("Missing ISABELLE_PLATFORM64") |
|
54 |
|
55 val platform_dir = |
52 val platform_dir = |
56 Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name)) |
53 Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name)) |
57 |
54 |
58 |
55 |
59 /* download source */ |
56 /* download source */ |