more robust: resolve historic components via current tool to access current server;
authorwenzelm
Fri, 12 Feb 2021 12:13:24 +0100
changeset 73489 7f55a3e28c88
parent 73488 9fd449357079
child 73497 15ea7f6fb422
more robust: resolve historic components via current tool to access current server;
src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Fri Feb 12 12:11:35 2021 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Fri Feb 12 12:13:24 2021 +0100
@@ -50,7 +50,9 @@
     bash("bin/isabelle " + cmdline, redirect = redirect, echo = echo, strict = strict)
 
   def resolve_components(echo: Boolean): Unit =
-    other_isabelle("components -a", redirect = true, echo = echo).check
+    other_isabelle(
+      "env ISABELLE_TOOLS=" + Bash.string(Isabelle_System.getenv("ISABELLE_TOOLS")) +
+      " isabelle components -a", redirect = true, echo = echo).check
 
   def getenv(name: String): String =
     other_isabelle("getenv -b " + Bash.string(name)).check.out