# HG changeset patch
# User wenzelm
# Date 1744539990 -7200
# Node ID 6fda350c37262e38c1ce3387263d798145310e5a
# Parent  b7554954d697a202fe102f32de182e09e5131d0b
tuned;

diff -r b7554954d697 -r 6fda350c3726 src/Pure/System/executable.scala
--- a/src/Pure/System/executable.scala	Sun Apr 13 12:23:48 2025 +0200
+++ b/src/Pure/System/executable.scala	Sun Apr 13 12:26:30 2025 +0200
@@ -23,7 +23,7 @@
     val exe_dir = exe_path.dir
     val exe = exe_path.base
 
-    val ldd_lines = {
+    val lines = {
       val ldd = if (Platform.is_macos) "otool -L" else "ldd"
       val script = mingw.bash_script(env_prefix + ldd + " " + File.bash_path(exe))
       split_lines(Isabelle_System.bash(script, cwd = exe_dir).check.out)
@@ -37,13 +37,13 @@
       if (Platform.is_macos) {
         val Pattern = """^\s*(/.+)\s+\(.*\)$""".r
         for {
-          case Pattern(lib) <- ldd_lines
+          case Pattern(lib) <- lines
           if !lib.startsWith("@executable_path/") && filter(lib_name(lib))
         } yield lib
       }
       else {
         val Pattern = """^.*=>\s*(/.+)\s+\(.*\)$""".r
-        for { case Pattern(lib) <- ldd_lines if filter(lib_name(lib)) }
+        for { case Pattern(lib) <- lines if filter(lib_name(lib)) }
           yield File.standard_path(mingw.platform_path(lib))
       }