Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .travis.yml @ e8250987

History | View | Annotate | Download (1.66 KB)

1 63b3db9c Temesghen Kahsai
language: c
2
env:
3 f7f851cf lememta
  - OCAML_VERSION=4.02.1 OPAM_VERSION=1.2.0
4
  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.2.0
5
6
before_install:
7 9c68a71d Teme
  - until sudo add-apt-repository -y ppa:saiarcot895/chromium-beta; do echo retry; done
8 01ba35c3 Teme
  - until sudo add-apt-repository --yes ppa:kalakris/cmake; do echo retry; done
9 e057dd08 Teme
  - until sudo apt-get -qq update; do echo retry; done
10 01ba35c3 Teme
  - until sudo apt-get install cmake; do echo retry; done
11 f7f851cf lememta
  - OPAM_DEPENDS="ocamlgraph ocamlfind"
12 90a93c65 lememta
  - chmod +x ./.ocaml-config.sh
13
  - sudo -E ./.ocaml-config.sh
14 f7f851cf lememta
15
install:
16
  - sudo apt-get update -qq
17
  - sudo apt-get install -qq ocaml opam
18
  - export OPAMYES=1
19
  - opam init
20
  - opam install ${OPAM_DEPENDS}
21
  - eval `opam config env`
22 70a6ee5a Teme
  - export LZ="$TRAVIS_BUILD_DIR/../zustre"
23
  - git clone https://github.com/coco-team/zustre $LZ
24 868650b1 Teme
  - ls $LZ
25 6d7d1264 Teme
  - export Z3="$TRAVIS_BUILD_DIR/../z3"
26
  - mkdir -p $Z3
27 e057dd08 Teme
  - wget --output-document=zustre.tar.gz https://www.dropbox.com/s/9cvef743630rten/zustre.tar.gz?dl=1;
28 6d7d1264 Teme
  - tar xvf zustre.tar.gz --strip-components=1 -C $Z3;
29
  - ls $LZ
30
  - ls $Z3
31 f7f851cf lememta
32
before_script:
33
  - ocaml -version
34
  - opam --version
35
36
script:
37
  - autoconf
38
  - ./configure
39
  - make
40 c95fa0fe Teme
  - ./bin/lustrec
41
  - cd $LZ
42
  - mkdir -p build
43
  - cd build
44 6d7d1264 Teme
  - /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  ../;
45 c95fa0fe Teme
  - /usr/bin/cmake --build .
46 e057dd08 Teme
  - /usr/bin/cmake --build . --target install
47 c95fa0fe Teme
  - cd ..
48
  - ls build/run/bin
49 0aa82be6 Teme
  - ./build/run/bin/zustre -h
50
  -  python src/reg_test.py ./build/run/bin/zustre
51 e057dd08 Teme
52 e41592cf Temesghen Kahsai
53
54 63b3db9c Temesghen Kahsai
55
notifications:
56
  email:
57
    recipients:
58 e41592cf Temesghen Kahsai
     - lustrec-build@googlegroups.com
59 63b3db9c Temesghen Kahsai
    on_success: always
60 70a6ee5a Teme
    on_failure: always