From 053812dc5f32635f177fafbf566936aa079bfeed Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 3 May 2018 23:34:20 +0200
Subject: [ci] Add Dune to the base system.

It is needed by Elpi and pidetop, and it is anyways needed for most
OCaml packages, including some Coq tools in the future.

The future base Docker image will include it by default.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 890ee6d7c7..8218467d24 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -275,7 +275,7 @@ install:
 - opam switch "$COMPILER" && opam update
 - eval $(opam config env)
 - opam config list
-- opam install -j ${NJOBS} -y num camlp5${CAMLP5_VER} ocamlfind${FINDLIB_VER} ${EXTRA_OPAM}
+- opam install -j ${NJOBS} -y num ocamlfind${FINDLIB_VER} jbuilder camlp5${CAMLP5_VER} ${EXTRA_OPAM}
 - opam list
 
 script:
-- 
cgit v1.2.3