| #!/bin/bash |
| |
| set -e |
| set -o verbose |
| set -o xtrace |
| export SHELLOPTS |
| echo "SHELLOPTS=${SHELLOPTS}" |
| |
| SCRIPTDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" |
| # In newer shellcheck than 0.6.0, pass: "-P SCRIPTDIR" (literally) |
| # shellcheck disable=SC1090 |
| source "$SCRIPTDIR"/build.sh |
| |
| |
| "$SCRIPTDIR/.plume-scripts/git-clone-related" typetools guava |
| cd ../guava |
| |
| if [ "$TRAVIS" = "true" ] ; then |
| # There are two reasons that this script does not work on Travis. |
| # 1. Travis kills jobs that do not produce output for 10 minutes. (This can be worked around.) |
| # 2. Travis kills jobs that produce too much output. (This cannot be worked around.) |
| echo "On Travis, use scripts that run just one type-checker." |
| exit 1 |
| fi |
| |
| ## This command works locally, but on Azure it fails with timouts while downloading Maven dependencies. |
| # cd guava && time mvn --debug -B package -P checkerframework-local -Dmaven.test.skip=true -Danimal.sniffer.skip=true |
| |
| cd guava && time mvn --debug -B compile -P checkerframework-local |
