author | wenzelm |
Fri, 11 Nov 2022 23:04:55 +0100 | |
changeset 76508 | ecb9e6d29698 |
parent 74038 | b4f57bfe82e7 |
permissions | -rwxr-xr-x |
64202 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# DESCRIPTION: build full Isabelle distribution from repository |
|
4 |
||
73705
ac07f6be27ea
avoid unexpected output+behaviour when CDPATH is set
kleing
parents:
64202
diff
changeset
|
5 |
unset CDPATH |
64202 | 6 |
THIS="$(cd "$(dirname "$0")"; pwd)" |
7 |
||
74038
b4f57bfe82e7
more robust "isabelle build_scala" as separate tool;
wenzelm
parents:
74017
diff
changeset
|
8 |
"$THIS/../bin/isabelle" scala_build -q || exit $? |
b4f57bfe82e7
more robust "isabelle build_scala" as separate tool;
wenzelm
parents:
74017
diff
changeset
|
9 |
"$THIS/../bin/isabelle_java" isabelle.Build_Release "$@" |