|
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
|
|
|
28
|
before_script:
|
|
29
|
- ocaml -version
|
|
30
|
- opam --version
|
|
31
|
|
|
32
|
script:
|
|
33
|
- autoconf
|
|
34
|
- ./configure
|
|
35
|
- make
|
|
36
|
- ./bin/lustrec
|
|
37
|
- cd $LZ
|
|
38
|
- mkdir -p build
|
|
39
|
- cd build
|
|
40
|
- /usr/bin/cmake -DLUSTREC_EXECUTABLE=/home/travis/build/coco-team/lustrec/bin/lustrec -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=run -DCMAKE_PROGRAM_PATH=/usr/bin ../;
|
|
41
|
- /usr/bin/cmake --build .
|
|
42
|
- /usr/bin/cmake --build . --target install
|
|
43
|
- cd ..
|
|
44
|
- ls build/run/bin
|
|
45
|
- ./build/run/bin/zustre -h
|
|
46
|
- python src/reg_test.py ./build/run/bin/zustre
|
|
47
|
|
|
48
|
|
|
49
|
|
|
50
|
|
|
51
|
notifications:
|
|
52
|
email:
|
|
53
|
recipients:
|
|
54
|
- lustrec-build@googlegroups.com
|
|
55
|
on_success: always
|
|
56
|
on_failure: always
|