aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.travis.yml19
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