1
|
language: c
|
2
|
env:
|
3
|
- 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
|
- until sudo add-apt-repository -y ppa:saiarcot895/chromium-beta; do echo retry; done
|
8
|
- until sudo add-apt-repository --yes ppa:kalakris/cmake; do echo retry; done
|
9
|
- until sudo apt-get -qq update; do echo retry; done
|
10
|
- until sudo apt-get install cmake; do echo retry; done
|
11
|
- OPAM_DEPENDS="ocamlgraph ocamlfind"
|
12
|
- chmod +x ./.ocaml-config.sh
|
13
|
- sudo -E ./.ocaml-config.sh
|
14
|
|
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
|
- export LZ="$TRAVIS_BUILD_DIR/../zustre"
|
23
|
- git clone https://github.com/coco-team/zustre $LZ
|
24
|
- ls $LZ
|
25
|
- export Z3="$TRAVIS_BUILD_DIR/../z3"
|
26
|
- mkdir -p $Z3
|
27
|
- wget --output-document=zustre.tar.gz https://www.dropbox.com/s/9cvef743630rten/zustre.tar.gz?dl=1;
|
28
|
- tar xvf zustre.tar.gz --strip-components=1 -C $Z3;
|
29
|
- ls $LZ
|
30
|
- ls $Z3
|
31
|
|
32
|
before_script:
|
33
|
- ocaml -version
|
34
|
- opam --version
|
35
|
|
36
|
script:
|
37
|
- autoconf
|
38
|
- ./configure
|
39
|
- make
|
40
|
- ./bin/lustrec
|
41
|
- cd $LZ
|
42
|
- mkdir -p build
|
43
|
- cd build
|
44
|
- /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
|
- /usr/bin/cmake --build .
|
46
|
- /usr/bin/cmake --build . --target install
|
47
|
- cd ..
|
48
|
- ls build/run/bin
|
49
|
- ./build/run/bin/zustre -h
|
50
|
- python src/reg_test.py ./build/run/bin/zustre
|
51
|
|
52
|
|
53
|
|
54
|
|
55
|
notifications:
|
56
|
email:
|
57
|
recipients:
|
58
|
- lustrec-build@googlegroups.com
|
59
|
on_success: always
|
60
|
on_failure: always
|