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.
register polyml executables so that Cygwin rebaseall will see them;
authorwenzelm
Wed, 25 Apr 2012 17:15:10 +0200
changeset 47760 b9840d8fca43
parent 47759 af40c7e90c1e
child 47761 dfe747e72fa8
register polyml executables so that Cygwin rebaseall will see them;
Admin/makebundle file | annotate | diff | comparison | revisions 
--- a/Admin/makebundle	Wed Apr 25 15:54:36 2012 +0200
+++ b/Admin/makebundle	Wed Apr 25 17:15:10 2012 +0200
@@ -77,6 +77,10 @@
   tar -C "$ISABELLE_HOME" -xv -f "$TAR"
 
   mv "$ISABELLE_HOME/contrib"/polyml* "$ISABELLE_HOME/contrib/cygwin-1.7.9/usr/local/"
+  (
+    cd "$ISABELLE_HOME/contrib/cygwin-1.7.9"
+    find usr/local/polyml-*/x86-cygwin | gzip > etc/setup/polyml.lst.gz
+  )
 fi
isabelle