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.