diff --git a/.travis.yml b/.travis.yml index 0b2e84e8..6ed47421 100644 --- a/.travis.yml +++ b/.travis.yml @@ -10,10 +10,17 @@ language: java jdk: - oraclejdk8 - oraclejdk9 -# - oraclejdk10 + - oraclejdk10 # compile and run the test suite -script: cd prism && make && echo 'Compilation successful, running test suite....' && echo && make tests && echo && echo 'Yay' +# 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