From 85b135dcbbbc672f568839fa7ff8871f61cee056 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 4 Sep 2020 13:36:46 -0700
Subject: [PATCH] [sledge] Build: Require dune >= 2.7

Summary:
The dune build info embedded into executables is broken with dune <
2.7 and an flambda compiler.

Reviewed By: ngorogiannis

Differential Revision: D23459510

fbshipit-source-id: 18b3e3e15
---
 sledge/sledge.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/sledge.opam b/sledge/sledge.opam
index ab3e3b93a..90ba13879 100644
--- a/sledge/sledge.opam
+++ b/sledge/sledge.opam
@@ -16,7 +16,7 @@ depends: [
   "crunch" {build}
   "ctypes"
   "ctypes-foreign"
-  "dune" {build & >= "2.5"}
+  "dune" {build & >= "2.7"}
   "dune-build-info" {build}
   "llvm" {= "8.0.0"}
   "ppx_compare"