Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist
changeset 53579 602dc7e63757
parent 53436 ef2bb63583ac
child 53913 5ff12177a067
equal deleted inserted replaced
53578:838d9e058a1a 53579:602dc7e63757 
   166 echo "### Preparing distribution $DISTNAME"
 
   166 echo "### Preparing distribution $DISTNAME"
 
   167 
   167 
   168 find . "(" -name \*.thy -o -name \*.ML -o -name \*.scala ")" -perm +111 -print | xargs chmod -f -x
 
   168 find . "(" -name \*.thy -o -name \*.ML -o -name \*.scala ")" -perm +111 -print | xargs chmod -f -x
 
   169 find . -print | xargs chmod -f u+rw
 
   169 find . -print | xargs chmod -f u+rw
 
   170 
   170 
       
   171 export CLASSPATH="$ISABELLE_CLASSPATH"
 
       
   172 
   171 ./bin/isabelle env ISABELLE_SCALA_BUILD_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -optimise" \
 
   173 ./bin/isabelle env ISABELLE_SCALA_BUILD_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -optimise" \
 
   172   ./Admin/build all || fail "Failed to build distribution"
 
   174   ./Admin/build all || fail "Failed to build distribution"
 
   173 
   175 
   174 ./bin/isabelle env ISABELLE_SCALA_BUILD_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -optimise" \
 
   176 ./bin/isabelle env ISABELLE_SCALA_BUILD_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -optimise" \
 
   175   ./bin/isabelle jedit -b || fail "Failed to build Isabelle/jEdit"
 
   177   ./bin/isabelle jedit -b || fail "Failed to build Isabelle/jEdit"
isabelle