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 |