diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-03 23:34:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-21 03:07:27 +0200 |
| commit | 053812dc5f32635f177fafbf566936aa079bfeed (patch) | |
| tree | 8906575b0fc1b7b34216f0cce98622480717d05f | |
| parent | d6eb4a26648817f6b034e95c02622cadf0fa65ca (diff) | |
[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.
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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: |