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.
master
Anil Madhavapeddy 10 years ago
parent 6d1a269ca2
commit 3eb02509c4

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

24
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"] ]
]
Loading…
Cancel
Save