Admin/Windows/Cygwin/isabelle/rebaseall
author wenzelm
Fri, 18 Jan 2013 20:24:51 +0100
changeset 50978 20edcc6a8def
parent 50892 9a7d81d66d09
child 51068 48cecc50c221
permissions -rwxr-xr-x
more uniform permissions;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50807
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     1
#!/bin/dash
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     2
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     3
PATH=/bin
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     4
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     5
FILE_LIST="$(mktemp)"
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
     6
50888
bfe84bbd010b clarified paths: init relatively to cygwin root;
wenzelm
parents: 50807
diff changeset
     7
CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
bfe84bbd010b clarified paths: init relatively to cygwin root;
wenzelm
parents: 50807
diff changeset
     8
50892
9a7d81d66d09 include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
wenzelm
parents: 50888
diff changeset
     9
for DIR in "$CONTRIB/polyml-5.5.0"
50807
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
    10
do
50892
9a7d81d66d09 include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
wenzelm
parents: 50888
diff changeset
    11
  find "$DIR" -name "*.dll" >> "$FILE_LIST"
50807
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
    12
done
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
    13
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
    14
dash /bin/rebaseall -T "$FILE_LIST"
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
    15
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset
    16
rm -f "$FILE_LIST"
50978
20edcc6a8def more uniform permissions;
wenzelm
parents: 50892
diff changeset
    17