src/Pure/Admin/component_cvc5.scala

--- a/src/Pure/Admin/component_cvc5.scala	Wed Jan 08 05:38:13 2025 +0100
+++ b/src/Pure/Admin/component_cvc5.scala	Wed Jan 08 14:30:17 2025 +0100
@@ -60,21 +60,22 @@
         Isabelle_System.make_directory(platform_dir)
 
         val exe_path = Path.explode("cvc5").exe_if(platform.is_windows)
+        val exe_bin_path = Path.explode("cvc5-bin").exe_if(platform.is_windows)
+
         val exe = platform_dir + exe_path
+        val exe_bin = platform_dir + exe_bin_path
 
         Isabelle_System.download_file(download, archive_path, progress = progress)
         Isabelle_System.extract(archive_path, download_dir, strip = true)
-        Isabelle_System.copy_file(download_dir + Path.basic("bin") + exe_path, platform_dir)
-        File.set_executable(exe)
+
+        Isabelle_System.copy_file(download_dir + Path.basic("bin") + exe_path, exe_bin)
+        File.set_executable(exe_bin)
 
-        if (platform.is_arm) {
-          Isabelle_System.move_file(exe, exe.ext("bin"))
-          File.write(exe, """#!/usr/bin/env bash
+        File.write(exe, """#!/usr/bin/env bash
 
-"$CVC5_HOME/cvc5.bin" "$@"
+"$CVC5_HOME/cvc5-bin" "$@"
 """)
-          File.set_executable(exe)
-        }
+        File.set_executable(exe)
       }
     }