From 5a8fe540d3b81e6e941ca13ef92e23aa6cb8bfb1 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Mon, 28 Jun 2021 03:34:24 -0700
Subject: [PATCH] [sledge] Add missing build dep on env var

Summary:
Generating the help file runs sledge, which refers to the
SLEDGE_CONFIG environment variable. This dependency was missing from
the build rule.

Reviewed By: ngorogiannis

Differential Revision: D28907804

fbshipit-source-id: e20178c6e
---
 sledge/dune | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/sledge/dune b/sledge/dune
index d7d6f7b85..b6a0d5c3f 100644
--- a/sledge/dune
+++ b/sledge/dune
@@ -114,7 +114,10 @@
 
 (rule
  (targets sledge-help.txt)
- (deps tools/gen_help.sh cli/sledge_cli.exe)
+ (deps
+  tools/gen_help.sh
+  cli/sledge_cli.exe
+  (env_var SLEDGE_CONFIG))
  (action
   (with-stdout-to
    sledge-help.txt