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.
Calling isabelle with proper (relative) path, no longer relying on $PATH.
authorwebertj
Mon, 13 Aug 2012 20:01:30 +0200
changeset 48788 cea7f88c8084
parent 48785 1e384f729045
child 48789 7476665f3e0f
Calling isabelle with proper (relative) path, no longer relying on $PATH.
Admin/download-components file | annotate | diff | comparison | revisions 
--- a/Admin/download-components	Sun Aug 12 23:13:43 2012 +0200
+++ b/Admin/download-components	Mon Aug 13 20:01:30 2012 +0200
@@ -17,7 +17,7 @@
   exit 1
 }
 
-ISABELLE_HOME_USER="$(isabelle getenv -b ISABELLE_HOME_USER)"
+ISABELLE_HOME_USER="$("${HERE}/../bin/isabelle" getenv -b ISABELLE_HOME_USER)"
 : ${TMP:='/tmp'}
 REMOTE='http://isabelle.in.tum.de/components'
 LOCAL="${ISABELLE_HOME_USER}/contrib"
isabelle