From a68e184e92f7065e5af78b013a63cc5333712725 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 24 Mar 2021 14:16:47 -0700
Subject: [PATCH] [sledge] Add vendor dir

Summary: To contain derivatives of third-party open source code.

Reviewed By: jvillard

Differential Revision: D27188308

fbshipit-source-id: a5628fe45
---
 sledge/dune              | 2 ++
 sledge/vendor/README.org | 2 ++
 2 files changed, 4 insertions(+)
 create mode 100644 sledge/vendor/README.org

diff --git a/sledge/dune b/sledge/dune
index 5af7949cb..d4db12f9b 100644
--- a/sledge/dune
+++ b/sledge/dune
@@ -109,6 +109,8 @@
 
 (dirs :standard \ llvm test)
 
+(vendored_dirs vendor)
+
 (rule
  (targets sledge-help.txt)
  (deps tools/gen_help.sh cli/sledge_cli.exe)
diff --git a/sledge/vendor/README.org b/sledge/vendor/README.org
new file mode 100644
index 000000000..ff826d9b7
--- /dev/null
+++ b/sledge/vendor/README.org
@@ -0,0 +1,2 @@
+This directory contains code from other open source projects, which is
+subject to their own copyright and licensing terms.