From: Gayan Weerakutti <gayan@linuxdeveloper.space>
Date: Tue, 17 Apr 2018 14:54:08 +0000 (+0530)
Subject: Make Travis build against latest available oracle-jdk
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=2fbe78b2718ba27a126c1eb3b12af1e66c110646;p=jpf-core.git

Make Travis build against latest available oracle-jdk

Modify .travis.yml so that it builds against the latest available oracle-jdk that is provided from the PPA oracle-java8-installer.
---

diff --git a/.travis.yml b/.travis.yml
index 698895c..71bfc44 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,11 +1,17 @@
 language: java
 before_install:
-  - sudo apt-get install junit4
   - mkdir ~/junit
   - ln -s /usr/share/java/junit4.jar ~/junit
   - ln -s /usr/share/java/hamcrest-core.jar ~/junit
   - export JUNIT_HOME=~/junit
+
 install: ant test
+
 jdk:
   - oraclejdk8
-  - openjdk8
+
+addons:
+  apt:
+    packages:
+      - oracle-java8-installer
+      - junit4