diff options
author | Pierre-Yves Strub <pierre-yves@strub.nu> | 2017-02-04 13:24:46 +0100 |
---|---|---|
committer | Pierre-Yves Strub <pierre-yves@strub.nu> | 2017-02-04 15:27:27 +0100 |
commit | c20491301e55b5bbf44b4c81f5a7a9c5a0b07111 (patch) | |
tree | 59fe29e32958e580649336913993f2c93f280359 /.travis.yml | |
parent | 4d8320aad05cb8654da9a710089fe4451b530800 (diff) |
[travis] : more apt deps + parallel jobs + non-container based
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index 2b28cb022..3e71a7157 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,4 +1,5 @@ dist: trusty +sudo: required language: ocaml cache: apt: true @@ -10,19 +11,28 @@ addons: - 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: -- "[ -e .opam ] || opam init --compiler=4.02.3 -y" +- ": ${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 camlp5 ocamlfind lablgtk-extras hevea +- opam install -j ${NJOBS} -y camlp5 ocamlfind lablgtk-extras hevea - opam list script: - ./configure -local -usecamlp5 -native-compiler yes -coqide opt -with-doc yes -- make -- travis_wait make validate -- travis_wait make test-suite +- make -j ${NJOBS} +- travis_wait make -j ${NJOBS} validate +- travis_wait make -j ${NJOBS} test-suite |