From 4d8320aad05cb8654da9a710089fe4451b530800 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub
Date: Sat, 4 Feb 2017 11:21:37 +0100
Subject: [travis] CoqIde + doc + last available LST

---
 .travis.yml | 25 +++++++++++++++++--------
 1 file 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
-- 
cgit v1.2.3


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