diff options
| author | Maxime Dénès | 2017-02-06 18:42:49 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-02-06 18:42:49 +0100 |
| commit | e61e83758e129d455d664b65a1fe15ecac793186 (patch) | |
| tree | 59fe29e32958e580649336913993f2c93f280359 | |
| parent | 078598d029792a3d9a54fae9b9ac189b75bc3b06 (diff) | |
| parent | c20491301e55b5bbf44b4c81f5a7a9c5a0b07111 (diff) | |
Merge PR#419: [travis] CoqIde + doc + last available LST
| -rw-r--r-- | .travis.yml | 39 |
1 files changed, 29 insertions, 10 deletions
diff --git a/.travis.yml b/.travis.yml index 32db3f3018..3e71a71570 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,19 +1,38 @@ +dist: trusty sudo: required -dist: precise language: ocaml cache: apt: true + directories: + - $HOME/.opam +addons: + apt: + sources: + - avsm + packages: + - opam + - aspcud + - libgtk2.0-dev + - libgtksourceview2.0-dev + - texlive-latex-base + - texlive-latex-recommended + - texlive-latex-extra + - texlive-math-extra + - texlive-fonts-recommended + - texlive-fonts-extra + - latex-xcolor + - ghostscript + - 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 +- ": ${NJOBS:=1}" +- "[ -e .opam ] || opam init -j ${NJOBS} --compiler=4.02.3 -n -y" - eval $(opam config env) - opam config var root -- opam install -y -v camlp5 ocamlfind +- opam install -j ${NJOBS} -y camlp5 ocamlfind lablgtk-extras hevea - opam list script: -- ./configure -local -- make -- travis_wait make validate -- travis_wait make test-suite +- ./configure -local -usecamlp5 -native-compiler yes -coqide opt -with-doc yes +- make -j ${NJOBS} +- travis_wait make -j ${NJOBS} validate +- travis_wait make -j ${NJOBS} test-suite |