X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=.travis.yml;h=dd6b29add74e5f3b1d306618c869bcbc6efdb01f;hb=b592174fd5484cb641f1039a4eccc8af6e8c525f;hp=698895c09bc86b53fb07040561cd7bd5c6db2a1c;hpb=da6a38bb8d6e0e2806dbdba982cd07a314ae12bf;p=jpf-core.git

diff --git a/.travis.yml b/.travis.yml
index 698895c..dd6b29a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,11 +1,21 @@
 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