# Travis CI configuration

# trusty (has build-essential) + Java
dist: trusty
# we are requiring VM instead of Docker builds due to sporadic nailgun test suite failures
sudo: required
language: java

# we test for JDK8 and JDK9
jdk:
  - oraclejdk8
  - oraclejdk9
  - oraclejdk10
  
# compile and run the test suite
# we manually set PRISM_JAVA to the java on the PATH as the python invocation of prism-auto fiddles with the PATH variable...  
script: >
  cd prism &&
  make &&
  echo 'Compilation successful, running test suite....' && echo &&
  export PRISM_JAVA=`which java` &&
  make tests &&
  echo && echo 'Yay'


# notifications
notifications:
  email:
    recipients:
      - d.a.parker@cs.bham.ac.uk
      - klein@tcs.inf.tu-dresden.de
    on_success: change
    on_failure: always