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.
move polyml within Cygwin /usr/local to simplify its rebasing;
authorwenzelm
Wed, 25 Apr 2012 10:59:06 +0200
changeset 47742 316c67657fd3
parent 47741 9c44fdd287a1
child 47743 493c0169e75c
move polyml within Cygwin /usr/local to simplify its rebasing;
Admin/makebundle file | annotate | diff | comparison | revisions 
--- a/Admin/makebundle	Wed Apr 25 10:24:41 2012 +0200
+++ b/Admin/makebundle	Wed Apr 25 10:59:06 2012 +0200
@@ -75,6 +75,8 @@
   [ -e "$TAR" ] || fail "Missing $TAR"
   rm -f "$ISABELLE_HOME/Isabelle"
   tar -C "$ISABELLE_HOME" -xv -f "$TAR"
+
+  mv "$ISABELLE_HOME/contrib"/polyml* "$ISABELLE_HOME/contrib/cygwin-1.7.9/usr/local/"
 fi
isabelle