| author | wenzelm |
| Fri, 11 Nov 2016 11:41:14 +0100 | |
| changeset 64490 | abc34a149690 |
| permissions | -rwxr-xr-x |
|
64490
abc34a149690
prefer raw Admin tool, without Isabelle settings environment;
wenzelm
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
|
abc34a149690
prefer raw Admin tool, without Isabelle settings environment;
wenzelm
parents:
diff
changeset
|
2 |
# |
|
abc34a149690
prefer raw Admin tool, without Isabelle settings environment;
wenzelm
parents:
diff
changeset
|
3 |
# DESCRIPTION: build Poly/ML from sources |
|
abc34a149690
prefer raw Admin tool, without Isabelle settings environment;
wenzelm
parents:
diff
changeset
|
4 |
|
|
abc34a149690
prefer raw Admin tool, without Isabelle settings environment;
wenzelm
parents:
diff
changeset
|
5 |
THIS="$(cd "$(dirname "$0")"; pwd)" |
|
abc34a149690
prefer raw Admin tool, without Isabelle settings environment;
wenzelm
parents:
diff
changeset
|
6 |
|
|
abc34a149690
prefer raw Admin tool, without Isabelle settings environment;
wenzelm
parents:
diff
changeset
|
7 |
"$THIS/build" jars || exit $? |
|
abc34a149690
prefer raw Admin tool, without Isabelle settings environment;
wenzelm
parents:
diff
changeset
|
8 |
exec "$THIS/../bin/isabelle_java" isabelle.Build_PolyML "$@" |