Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .travis.yml @ d50b0dc0

History | View | Annotate | Download (775 Bytes)

1 63b3db9c Temesghen Kahsai
language: c
2 f7f851cf lememta
3 63b3db9c Temesghen Kahsai
env:
4 f7f851cf lememta
  - 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 63b3db9c Temesghen Kahsai
  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.1.0
8 f7f851cf lememta
9
before_install:
10
  - OPAM_DEPENDS="ocamlgraph ocamlfind"
11 90a93c65 lememta
  - chmod +x ./.ocaml-config.sh
12
  - sudo -E ./.ocaml-config.sh
13 f7f851cf lememta
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 390e3ec0 Temesghen Kahsai
  - cd test
31
  - ./regression.sh -r -v 2 horn_regression.list
32 e41592cf Temesghen Kahsai
33
34 63b3db9c Temesghen Kahsai
35
notifications:
36
  email:
37
    recipients:
38 e41592cf Temesghen Kahsai
     - lustrec-build@googlegroups.com
39 63b3db9c Temesghen Kahsai
    on_success: always
40
    on_failure: always