Admin/build_release
author haftmann
Wed, 23 Jul 2025 13:22:58 +0200
changeset 82900 bd3685e5f883
parent 74038 b4f57bfe82e7
permissions -rwxr-xr-x
eliminate code drop: declarations where none needed

#!/usr/bin/env bash
#
# DESCRIPTION: build full Isabelle distribution from repository

unset CDPATH
THIS="$(cd "$(dirname "$0")"; pwd)"

"$THIS/../bin/isabelle" scala_build -q || exit $?
"$THIS/../bin/isabelle_java" isabelle.Build_Release "$@"