X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=.travis.yml;h=8db942630e2e5de8f1d47c311191f64b40f658ba;hb=refs%2Fheads%2Faug2020;hp=0f4d5f0c94d626a74edc7d206a423762e297705c;hpb=838465b7f0681a04e93dded0b1b0874e50db13e3;p=jpf-core.git

diff --git a/.travis.yml b/.travis.yml
index 0f4d5f0..8db9426 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,4 +1,23 @@
+dist: trusty
+
 language: java
-script: 
-   - ant build
-   - ant test
+
+jdk:
+  - oraclejdk8
+
+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