this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: ["Bertrand Jeannet" "Antoine Miné"]
3homepage: "http://apron.cri.ensmp.fr/library/"
4maintainer: "Nicolas Berthier <m@nberth.space>"
5# dev-repo: "svn+ssh://scm.gforge.inria.fr/svnroot/apron/apron/trunk"
6bug-reports: "https://gforge.inria.fr/tracker/?atid=8946&group_id=2625&func=browse"
7license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
8build: [
9 [
10 "sh"
11 "./configure"
12 "--prefix"
13 "%{share}%/apron"
14 "--no-ppl" {!conf-ppl:installed}
15 "--no-java"
16 "--absolute-dylibs" {os = "macos"}
17 ]
18 [make]
19]
20install: [
21 [make "install"]
22]
23remove: [
24 ["ocamlfind" "remove" "apron"]
25 ["rm" "-r" "-f" "%{share}%/apron"]
26]
27depends: [
28 "ocaml" {< "5"}
29 "ocamlfind"
30 "camlidl" {< "1.10"}
31 "mlgmpidl"
32 "conf-perl"
33]
34depopts: [
35 "conf-ppl"
36]
37patches: [
38 "docker-workaround.diff" { os = "linux" }
39]
40synopsis: "APRON numerical abstract domain library"
41flags: light-uninstall
42url {
43 src:
44 "https://github.com/ocaml/opam-source-archives/raw/main/apron-20150930.tar.gz"
45 checksum: [
46 "sha256=f137521806218e2ba76e0d246f98e0f16c728168351895cda7738dc2c191fbb9"
47 "md5=3764d577163fd8f486e3ef953abef40f"
48 ]
49}
50extra-source "docker-workaround.diff" {
51 src:
52 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/apron/docker-workaround.diff"
53 checksum: [
54 "sha256=39eed501e1b8391dd45b0707358fa6fd2aaf59489aea26d7dea0db7c7573be33"
55 "md5=949015a9862a3d8ced04b04d42a4a144"
56 ]
57}