You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

28 lines
584 B

opam-version: "1.2"
name: "infer"
version: "0.4.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: [
["./autogen.sh"]
["./configure"]
[make "infer" "java"]
]
install: []
remove: []
depends: [
"ocamlfind" {build}
"sawja" {>="1.5.1"}
"atdgen" {>="1.6.0"}
"javalib" {>="2.3.1"}
"extlib" {>="1.5.4"}
]
depexts: [
[ ["ubuntu"] ["python2.7-dev"] ]
[ ["debian"] ["python2.7-dev"] ]
]