ultimate/.travis.yml at dev · Druidos/ultimate · 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
41
42
43
44
45
46
47
48
49
50
51
52
language: java
jdk:
 - oraclejdk8
# - openjdk8

os:
 - linux

env:
  global:
   - JAVA_OPTS="-enableassertions -Xmx1g"
   - _JAVA_OPTIONS="-enableassertions -Xmx1g"

before_script:
  - free -g
  - uname -a
  - cat /proc/cpuinfo
  - wget http://ultimate.informatik.uni-freiburg.de/downloads/z3.zip -O /tmp/z3.zip
  - wget http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.2b1.tar.gz -O /tmp/ltl2ba.tar.gz
  - unzip /tmp/z3.zip -d z3
  - tar -xvf /tmp/ltl2ba.tar.gz
  - cd ltl2ba-1.2b1 && make && cd ..
  - export PATH=$PATH:$PWD/z3:$PWD/ltl2ba-1.2b1

script:
  - while true; do sleep 10 && echo -n "."; done &
  - cd trunk/source/BA_MavenParentUltimate && mvn clean install -Ptravis -Dmaven.test.failure.ignore=true
  - kill $!

after_success:
  - mvn clean test jacoco:report coveralls:report -Ptravis

branches:
  only:
    - dev
    - stable

notifications:
  irc:
    channels:
      - "irc.quakenet.org#sopra-crew"
    on_success: change
    on_failure: always
    template:
      - "%{repository} (%{branch}:%{commit} by %{author}): %{message} (%{build_url})"
    skip_join: true
    use_notice: true
  email:
    on_success: change
    on_failure: always

sudo: false