507 platform match { |
507 platform match { |
508 case Platform.Family.linux => |
508 case Platform.Family.linux => |
509 File.write(isabelle_target + Path.explode(isabelle_name + ".options"), |
509 File.write(isabelle_target + Path.explode(isabelle_name + ".options"), |
510 terminate_lines(java_options_title :: java_options)) |
510 terminate_lines(java_options_title :: java_options)) |
511 |
511 |
512 val isabelle_run = isabelle_target + Path.explode("lib/scripts/Isabelle_app") |
512 val isabelle_app = isabelle_target + Path.explode("lib/scripts/Isabelle_app") |
513 File.write(isabelle_run, |
513 File.write(isabelle_app, |
514 File.read(Path.explode("~~/Admin/Linux/Isabelle_app")) |
514 File.read(Path.explode("~~/Admin/Linux/Isabelle_app")) |
515 .replaceAllLiterally("{CLASSPATH}", |
515 .replaceAllLiterally("{CLASSPATH}", |
516 classpath.map("$ISABELLE_HOME/" + _).mkString(":")) |
516 classpath.map("$ISABELLE_HOME/" + _).mkString(":")) |
517 .replaceAllLiterally("/jdk/", "/" + jdk_component + "/")) |
517 .replaceAllLiterally("/jdk/", "/" + jdk_component + "/")) |
518 File.set_executable(isabelle_run, true) |
518 File.set_executable(isabelle_app, true) |
519 |
519 |
520 val linux_app = isabelle_target + Path.explode("contrib/linux_app") |
520 val linux_app = isabelle_target + Path.explode("contrib/linux_app") |
521 File.move(linux_app + Path.explode("Isabelle"), |
521 File.move(linux_app + Path.explode("Isabelle"), |
522 isabelle_target + Path.explode(isabelle_name)) |
522 isabelle_target + Path.explode(isabelle_name)) |
523 Isabelle_System.rm_tree(linux_app) |
523 Isabelle_System.rm_tree(linux_app) |