Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .travis.yml @ 70a6ee5a

History | View | Annotate | Download (1.14 KB)

1 63b3db9c Temesghen Kahsai
language: c
2 f7f851cf lememta
3 63b3db9c Temesghen Kahsai
env:
4 f7f851cf lememta
  - OCAML_VERSION=4.02.1 OPAM_VERSION=1.2.0
5
  - OCAML_VERSION=4.02.1 OPAM_VERSION=1.1.0
6
  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.2.0
7 63b3db9c Temesghen Kahsai
  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.1.0
8 f7f851cf lememta
9
before_install:
10
  - OPAM_DEPENDS="ocamlgraph ocamlfind"
11 90a93c65 lememta
  - chmod +x ./.ocaml-config.sh
12
  - sudo -E ./.ocaml-config.sh
13 70a6ee5a Teme
  - until sudo add-apt-repository -y ppa:saiarcot895/chromium-beta; do echo retry; done
14
   - until sudo add-apt-repository --yes ppa:kalakris/cmake; do echo retry; done
15
   - until sudo apt-get -qq update; do echo retry; done 
16
   - until sudo apt-get install cmake; do echo retry; done
17 f7f851cf lememta
18
install:
19
  - sudo apt-get update -qq
20
  - sudo apt-get install -qq ocaml opam
21
  - export OPAMYES=1
22
  - opam init
23
  - opam install ${OPAM_DEPENDS}
24
  - eval `opam config env`
25 70a6ee5a Teme
  - export LZ="$TRAVIS_BUILD_DIR/../zustre"
26
  - git clone https://github.com/coco-team/zustre $LZ
27
  -ls $LZ
28 f7f851cf lememta
29
before_script:
30
  - ocaml -version
31
  - opam --version
32
33
script:
34
  - autoconf
35
  - ./configure
36
  - make
37 390e3ec0 Temesghen Kahsai
  - cd test
38
  - ./regression.sh -r -v 2 horn_regression.list
39 e41592cf Temesghen Kahsai
40
41 63b3db9c Temesghen Kahsai
42
notifications:
43
  email:
44
    recipients:
45 e41592cf Temesghen Kahsai
     - lustrec-build@googlegroups.com
46 63b3db9c Temesghen Kahsai
    on_success: always
47 70a6ee5a Teme
    on_failure: always