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