X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=.travis.yml;h=8db942630e2e5de8f1d47c311191f64b40f658ba;hb=HEAD;hp=698895c09bc86b53fb07040561cd7bd5c6db2a1c;hpb=002366c34b9b6b7d773796e9dd81a552fa2d0c5c;p=jpf-core.git

diff --git a/.travis.yml b/.travis.yml
index 698895c..8db9426 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,11 +1,23 @@
+dist: trusty
+
 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
+
+script:
+  - ./gradlew check
+
+before_cache:
+  - rm -f  $HOME/.gradle/caches/modules-2/modules-2.lock
+  - rm -fr $HOME/.gradle/caches/*/plugin-resolution/
+
+cache:
+  directories:
+    - $HOME/.gradle/caches/
+    - $HOME/.gradle/wrapper/
+
+addons:
+  apt:
+    packages:
+      - oracle-java8-installer