--- a/src/Pure/Admin/other_isabelle.scala Thu Jul 15 16:01:04 2021 +0200
+++ b/src/Pure/Admin/other_isabelle.scala Thu Jul 15 16:35:45 2021 +0200
@@ -57,6 +57,10 @@
def getenv(name: String): String =
other_isabelle("getenv -b " + Bash.string(name)).check.out
+ def setup_classpath(): String =
+ other_isabelle("env bash -c " +
+ Bash.string("isabelle_setup_classpath && isabelle getenv -b ISABELLE_CLASSPATH")).check.out
+
val isabelle_home_user: Path = Path.explode(getenv("ISABELLE_HOME_USER"))
val etc: Path = isabelle_home_user + Path.explode("etc")