opam-version: "2.0"
maintainer: "sawja@inria.fr"
authors: "Javalib development team"
homepage: "http://sawja.inria.fr"
bug-reports: "https://gforge.inria.fr/tracker/?atid=2815&group_id=686&func=browse"
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"
build: [
  ["./configure.sh"]
  [make "ptrees"]
]
install: [
  [make "installptrees"]
  [make]
  [make "install"]
]
remove: [
  ["ocamlfind" "remove" "javalib"]
  ["ocamlfind" "remove" "ptrees"]
]
depends: [
  "ocaml" {>= "4.02"}
  "ocamlfind"
  "camlzip" {>= "1.05"}
  "camlp4"
  "extlib"
  "camomile"
]
synopsis:
  "Javalib is a library written in OCaml with the aim to provide a high level representation of Java .class files."
description: """
Thus it stands for a good starting point for people who want to develop static analyses for
Java byte-code programs, benefiting from the strength of OCaml language."""
flags: light-uninstall
url {
  src:
    "https://gforge.inria.fr/frs/download.php/file/37655/javalib-2.3.5.tar.bz2"
  checksum: "md5=7111616e58b366ca269baf4867677082"
}
