From ab41305509c2bd8cfd27f7219cc9e3069de5bfff Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 17 Apr 2020 06:12:24 -0700
Subject: [PATCH] [pudge] Add a dependency on the sledge lib

Reviewed By: jberdine

Differential Revision: D20376178

fbshipit-source-id: ba73e1f9c
---
 infer/src/dune.common.in     | 1 +
 infer/src/third-party/dune   | 5 +++++
 infer/src/third-party/sledge | 1 +
 3 files changed, 7 insertions(+)
 create mode 100644 infer/src/third-party/dune
 create mode 120000 infer/src/third-party/sledge

diff --git a/infer/src/dune.common.in b/infer/src/dune.common.in
index 2e87e30e1..3d1bbaf9a 100644
--- a/infer/src/dune.common.in
+++ b/infer/src/dune.common.in
@@ -62,6 +62,7 @@ let common_libraries =
     ; "oUnit"
     ; "parmap"
     ; "re"
+    ; "sledge"
     ; "sqlite3"
     ; "str"
     ; "unix"
diff --git a/infer/src/third-party/dune b/infer/src/third-party/dune
new file mode 100644
index 000000000..84e7688f0
--- /dev/null
+++ b/infer/src/third-party/dune
@@ -0,0 +1,5 @@
+; Copyright (c) Facebook, Inc. and its affiliates.
+;
+; This source code is licensed under the MIT license found in the
+; LICENSE file in the root directory of this source tree.
+(vendored_dirs *)
diff --git a/infer/src/third-party/sledge b/infer/src/third-party/sledge
new file mode 120000
index 000000000..312583db0
--- /dev/null
+++ b/infer/src/third-party/sledge
@@ -0,0 +1 @@
+../../../sledge
\ No newline at end of file