# HG changeset patch
# User wenzelm
# Date 1602611968 -7200
# Node ID 96f56191aaeadddd18b4f2c3e8bd8ff44f3e6a26
# Parent  60471f4bafd22681cae567e9689a351dbc952425
proper target directory for libraries;

diff -r 60471f4bafd2 -r 96f56191aaea src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Tue Oct 13 19:29:28 2020 +0200
+++ b/src/Pure/Admin/build_polyml.scala	Tue Oct 13 19:59:28 2020 +0200
@@ -92,9 +92,6 @@
         } || { echo "Build failed" >&2; exit 2; }
       """, redirect = true, echo = true).check
 
-    Executable.libraries_closure(
-      root + Path.explode("target/bin/poly"), mingw = mingw, filter = info.libs)
-
 
     /* sha1 library */
 
@@ -123,6 +120,9 @@
       entry <- File.read_dir(dir)
     } File.move(dir + Path.explode(entry), platform_dir)
 
+    Executable.libraries_closure(
+      platform_dir + Path.basic("poly").platform_exe, mingw = mingw, filter = info.libs)
+
 
     /* polyc: directory prefix */