# HG changeset patch
# User wenzelm
# Date 1744316330 -7200
# Node ID c3833e342d5db6770094bbf5820083e9608e640a
# Parent  781be4a1c2b8adbe293575def2cc22e1fcadd8fd
more robust;

diff -r 781be4a1c2b8 -r c3833e342d5d src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Thu Apr 10 21:27:55 2025 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Thu Apr 10 22:18:50 2025 +0200
@@ -148,9 +148,8 @@
       gmp_root match {
         case Some(dir) =>
           val v = Executable.library_path_variable(platform)
-          val p = Isabelle_System.getenv(v)
           val s = platform_context.standard_path(dir.absolute) + "/lib"
-          Bash.exports(v + "=" + s + if_proper(p, ":" + p))
+          "export " + v + "=" + quote(s + ":" + "$" + v)
         case None => ""
       }
 
@@ -193,7 +192,7 @@
 
     Executable.libraries_closure(
       platform_dir + Path.basic("poly").platform_exe,
-      env_prefix = gmp_setup,
+      env_prefix = gmp_setup + "\n",
       mingw = platform_context.mingw,
       filter = info.libs)