--- a/src/Pure/Admin/component_csdp.scala Sun Apr 13 12:26:30 2025 +0200
+++ b/src/Pure/Admin/component_csdp.scala Sun Apr 13 12:29:31 2025 +0200
@@ -118,7 +118,7 @@
Isabelle_System.copy_file(source_dir + Path.explode("solver/csdp").platform_exe, platform_dir)
if (Platform.is_windows) {
- Executable.libraries_closure(platform_dir + Path.explode("csdp.exe"), mingw = mingw,
+ Executable.library_closure(platform_dir + Path.explode("csdp.exe"), mingw = mingw,
filter =
Set("libblas", "liblapack", "libgfortran", "libgcc_s_seh",
"libquadmath", "libwinpthread"))
--- a/src/Pure/Admin/component_polyml.scala Sun Apr 13 12:26:30 2025 +0200
+++ b/src/Pure/Admin/component_polyml.scala Sun Apr 13 12:29:31 2025 +0200
@@ -196,7 +196,7 @@
for (file <- sha1_files) Isabelle_System.copy_file(file, platform_dir)
- Executable.libraries_closure(
+ Executable.library_closure(
platform_dir + Path.basic("poly").platform_exe,
env_prefix = gmp_setup + "\n",
mingw = platform_context.mingw,
--- a/src/Pure/Admin/component_verit.scala Sun Apr 13 12:26:30 2025 +0200
+++ b/src/Pure/Admin/component_verit.scala Sun Apr 13 12:29:31 2025 +0200
@@ -79,7 +79,7 @@
val exe_path = Path.basic("veriT").platform_exe
Isabelle_System.copy_file(source_dir + exe_path, platform_dir)
- Executable.libraries_closure(platform_dir + exe_path, filter = Set("libgmp"), mingw = mingw)
+ Executable.library_closure(platform_dir + exe_path, filter = Set("libgmp"), mingw = mingw)
/* settings */
--- a/src/Pure/Admin/component_zipperposition.scala Sun Apr 13 12:26:30 2025 +0200
+++ b/src/Pure/Admin/component_zipperposition.scala Sun Apr 13 12:29:31 2025 +0200
@@ -57,7 +57,7 @@
Isabelle_System.copy_file(build_dir + Path.basic("bin") + prg_path, platform_dir + exe_path)
if (!Platform.is_windows) {
- Executable.libraries_closure(platform_dir + exe_path, filter = Set("libgmp"))
+ Executable.library_closure(platform_dir + exe_path, filter = Set("libgmp"))
}
--- a/src/Pure/System/executable.scala Sun Apr 13 12:26:30 2025 +0200
+++ b/src/Pure/System/executable.scala Sun Apr 13 12:29:31 2025 +0200
@@ -14,7 +14,7 @@
else if (platform.is_windows) "PATH"
else error("Bad platform " + platform)
- def libraries_closure(path: Path,
+ def library_closure(path: Path,
env_prefix: String = "",
mingw: MinGW = MinGW.none,
filter: String => Boolean = _ => true