lustrec / .travis.yml @ 390e3ec0
History | View | Annotate | Download (775 Bytes)
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 |
|
14 |
install:
|
15 |
- sudo apt-get update -qq
|
16 |
- sudo apt-get install -qq ocaml opam
|
17 |
- export OPAMYES=1
|
18 |
- opam init
|
19 |
- opam install ${OPAM_DEPENDS}
|
20 |
- eval `opam config env`
|
21 |
|
22 |
before_script:
|
23 |
- ocaml -version
|
24 |
- opam --version
|
25 |
|
26 |
script:
|
27 |
- autoconf
|
28 |
- ./configure
|
29 |
- make
|
30 |
- cd test
|
31 |
- ./regression.sh -r -v 2 horn_regression.list
|
32 |
|
33 |
|
34 |
|
35 |
notifications:
|
36 |
email:
|
37 |
recipients:
|
38 |
- lustrec-build@googlegroups.com
|
39 |
on_success: always |
40 |
on_failure: always |