equal
deleted
inserted
replaced
48 val component_dir = |
48 val component_dir = |
49 Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress) |
49 Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress) |
50 |
50 |
51 val platform_name = |
51 val platform_name = |
52 proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) |
52 proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) |
53 .getOrElse(error("No 64bit platform")) |
53 .getOrElse(error("Missing ISABELLE_PLATFORM64")) |
54 |
54 |
55 val platform_dir = |
55 val platform_dir = |
56 Isabelle_System.make_directory(component_dir.path + Path.basic("platform_" + platform_name)) |
56 Isabelle_System.make_directory(component_dir.path + Path.basic("platform_" + platform_name)) |
57 |
57 |
58 |
58 |