diff options
author | Pierre-Yves Strub <pierre-yves@strub.nu> | 2017-02-03 11:38:59 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-02-03 15:35:27 +0100 |
commit | 0f15957f17db9dcefbef481b47e97d507d5297af (patch) | |
tree | d30777244664131877e7d26b8c8093723413027f /.travis.yml | |
parent | c17c3faee20251cd5c7168246e9ffcd12d557f85 (diff) |
Travis CI configuration. Runs validate & test-suite.
Diffstat (limited to '.travis.yml')
-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 000000000..32db3f301 --- /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 |