equal
deleted
inserted
replaced
143 |
143 |
144 rm -f .hgignore |
144 rm -f .hgignore |
145 find . "(" -name \*.thy -o -name \*.ML ")" -perm +111 -print | xargs chmod -f -x |
145 find . "(" -name \*.thy -o -name \*.ML ")" -perm +111 -print | xargs chmod -f -x |
146 find . -print | xargs chmod -f u+rw |
146 find . -print | xargs chmod -f u+rw |
147 |
147 |
|
148 perl -pi -e 's/^(ISABELLE_SCALA_BUILD_OPTIONS=")/$1-optimise /,' etc/settings |
|
149 |
148 ./Admin/build all || fail "Failed to build distribution" |
150 ./Admin/build all || fail "Failed to build distribution" |
149 |
151 |
150 if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then |
152 if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then |
151 [ -d "$ISABELLE_JEDIT_BUILD_HOME" ] || fail "Bad jedit_build component directory: \"$ISABELLE_JEDIT_BUILD_HOME\"" |
153 [ -d "$ISABELLE_JEDIT_BUILD_HOME" ] || fail "Bad jedit_build component directory: \"$ISABELLE_JEDIT_BUILD_HOME\"" |
152 eval "$(fgrep ISABELLE_JEDIT_BUILD_VERSION "$ISABELLE_JEDIT_BUILD_HOME/etc/settings")" |
154 eval "$(fgrep ISABELLE_JEDIT_BUILD_VERSION "$ISABELLE_JEDIT_BUILD_HOME/etc/settings")" |