--- a/Admin/lib/Tools/makedist Tue Apr 26 19:37:47 2016 +0200
+++ b/Admin/lib/Tools/makedist Tue Apr 26 21:46:12 2016 +0200
@@ -180,7 +180,7 @@
echo "### Preparing distribution $DISTNAME"
-find . "(" -name \*.thy -o -name \*.ML -o -name \*.scala ")" -perm +111 -print | xargs chmod -f -x
+find . "(" -name \*.thy -o -name \*.ML -o -name \*.scala ")" -print | xargs chmod -f -x
find . -print | xargs chmod -f u+rw
export CLASSPATH="$ISABELLE_CLASSPATH"
--- a/Admin/lib/Tools/makedist_bundle Tue Apr 26 19:37:47 2016 +0200
+++ b/Admin/lib/Tools/makedist_bundle Tue Apr 26 21:46:12 2016 +0200
@@ -320,8 +320,13 @@
"contrib/cygwin/isabelle/."
done
- find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \
- -print0 > "contrib/cygwin/isabelle/executables"
+ if [ "$ISABELLE_PLATFORM_FAMILY" = macos ]; then
+ find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \
+ -print0 > "contrib/cygwin/isabelle/executables"
+ else
+ find . -type f -not -name '*.exe' -not -name '*.dll' -executable \
+ -print0 > "contrib/cygwin/isabelle/executables"
+ fi
find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \
> "contrib/cygwin/isabelle/symlinks"