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.
clarified paths: init relatively to cygwin root;
authorwenzelm
Mon, 14 Jan 2013 14:53:54 +0100
changeset 50888 bfe84bbd010b
parent 50887 1cadc8a8b377
child 50889 e3ab7820777b
clarified paths: init relatively to cygwin root;
Admin/Windows/Cygwin/isabelle/init.bat file | annotate | diff | comparison | revisions
Admin/Windows/Cygwin/isabelle/rebaseall file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/Cygwin/isabelle/init.bat	Mon Jan 14 14:52:52 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/init.bat	Mon Jan 14 14:53:54 2013 +0100
@@ -1,11 +1,11 @@
 @echo off
 
 cd "%~dp0"
-cd "..\.."
+cd ".."
 
 set CYGWIN=nodosfilewarning
 
 echo Initializing Cygwin ...
-"contrib\cygwin\bin\dash" /isabelle/rebaseall contrib/polyml-5.5.0
-"contrib\cygwin\bin\bash" /isabelle/postinstall
+"bin\dash" /isabelle/rebaseall polyml-5.5.0
+"bin\bash" /isabelle/postinstall
 
--- a/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 14 14:52:52 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 14 14:53:54 2013 +0100
@@ -4,9 +4,11 @@
 
 FILE_LIST="$(mktemp)"
 
-for DIR in "$@"
+CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
+
+for NAME in "$@"
 do
-  find "$DIR" -name "*.dll" >> "$FILE_LIST"
+  find "$CONTRIB/$NAME" -name "*.dll" >> "$FILE_LIST"
 done
 
 dash /bin/rebaseall -T "$FILE_LIST"
isabelle