From 0f15957f17db9dcefbef481b47e97d507d5297af Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub
Date: Fri, 3 Feb 2017 11:38:59 +0100
Subject: Travis CI configuration. Runs validate & test-suite.

---
 .travis.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .travis.yml

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
-- 
cgit v1.2.3