diff --git a/infer.install b/infer.install
new file mode 100644
index 000000000..5309a814a
--- /dev/null
+++ b/infer.install
@@ -0,0 +1,15 @@
+bin: [
+  "infer/bin/infer"
+  "infer/bin/inferTest"
+  "infer/bin/inferTraceBugs"
+  "infer/bin/InferJava"
+  "?infer/bin/InferClang"
+  "infer/bin/InferAnalyze"
+  "infer/bin/InferPrint"
+  "infer/bin/inferJ"
+  "infer/bin/BuckAnalyze"
+  "infer/bin/inferlib.py"
+  "infer/bin/utils.py"
+  "infer/bin/jwlib.py"
+]
+
diff --git a/opam b/opam
new file mode 100644
index 000000000..88425061e
--- /dev/null
+++ b/opam
@@ -0,0 +1,24 @@
+opam-version: "1.2"
+name: "infer"
+version: "0.1.0"
+maintainer: "opam-devel@lists.ocaml.org"
+authors: "Facebook"
+homepage: "https://github.com/facebook/infer"
+bug-reports: "https://github.com/facebook/infer/issues"
+dev-repo: "https://github.com/facebook/infer.git"
+license: "BSD"
+build: [ [make "-C" "infer" "java"] ]
+install: []
+remove: []
+depends: [
+  "ocamlfind" {build}
+  "sawja" {>="1.5"}
+  "atdgen" {>="1.5"}
+  "javalib" {>="2.3"}
+  "extlib" {>="1.5.4"}
+]
+depexts: [
+  [ ["ubuntu"] ["python2.7-dev"] ]
+  [ ["debian"] ["python2.7-dev"] ]
+]
+