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.
record versions of both jEdit and Isabelle;
authorwenzelm
Tue, 11 Jan 2011 20:10:34 +0100
changeset 41513 0ffd5ea44078
parent 41512 8445396e1e39
child 41514 917f1a4fbc77
record versions of both jEdit and Isabelle;
src/Tools/jEdit/makedist file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/makedist	Tue Jan 11 20:01:57 2011 +0100
+++ b/src/Tools/jEdit/makedist	Tue Jan 11 20:10:34 2011 +0100
@@ -66,8 +66,9 @@
 # target name
 
 [ -z "$JEDIT_HOME" ] && fail "Unknown JEDIT_HOME"
+[ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
 
-VERSION=$(basename "$JEDIT_HOME")
+VERSION="$(basename "$JEDIT_HOME")_Isabelle-$("$ISABELLE_TOOL" version -i)"
 JEDIT="jedit-${VERSION}"
 
 rm -rf "$JEDIT" jedit
isabelle