| changeset 41665 | a23ca60625ef |
| parent 41607 | 351aa5f7d130 |
| child 41984 | e5dba3d75e9e |
| 41664:e4e0b2c08950 | 41665:a23ca60625ef |
|---|---|
2 # |
2 # |
3 # makedist -- make Isabelle source distribution |
3 # makedist -- make Isabelle source distribution |
4 |
4 |
5 ## global settings |
5 ## global settings |
6 |
6 |
7 REPOS_NAME="isabelle-release" |
7 REPOS_NAME="isabelle" |
8 REPOS="http://isabelle.in.tum.de/repos/${REPOS_NAME}" |
8 REPOS="http://isabelle.in.tum.de/repos/${REPOS_NAME}" |
9 |
9 |
10 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist} |
10 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist} |
11 |
11 |
12 umask 022 |
12 umask 022 |