Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust: resolve historic components via current tool to access current server;
authorwenzelm
Fri, 12 Feb 2021 12:13:24 +0100
changeset 73243 7f55a3e28c88
parent 73242 9fd449357079
child 73251 15ea7f6fb422
more robust: resolve historic components via current tool to access current server;
src/Pure/Admin/other_isabelle.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle