opam.locked

opam-version: "2.0"
name: "infer"
version: "fb"
synopsis: "A static analyzer for Java, C, C++, and Objective-C"
maintainer: "the infer team"
authors: "Facebook"
homepage: "https://github.com/facebook/infer"
bug-reports: "https://github.com/facebook/infer/issues"
dev-repo: "git://github.com/facebook/infer.git"
license: "MIT"
build: [
  ["./autogen.sh"]
  ["./configure"
     "--disable-c-analyzers"
     "--prefix=%{prefix}%"]
  [make "-j%{jobs}%"]
]
install: [
  [make "install"]
]
depends: [
  "ANSITerminal" {= "0.8.1"}
  "apron" {= "20160125"}
  "atd" {= "2.0.0"}
  "atdgen" {= "2.0.0"}
  "atdgen-runtime" {= "2.0.0"}
  "base" {= "v0.11.1"}
  "base-bigarray" {= "base"}
  "base-bytes" {= "base"}
  "base-threads" {= "base"}
  "base-unix" {= "base"}
  "base64" {= "2.3.0"}
  "bin_prot" {= "v0.11.0"}
  "biniou" {= "1.2.0"}
  "camlidl" {= "1.05"}
  "camlp4" {= "4.07+1"}
  "camlzip" {= "1.07"}
  "camomile" {= "1.0.1"}
  "cmdliner" {= "1.0.3"}
  "conf-autoconf" {= "0.1"}
  "conf-gmp" {= "1"}
  "conf-m4" {= "1"}
  "conf-mpfr" {= "1"}
  "conf-perl" {= "1"}
  "conf-pkg-config" {= "1.1"}
  "conf-sqlite3" {= "1"}
  "conf-which" {= "1"}
  "conf-zlib" {= "1"}
  "configurator" {= "v0.11.0"}
  "core" {= "v0.11.3"}
  "core_kernel" {= "v0.11.1"}
  "cppo" {= "1.6.5"}
  "cppo_ocamlbuild" {= "1.6.0"}
  "ctypes" {= "0.14.0"}
  "dune" {= "1.6.2"}
  "easy-format" {= "1.3.1"}
  "elina" {= "1.1"}
  "extlib" {= "1.7.5"}
  "fieldslib" {= "v0.11.0"}
  "integers" {= "0.2.2"}
  "jane-street-headers" {= "v0.11.0"}
  "javalib" {= "2.3.6"}
  "jbuilder" {= "transition"}
  "menhir" {= "20181113"}
  "mlgmpidl" {= "1.2.7"}
  "mtime" {= "1.1.0"}
  "num" {= "1.1"}
  "ocaml" {= "4.07.1"}
  "ocaml-compiler-libs" {= "v0.11.0"}
  "ocaml-config" {= "1"}
  "ocaml-migrate-parsetree" {= "1.1.0"}
  "ocaml-variants" {= "4.07.1+flambda"}
  "ocamlbuild" {= "0.12.0"}
  "ocamlfind" {= "1.8.0"}
  "ocamlgraph" {= "1.8.8"}
  "octavius" {= "1.2.0"}
  "ounit" {= "2.0.8"}
  "parmap" {= "1.0-rc10"}
  "parsexp" {= "v0.11.0"}
  "ppx_assert" {= "v0.11.0"}
  "ppx_base" {= "v0.11.0"}
  "ppx_bench" {= "v0.11.0"}
  "ppx_bin_prot" {= "v0.11.1"}
  "ppx_compare" {= "v0.11.1"}
  "ppx_custom_printf" {= "v0.11.0"}
  "ppx_derivers" {= "1.0"}
  "ppx_deriving" {= "4.2.1"}
  "ppx_enumerate" {= "v0.11.1"}
  "ppx_expect" {= "v0.11.1"}
  "ppx_fail" {= "v0.11.0"}
  "ppx_fields_conv" {= "v0.11.0"}
  "ppx_hash" {= "v0.11.1"}
  "ppx_here" {= "v0.11.0"}
  "ppx_inline_test" {= "v0.11.0"}
  "ppx_jane" {= "v0.11.0"}
  "ppx_js_style" {= "v0.11.0"}
  "ppx_let" {= "v0.11.0"}
  "ppx_optcomp" {= "v0.11.0"}
  "ppx_optional" {= "v0.11.0"}
  "ppx_pipebang" {= "v0.11.0"}
  "ppx_sexp_conv" {= "v0.11.2"}
  "ppx_sexp_message" {= "v0.11.0"}
  "ppx_sexp_value" {= "v0.11.0"}
  "ppx_tools" {= "5.1+4.06.0"}
  "ppx_typerep_conv" {= "v0.11.1"}
  "ppx_variants_conv" {= "v0.11.1"}
  "ppxlib" {= "0.3.1"}
  "re" {= "1.8.0"}
  "result" {= "1.3"}
  "sawja" {= "1.5.5"}
  "seq" {= "base"}
  "sexplib" {= "v0.11.0"}
  "sexplib0" {= "v0.11.0"}
  "spawn" {= "v0.12.0"}
  "splittable_random" {= "v0.11.0"}
  "sqlite3" {= "4.4.1"}
  "stdio" {= "v0.11.0"}
  "topkg" {= "1.0.0"}
  "typerep" {= "v0.11.0"}
  "variantslib" {= "v0.11.0"}
  "xmlm" {= "1.3.0"}
  "yojson" {= "1.4.1"}
  "zarith" {= "1.7"}
]
depexts: [
  [ ["ubuntu"] ["python2.7-dev"] ]
  [ ["debian"] ["python2.7-dev"] ]
  [ ["ubuntu"] ["default-jdk"] ]
  [ ["debian"] ["default-jdk"] ]
]