jdataflow/.travis.yml at master · Egor18/jdataflow · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
language: java

os: linux
dist: xenial
jdk: openjdk8

# Prevent travis from running gradle assemble
install:
  - true

before_cache:
  - rm -f  $HOME/.gradle/caches/modules-2/modules-2.lock
  - rm -fr $HOME/.gradle/caches/*/plugin-resolution/

cache:
  directories:
    - $HOME/.m2
    - $HOME/.gradle/caches/
    - $HOME/.gradle/wrapper/

before_script:
  - chmod +x gradlew

script:
  - wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04.zip
  - unzip z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04.zip
  - export LD_LIBRARY_PATH=./z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04/bin
  - ./gradlew build
  - ./gradlew jacocoTestReport

# Upload reports to Codecov
after_success:
  - bash <(curl -s https://codecov.io/bash)