diff options
| author | Pierre-Yves Strub | 2017-02-04 11:21:37 +0100 |
|---|---|---|
| committer | Pierre-Yves Strub | 2017-02-04 12:02:32 +0100 |
| commit | 4d8320aad05cb8654da9a710089fe4451b530800 (patch) | |
| tree | 1c49581fc0bee0935c2eda034e808ffc4862f70c | |
| parent | 078598d029792a3d9a54fae9b9ac189b75bc3b06 (diff) | |
[travis] CoqIde + doc + last available LST
| -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 |