opam-version: "1.2"
authors: ["Gagandeep Singh" "Markus Püschel" "Martin Vechev"]
homepage: "http://elina.ethz.ch/"
maintainer: "Gagandeep Singh <gsingh@inf.ethz.ch>"
dev-repo: "https://github.com/eth-srl/ELINA.git"
bug-reports: "https://github.com/eth-srl/ELINA/issues"
version: "1.1"
license: "LGPL-3"
build: [
  ["sh" "./configure" "--prefix" "%{share}%/elina"
                      "--apron-prefix" "%{share}%/apron"
                      "--use-opam"
                      "--use-apron"
                      "--absolute-dylibs" { os = "darwin" } ]
  [make "-j%{jobs}%"]
]
install: [
  [make "install"]
]
remove: [
  ["ocamlfind" "remove" "elina"]
  ["rm" "-r" "-f" "%{share}%/elina"]
]
tags: [ "flags:light-uninstall" ]
depends: [
  "ocamlfind" {build}
  "camlidl"
  "mlgmpidl"
  "conf-perl"
  "apron"
]
depopts: [ ]
patches: [ ]