From 03401366d06f9d9e858a4451ec957e9f98154120 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 24 Sep 2018 02:22:00 +0200
Subject: [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`?
---
 dune | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dune')

diff --git a/dune b/dune
index b4a5266125..aad60d6d46 100644
--- a/dune
+++ b/dune
@@ -38,4 +38,5 @@
 ; Use summary.log as the target
 (alias
  (name runtest)
+ (package coqide-server)
  (deps test-suite/summary.log))
-- 
cgit v1.2.3