|
1
|
language: c
|
|
2
|
|
|
3
|
env:
|
|
4
|
- 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
|
- OCAML_VERSION=4.01.0 OPAM_VERSION=1.1.0
|
|
8
|
|
|
9
|
before_install:
|
|
10
|
- OPAM_DEPENDS="ocamlgraph ocamlfind"
|
|
11
|
- chmod +x ./.ocaml-config.sh
|
|
12
|
- sudo -E ./.ocaml-config.sh
|
|
13
|
- 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
|
|
|
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
|
- export LZ="$TRAVIS_BUILD_DIR/../zustre"
|
|
26
|
- git clone https://github.com/coco-team/zustre $LZ
|
|
27
|
- ls $LZ
|
|
28
|
|
|
29
|
before_script:
|
|
30
|
- ocaml -version
|
|
31
|
- opam --version
|
|
32
|
|
|
33
|
script:
|
|
34
|
- autoconf
|
|
35
|
- ./configure
|
|
36
|
- make
|
|
37
|
- cd test
|
|
38
|
- ./regression.sh -r -v 2 horn_regression.list
|
|
39
|
|
|
40
|
|
|
41
|
|
|
42
|
notifications:
|
|
43
|
email:
|
|
44
|
recipients:
|
|
45
|
- lustrec-build@googlegroups.com
|
|
46
|
on_success: always
|
|
47
|
on_failure: always
|