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