equal
deleted
inserted
replaced
46 |
46 |
47 /* platform */ |
47 /* platform */ |
48 |
48 |
49 val platform_name = |
49 val platform_name = |
50 proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse |
50 proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse |
51 error("No 64bit platform") |
51 error("Missing ISABELLE_PLATFORM64") |
52 |
52 |
53 val platform_dir = |
53 val platform_dir = |
54 Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name)) |
54 Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name)) |
55 |
55 |
56 |
56 |