From 3eb02509c4375f7eba5031a8314d0cb64f967fb0 Mon Sep 17 00:00:00 2001
From: Anil Madhavapeddy <anil@recoil.org>
Date: Mon, 15 Jun 2015 11:56:18 -0100
Subject: [PATCH] Add OPAM metadata files to permit direct installation of
 Infer

Summary:
This lets `opam pin add git://github.com/facebook/infer` work
out of the box by adding enough metadata to install all the
OCaml dependencies.  It currently doesn't install the Clang
analyzer in the build rules.
Closes https://github.com/facebook/infer/pull/44
Github Author: Anil Madhavapeddy <anil@recoil.org>

Test Plan: Imported from GitHub, without a `Test Plan:` line.
---
 infer.install | 15 +++++++++++++++
 opam          | 24 ++++++++++++++++++++++++
 2 files changed, 39 insertions(+)
 create mode 100644 infer.install
 create mode 100644 opam

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"] ]
+]
+