From c20491301e55b5bbf44b4c81f5a7a9c5a0b07111 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub
Date: Sat, 4 Feb 2017 13:24:46 +0100
Subject: [travis] : more apt deps + parallel jobs + non-container based

---
 .travis.yml | 20 +++++++++++++++-----
 1 file changed, 15 insertions(+), 5 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 2b28cb0223..3e71a71570 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
-- 
cgit v1.2.3