aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
blob: 32db3f301857fab0b419d67b794a95ad61a6fa02 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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