From 52caadda3674c126cbec014f0727e696278868f3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 7 May 2018 10:55:39 +0200
Subject: [ci] Add ounit to the base Docker package set.

This should help #6808.
---
 dev/ci/docker/bionic_coq/Dockerfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'dev/ci/docker/bionic_coq/Dockerfile')

diff --git a/dev/ci/docker/bionic_coq/Dockerfile b/dev/ci/docker/bionic_coq/Dockerfile
index 5698175c52..9201001574 100644
--- a/dev/ci/docker/bionic_coq/Dockerfile
+++ b/dev/ci/docker/bionic_coq/Dockerfile
@@ -15,12 +15,13 @@ ENV NJOBS="2" \
     OPAMROOT=/root/.opamcache \
     OPAMROOTISOK="true"
 
+# Base opam is the set of base packages required by Coq
 ENV COMPILER="4.02.3" \
-    BASE_OPAM="num ocamlfind jbuilder"
+    BASE_OPAM="num ocamlfind jbuilder ounit"
 
 RUN opam init -a -y -j $NJOBS --compiler="$COMPILER" default https://opam.ocaml.org && eval $(opam config env) && opam update
 
-# Setup of the base switch
+# Setup of the base switch; CI_OPAM contains Coq's CI dependencies.
 ENV CAMLP5_VER="6.14" \
     COQIDE_OPAM="lablgtk.2.18.5 conf-gtksourceview.2" \
     CI_OPAM="menhir elpi ocamlgraph"
-- 
cgit v1.2.3