lustrec / .travis.yml @ bad9b6b2
History | View | Annotate | Download (1.5 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 |
|
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 |