From 1d454c7721a429490165d1147313c061164b0b66 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 24 Nov 2019 19:57:02 +0100
Subject: [dune] Update to dune language version 2.0

This is the minimal set of changes requires for Coq to build under 2.0
mode. We may likely take advantage of some more new features.

Note that Dune 2.0 requires OCaml >= 4.06.0, OPAM allows to use Dune
in older versions as it will install a secondary compiler.
---
 coqide-server.opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'coqide-server.opam')

diff --git a/coqide-server.opam b/coqide-server.opam
index 5da533ea6b..4cec409f78 100644
--- a/coqide-server.opam
+++ b/coqide-server.opam
@@ -21,8 +21,8 @@ license: "LGPL-2.1"
 version: "dev"
 
 depends: [
-  "dune"      { build & >= "1.10.0" }
-  "coq"       {          = version }
+  "dune"      { >= "2.0.0" }
+  "coq"       {  = version }
 ]
 
 build: [ [ "dune" "build" "-p" name "-j" jobs ] ]
-- 
cgit v1.2.3