From efc59b1cdfaa512f45cd1c162aeef68ba02ff0fd Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 2 Apr 2020 03:41:26 -0700
Subject: [PATCH] [dune] ignore all dirs except src/

Summary:
This avoids dune scanning 2000+ directories (according to its logs),
mostly due to scanning infer/tests/ I think.

Reviewed By: artempyanykh

Differential Revision: D20798915

fbshipit-source-id: 3764cd3fb
---
 infer/{src => }/InferBase.opam      | 0
 infer/{src => }/InferGenerated.opam | 0
 infer/{src => }/InferIR.opam        | 0
 infer/{src => }/InferStdlib.opam    | 0
 infer/dune                          | 5 +++++
 infer/{src => }/dune-project        | 0
 infer/{src => }/infer.opam          | 0
 7 files changed, 5 insertions(+)
 rename infer/{src => }/InferBase.opam (100%)
 rename infer/{src => }/InferGenerated.opam (100%)
 rename infer/{src => }/InferIR.opam (100%)
 rename infer/{src => }/InferStdlib.opam (100%)
 create mode 100644 infer/dune
 rename infer/{src => }/dune-project (100%)
 rename infer/{src => }/infer.opam (100%)

diff --git a/infer/src/InferBase.opam b/infer/InferBase.opam
similarity index 100%
rename from infer/src/InferBase.opam
rename to infer/InferBase.opam
diff --git a/infer/src/InferGenerated.opam b/infer/InferGenerated.opam
similarity index 100%
rename from infer/src/InferGenerated.opam
rename to infer/InferGenerated.opam
diff --git a/infer/src/InferIR.opam b/infer/InferIR.opam
similarity index 100%
rename from infer/src/InferIR.opam
rename to infer/InferIR.opam
diff --git a/infer/src/InferStdlib.opam b/infer/InferStdlib.opam
similarity index 100%
rename from infer/src/InferStdlib.opam
rename to infer/InferStdlib.opam
diff --git a/infer/dune b/infer/dune
new file mode 100644
index 000000000..cf17ffcd7
--- /dev/null
+++ b/infer/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.
+(dirs src bin)
diff --git a/infer/src/dune-project b/infer/dune-project
similarity index 100%
rename from infer/src/dune-project
rename to infer/dune-project
diff --git a/infer/src/infer.opam b/infer/infer.opam
similarity index 100%
rename from infer/src/infer.opam
rename to infer/infer.opam