diff options
| -rw-r--r-- | .travis.yml | 25 |
1 files changed, 17 insertions, 8 deletions
diff --git a/.travis.yml b/.travis.yml index 32db3f3018..2b28cb0223 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,19 +1,28 @@ -sudo: required -dist: precise +dist: trusty language: ocaml cache: apt: true + directories: + - $HOME/.opam +addons: + apt: + sources: + - avsm + packages: + - opam + - libgtk2.0-dev + - libgtksourceview2.0-dev + - texlive-latex-base + - transfig + - imagemagick 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 +- "[ -e .opam ] || opam init --compiler=4.02.3 -y" - eval $(opam config env) - opam config var root -- opam install -y -v camlp5 ocamlfind +- opam install -y camlp5 ocamlfind lablgtk-extras hevea - opam list script: -- ./configure -local +- ./configure -local -usecamlp5 -native-compiler yes -coqide opt -with-doc yes - make - travis_wait make validate - travis_wait make test-suite |