diff options
| author | Emilio Jesus Gallego Arias | 2018-09-24 02:22:00 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-23 17:27:51 +0200 |
| commit | 03401366d06f9d9e858a4451ec957e9f98154120 (patch) | |
| tree | a26b4bbf884c5856242904e9349b5bd07c2c8f6d /dev/dune-workspace.all | |
| parent | 724d908c2e2e81cf36fe09da5a054f49f534629b (diff) | |
[dune] [opam] Move to OPAM 2.0
We need to update in Docker:
- dune to 1.4.0: as it honors `-p` on test stanzas
- dune-release to 1.1.0: support for OPAM 2.0 + fixes
This makes `dune-release distrib` / `dune-release opam pkg` work.
TODO: we need to figure out what is going on with the
versioning. Should we do `dune subst` on `pinned`?
Diffstat (limited to 'dev/dune-workspace.all')
| -rw-r--r-- | dev/dune-workspace.all | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/dune-workspace.all b/dev/dune-workspace.all index 93b807d5e3..f45f6de529 100644 --- a/dev/dune-workspace.all +++ b/dev/dune-workspace.all @@ -1,4 +1,4 @@ -(lang dune 1.2) +(lang dune 1.4) ; Add custom flags here. Default developer profile is `dev` (context (opam (switch 4.05.0))) |