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.
more Cygwin packages to help out in a pitch -- NB: make is still needed for legacy usedir;
authorwenzelm
Fri, 11 Jan 2013 22:23:03 +0100
changeset 50838 ad959a8b951e
parent 50837 db0012672241
child 50839 9cc70b273e90
more Cygwin packages to help out in a pitch -- NB: make is still needed for legacy usedir;
Admin/lib/Tools/makedist_cygwin file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/makedist_cygwin	Fri Jan 11 22:16:48 2013 +0100
+++ b/Admin/lib/Tools/makedist_cygwin	Fri Jan 11 22:23:03 2013 +0100
@@ -55,7 +55,7 @@
   --site "$CYGWIN_MIRROR" --no-verify \
   --local-package-dir 'C:\tmp' \
   --root "$(cygpath -w "$TARGET")" \
-  --packages libgmp3,perl,python,rlwrap \
+  --packages libgmp3,make,perl,python,rlwrap,vim \
   --no-shortcuts --no-startmenu --no-desktop --quiet-mode
 
 [ "$?" = 0 -a -e "$TARGET/etc" ] || exit 2
isabelle