# HG changeset patch
# User wenzelm
# Date 1602602004 -7200
# Node ID defbbff7396c147a165f4968445b6feda8a95018
# Parent  7c552a256ca568da7938b874f22dea45af0ed51d
tuned;

diff -r 7c552a256ca5 -r defbbff7396c src/Pure/Admin/build_csdp.scala
--- a/src/Pure/Admin/build_csdp.scala	Tue Oct 13 16:33:43 2020 +0200
+++ b/src/Pure/Admin/build_csdp.scala	Tue Oct 13 17:13:24 2020 +0200
@@ -125,19 +125,13 @@
       /* install */
 
       File.copy(build_dir + Path.explode("LICENSE"), component_dir)
+      File.copy(build_dir + Path.explode("solver/csdp").platform_exe, platform_dir)
 
-      if (!Platform.is_windows) {
-        File.copy(build_dir + Path.explode("solver/csdp"), platform_dir)
-      }
-      else {
-        File.copy(build_dir + Path.explode("solver/csdp.exe"), platform_dir)
-        val libs =
-          List("libblas", "liblapack", "libgfortran-5", "libgcc_s_seh-1",
-            "libquadmath-0", "libwinpthread-1")
-        for (name <- libs) {
-          File.copy(mingw.get_root + Path.explode("mingw64/bin") + Path.basic(name).ext("dll"),
-            platform_dir)
-        }
+      if (Platform.is_windows) {
+        Executable.libraries_closure(platform_dir + Path.explode("csdp.exe"), mingw = mingw,
+          filter =
+            Set("libblas", "liblapack", "libgfortran-5", "libgcc_s_seh-1",
+              "libquadmath-0", "libwinpthread-1"))
       }