diff options
author | Pierre-Yves Strub <pierre-yves@strub.nu> | 2017-02-04 11:21:37 +0100 |
---|---|---|
committer | Pierre-Yves Strub <pierre-yves@strub.nu> | 2017-02-04 12:02:32 +0100 |
commit | 4d8320aad05cb8654da9a710089fe4451b530800 (patch) | |
tree | 1c49581fc0bee0935c2eda034e808ffc4862f70c /.travis.yml | |
parent | 078598d029792a3d9a54fae9b9ac189b75bc3b06 (diff) |
[travis] CoqIde + doc + last available LST
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 25 |
1 files changed, 17 insertions, 8 deletions
diff --git a/.travis.yml b/.travis.yml index 32db3f301..2b28cb022 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 |