diff options
| author | Pierre-Yves Strub | 2017-02-03 11:38:59 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-02-03 15:35:27 +0100 |
| commit | 0f15957f17db9dcefbef481b47e97d507d5297af (patch) | |
| tree | d30777244664131877e7d26b8c8093723413027f | |
| parent | c17c3faee20251cd5c7168246e9ffcd12d557f85 (diff) | |
Travis CI configuration. Runs validate & test-suite.
| -rw-r--r-- | .travis.yml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 0000000000..32db3f3018 --- /dev/null +++ b/.travis.yml @@ -0,0 +1,19 @@ +sudo: required +dist: precise +language: ocaml +cache: + apt: true +install: +- sudo add-apt-repository --yes ppa:avsm/ppa +- sudo apt-get update -q -y +- sudo apt-get install -q -y opam +- opam init --compiler=4.02.3 -y -v +- eval $(opam config env) +- opam config var root +- opam install -y -v camlp5 ocamlfind +- opam list +script: +- ./configure -local +- make +- travis_wait make validate +- travis_wait make test-suite |