Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
51 lines (50 sloc) 1.14 KB
opam-version: "2.0"
authors: ["Bertrand Jeannet" "Antoine Miné"]
homepage: "http://apron.cri.ensmp.fr/library/"
maintainer: "Nicolas Berthier <m@nberth.space>"
# dev-repo: "svn+ssh://scm.gforge.inria.fr/svnroot/apron/apron/trunk"
bug-reports: "https://gforge.inria.fr/tracker/?atid=8946&group_id=2625&func=browse"
license: "LGPL-2.1 with linking exception"
build: [
[
"sh"
"./configure"
"--prefix"
"%{share}%/apron"
"--no-ppl" {!conf-ppl:installed}
"--no-java"
"--no-ocaml-plugins" {os = "freebsd"}
"--absolute-dylibs" {os = "macos"}
]
[make "-j%{jobs}%"]
]
install: [
[make "install"]
]
remove: [
["ocamlfind" "remove" "apron"]
["rm" "-r" "-f" "%{share}%/apron"]
]
depends: [
"ocaml"
"ocamlfind"
"camlidl"
"mlgmpidl"
"ocamlbuild" {build}
"conf-perl"
]
depopts: [
"conf-ppl"
]
patches: [
"docker-workaround.diff" { os = "linux" }
]
synopsis: "APRON numerical abstract domain library"
flags: light-uninstall
extra-files: [
"docker-workaround.diff" "md5=949015a9862a3d8ced04b04d42a4a144"
]
url {
src: "http://apron.gforge.inria.fr/apron-20160125.tar.gz"
checksum: "md5=6bd20a4b4f42c2c467b26dc2b4024e55"
}