https://github.com/gapt/gapt
Tip revision: 2f9ab4b9865f0e3e4b8b04b71d2f0fbf3d1b8623 authored by Jannik Vierling on 21 July 2022, 07:37:48 UTC
release 2.16.0
release 2.16.0
Tip revision: 2f9ab4b
include.sh
gapt_version="2.16.0"
heap_size="2g"
stack_size="20m"
for _binary in "$JAVA_HOME/bin/java" "$(which java)"; do
if [[ -x "$_binary" ]]; then
java="$_binary"
break
fi
done
if [[ -z "$java" ]]; then
echo "Java executable not found, please check your path and maybe set JAVA_HOME correctly." >&2
exit 1
fi
for _jar in "$basedir/gapt-$gapt_version.jar" "$basedir/target/scala-2.13/root-assembly-$gapt_version.jar"; do
if [[ -f "$_jar" ]]; then
gapt_jar="$_jar"
break
fi
done
if [[ -z "$gapt_jar" ]]; then
echo "Could not find gapt jar. Run sbt assembly." >&2
exit 1
fi
run_gapt() {
"$java" -Xmx"$heap_size" -Xss"$stack_size" -cp ".:$gapt_jar" "$@"
}