src/Pure/System/executable.scala

--- a/src/Pure/System/executable.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/System/executable.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -19,7 +19,7 @@
     val ldd_lines = {
       val ldd = if (Platform.is_macos) "otool -L" else "ldd"
       val script = mingw.bash_script(ldd + " " + File.bash_path(exe))
-      split_lines(Isabelle_System.bash(script, cwd = exe_dir.file).check.out)
+      split_lines(Isabelle_System.bash(script, cwd = exe_dir).check.out)
     }
 
     def lib_name(lib: String): String =
@@ -58,7 +58,7 @@
             libs.map(file => "-change " + Bash.string(file) + " " +
               Bash.string("@executable_path/" + Path.explode(file).file_name) + " " +
               File.bash_path(exe))).mkString(" ")
-        Isabelle_System.bash(script, cwd = exe_dir.file).check
+        Isabelle_System.bash(script, cwd = exe_dir).check
       }
     }