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