# HG changeset patch
# User wenzelm
# Date 1448294221 -3600
# Node ID b91b1ebfc8a08a9384be04a06234b55210ee07b5
# Parent  d6b2d638af231aa96fb863a797a2e7d9937d2e4d
bundle main sources read-only, to avoid accidental editing of imported theories etc.;

diff -r d6b2d638af23 -r b91b1ebfc8a0 Admin/Windows/Cygwin/isabelle/postinstall
--- a/Admin/Windows/Cygwin/isabelle/postinstall	Sun Nov 22 23:19:43 2015 +0100
+++ b/Admin/Windows/Cygwin/isabelle/postinstall	Mon Nov 23 16:57:01 2015 +0100
@@ -9,6 +9,6 @@
 
 find -type d -exec chmod 755 '{}' +
 find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' +
-find -type f -not -name '*.exe' -not -name '*.dll' -exec chmod 644 '{}' +
+find -type f -not -name '*.exe' -not -name '*.dll' -not -name '*.scala' -not -name '*.ML' -not -name '*.thy' -exec chmod 644 '{}' +
+find -type f \( -name '*.scala' -o -name '*.ML' -o -name '*.thy' \) -exec chmod 444 '{}' +
 xargs -0 < contrib/cygwin/isabelle/executables chmod 755
-
diff -r d6b2d638af23 -r b91b1ebfc8a0 Admin/lib/Tools/makedist
--- a/Admin/lib/Tools/makedist	Sun Nov 22 23:19:43 2015 +0100
+++ b/Admin/lib/Tools/makedist	Mon Nov 23 16:57:01 2015 +0100
@@ -207,8 +207,9 @@
 echo "$IDENT" >../ISABELLE_IDENT
 
 chown -R "$LOGNAME" "$DISTNAME"
+chmod -R g=o "$DISTNAME"
 chmod -R u+w "$DISTNAME"
-chmod -R g=o "$DISTNAME"
+find "$DISTNAME" -type f "(" -name '*.scala' -o -name '*.ML' -o -name '*.thy' ")" -print | xargs chmod -f u-w
 
 echo "$DISTBASE/$DISTNAME.tar.gz"
 tar -c -z -f "$DISTNAME.tar.gz" "$DISTNAME"