--- a/src/Pure/Admin/build_zipperposition.scala Sat Feb 27 17:33:40 2021 +0100
+++ b/src/Pure/Admin/build_zipperposition.scala Sat Feb 27 18:04:29 2021 +0100
@@ -54,11 +54,12 @@
/* install */
- File.copy(build_dir + Path.explode("doc/zipperposition/LICENSE"), component_dir)
+ Isabelle_System.copy_file(build_dir + Path.explode("doc/zipperposition/LICENSE"),
+ component_dir)
val prg_path = Path.basic("zipperposition")
val exe_path = prg_path.platform_exe
- File.copy(build_dir + Path.basic("bin") + prg_path, platform_dir + exe_path)
+ Isabelle_System.copy_file(build_dir + Path.basic("bin") + prg_path, platform_dir + exe_path)
if (!Platform.is_windows) {
Executable.libraries_closure(