From d9ab3c27bf31efedb66be3949c30133add8866b6 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 13 Feb 2019 02:56:53 +0100
Subject: [PATCH] [build] Conflict with Dune 1.7.0

Bug https://github.com/ocaml/dune/pull/1833 makes our quoting strategy
fail; unfortunately it is not easy to fix due to OS-specific issues.

IMHO the issue is not so serious as to warrant an ugly workaround,
thus we rather declare a conflict with Dune 1.7.0.
---
 lablgtk3.opam | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lablgtk3.opam b/lablgtk3.opam
index ec3a229f..e59410ce 100644
--- a/lablgtk3.opam
+++ b/lablgtk3.opam
@@ -13,7 +13,8 @@ doc: "https://garrigue.github.io/lablgtk/lablgtk"
 
 depends: [
   "ocaml"     {         >= "4.05.0" }
-  "dune"      { build & >= "1.4.0"  }
+  "dune"      { build & >= "1.4.0"
+                      & != "1.7.0"  } # Due to dune/dune#1833
   "conf-gtk3" { build & >= "18"     }
   "cairo2"    {         >= "0.6"    }
 ]