diff options
| author | Emilio Jesus Gallego Arias | 2018-08-28 18:39:46 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-08-30 17:03:03 +0200 |
| commit | 8643a7af16ccf9a15c9c28106d6518d444262f44 (patch) | |
| tree | 1fcd438bd4e3234295ff765b15d400f7877c99b0 /.travis.yml | |
| parent | bf1446294dba45d3ea9b7bb39d2fc96617848c03 (diff) | |
[ci] [docker] Update Dune and Elpi versions.
We'd like to use `(lang 1.1)` features. Elpi needs update as recent
`ppx_tools_versioned` changes broke it.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index f8b047ea18..dd28410bec 100644 --- a/.travis.yml +++ b/.travis.yml @@ -40,7 +40,7 @@ env: # system is == 4.02.3 - COMPILER="system" - COMPILER_BE="4.07.0" - - DUNE_VER=".1.0.0" + - DUNE_VER=".1.1.1" - CAMLP5_VER=".6.14" - CAMLP5_VER_BE=".7.06" - FINDLIB_VER=".1.4.1" |