leon/.travis.yml at master · manoskouk/leon · 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
34
35
36
37
38
39
40
language: scala

scala:
    - 2.11.7

jdk:
    - oraclejdk7

sudo: false

branches:
    only:
        - master

notifications:
    email:
        - leon-dev@googlegroups.com

before_script:
    - sbt compile
    - sbt script
    - source travis/fetchCVC4.sh

env:
    matrix:
        - TEST_COMMAND="test"
        - TEST_COMMAND="integration:test"
        - TEST_COMMAND="regression:test"

script:
    - sbt ++$TRAVIS_SCALA_VERSION "$TEST_COMMAND"

    # Tricks to avoid unnecessary cache updates
    - find $HOME/.sbt -name "*.lock" | xargs rm
    - find $HOME/.ivy2 -name "ivydata-*.properties" | xargs rm

cache:
    directories:
        - $HOME/.ivy2/cache
        - $HOME/.sbt/boot/