Admin/build_release
author wenzelm
Wed, 23 Jul 2025 14:53:21 +0200
changeset 82898 89da4dcd1fa8
parent 74038 b4f57bfe82e7
permissions -rwxr-xr-x
clarified colors, following d6a14ed060fb;

#!/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 "$@"