Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .travis.yml @ 6d7d1264

History | View | Annotate | Download (1.75 KB)

1
language: c
2
env:
3
  - OCAML_VERSION=4.02.1 OPAM_VERSION=1.2.0
4
  - OCAML_VERSION=4.02.1 OPAM_VERSION=1.1.0
5
  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.2.0
6
  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.1.0
7

    
8
before_install:
9
  - until sudo add-apt-repository -y ppa:saiarcot895/chromium-beta; do echo retry; done
10
  - until sudo add-apt-repository --yes ppa:kalakris/cmake; do echo retry; done
11
  - until sudo apt-get -qq update; do echo retry; done 
12
  - until sudo apt-get install cmake; do echo retry; done
13
  - OPAM_DEPENDS="ocamlgraph ocamlfind"
14
  - chmod +x ./.ocaml-config.sh
15
  - sudo -E ./.ocaml-config.sh
16

    
17
install:
18
  - sudo apt-get update -qq
19
  - sudo apt-get install -qq ocaml opam
20
  - export OPAMYES=1
21
  - opam init
22
  - opam install ${OPAM_DEPENDS}
23
  - eval `opam config env`
24
  - export LZ="$TRAVIS_BUILD_DIR/../zustre"
25
  - git clone https://github.com/coco-team/zustre $LZ
26
  - ls $LZ
27
  - export Z3="$TRAVIS_BUILD_DIR/../z3"
28
  - mkdir -p $Z3
29
  - wget --output-document=zustre.tar.gz  https://www.dropbox.com/s/wqvh31085s49ia4/zustre.tar.gz?dl=1;
30
  - tar xvf zustre.tar.gz --strip-components=1 -C $Z3;
31
  - ls $LZ
32
  - ls $Z3
33

    
34
before_script:
35
  - ocaml -version
36
  - opam --version
37

    
38
script:
39
  - autoconf
40
  - ./configure
41
  - make
42
  - ./bin/lustrec
43
  - cd $LZ
44
  - mkdir -p build
45
  - cd build
46
  - /usr/bin/cmake -DLUSTREC_EXECUTABLE=/home/travis/build/coco-team/lustrec/bin/lustrec -DZ3_ROOT=$Z3 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=run -DCMAKE_PROGRAM_PATH=/usr/bin  ../;
47
  - /usr/bin/cmake --build .
48
  - /usr/bin/cmake --build . --target install 
49
  - cd ..
50
  - ls build/run/bin
51
  - ./build/run/bin/zustre -h
52
  -  python src/reg_test.py ./build/run/bin/zustre
53
  
54

    
55

    
56

    
57
notifications:
58
  email:
59
    recipients:
60
     - lustrec-build@googlegroups.com
61
    on_success: always
62
    on_failure: always