From 053812dc5f32635f177fafbf566936aa079bfeed Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
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(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 890ee6d7c..8218467d2 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