.travis.yml

sudo: false

language: generic

services:
  - docker

# jdkany contains extra packages that permit it to be used to build the manual
env:
  - JDKVER=jdk7 GROUP=junit
  - JDKVER=jdk7 GROUP=nonjunit
  - JDKVER=jdk8 GROUP=junit
  - JDKVER=jdk8 GROUP=nonjunit
  - JDKVER=jdkany GROUP=misc

before_script:
- docker pull mdernst/ubuntu-for-cf-$JDKVER

script:
- docker run mdernst/ubuntu-for-cf-$JDKVER /bin/sh -c "export JAVA_HOME=\`which javac|xargs readlink -f|xargs dirname|xargs dirname\` && git clone --quiet -b $TRAVIS_BRANCH --depth 3 https://github.com/$TRAVIS_REPO_SLUG.git checker-framework && cd checker-framework && java -version && javac -version && ./.travis-build.sh $GROUP"

after_script:
  - |
      declare exitCode;
      curl -sSL https://raw.githubusercontent.com/mernst/travis-after-all/master/lib/travis-after-all.js | node
      exitCode=$?

      if [ "$exitCode" -eq 0 ]; then
        if [[ ($TRAVIS_BRANCH == master) &&
              ($TRAVIS_PULL_REQUEST == false) ]] ; then
          curl -LO https://raw.github.com/mernst/plume-lib/master/bin/trigger-travis.sh
          sh trigger-travis.sh typetools checker-framework-demos $TRAVISTOKEN
          sh trigger-travis.sh typetools checker-framework-inference $TRAVISTOKEN
          sh trigger-travis.sh typetests daikon-typecheck $TRAVISTOKEN
          sh trigger-travis.sh typetests plume-lib-typecheck $TRAVISTOKEN
          sh trigger-travis.sh typetools sparta $TRAVISTOKEN
        fi
      fi

git:
  depth: 3