opam

opam-version: "2.0"
maintainer: "Ralf Vogler <ralf.vogler@gmail.com>"
authors: "Vesal Vojdani, Kalmer Apinis, Ralf Vogler"
license: "MIT"
homepage: "https://github.com/goblint/analyzer"
bug-reports: "https://github.com/goblint/analyzer/issues"
dev-repo: "git+https://github.com/goblint/analyzer.git"
build: [make]
run-test: [make "test"]
depends: [
  "ocaml" {>= "4.04.1" & < "4.08"}
  "ocamlfind"
  "goblint-cil"
  "batteries"
  "xml-light"
  "ppx_distr_guards"
  "ppx_monadic"
  "ppx_import"
  "ppx_deriving"
  "ppx_deriving_yojson"
  "ocamlbuild" {build}
]
synopsis: "Static analysis framework for concurrent C"
url {
  src: "https://github.com/goblint/analyzer/archive/goblint-1.0.0.tar.gz"
  checksum: "md5=dd3ff7266e17f2772a17609d6bd960b8"
}