[pudge] Add a dependency on the sledge lib

Reviewed By: jberdine Differential Revision: D20376178 fbshipit-source-id: ba73e1f9c
5 years ago · ab41305509
parent 49d95f40a2
commit ab41305509
3 changed files with 7 additions and 0 deletions
--- 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"
--- a/infer/src/third-party/dune
+++ 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 *)
--- a/infer/src/third-party/sledge
+++ b/infer/src/third-party/sledge
@ -0,0 +1 @@
+../../../sledge