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# Commented out as svn does not seem supported (yet?).
6# dev-repo: "svn://scm.gforge.inria.fr/svnroot/apron/"
7bug-reports: "https://gforge.inria.fr/tracker/?atid=8946&group_id=2625&func=browse"
8license: "LGPL-2.1-only"
9build: [
10 [
11 "sh"
12 "./configure"
13 "--prefix"
14 "%{share}%/apron"
15 "--no-ppl" {!conf-ppl:installed}
16 "--no-java"
17 "--absolute-dylibs" {os = "macos"}
18 ]
19 [make]
20]
21install: [
22 [make "install"]
23]
24remove: [
25 ["ocamlfind" "remove" "apron"]
26 ["rm" "-r" "-f" "%{share}%/apron"]
27]
28available: [ arch != "arm32" & arch != "x86_32" ]
29depends: [
30 "ocaml" {< "5"}
31 "ocamlfind"
32 "camlidl" {< "1.10"}
33 "mlgmpidl"
34 "conf-perl"
35]
36depopts: [
37 "conf-ppl"
38]
39patches: [
40 "docker-workaround.diff" { os = "linux" }
41]
42synopsis: "APRON numerical abstract domain library"
43flags: light-uninstall
44url {
45 src:
46 "https://github.com/ocaml/opam-source-archives/raw/main/apron-20150820.tar.gz"
47 checksum: [
48 "sha256=d462de89f0f0a275dc49a8dcfdf92a7d98dfacb175331e6bc86569e8047be73a"
49 "md5=9bb307e5d783981e0c8d85bcaba72533"
50 ]
51}
52extra-source "docker-workaround.diff" {
53 src:
54 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/apron/docker-workaround.diff"
55 checksum: [
56 "sha256=39eed501e1b8391dd45b0707358fa6fd2aaf59489aea26d7dea0db7c7573be33"
57 "md5=949015a9862a3d8ced04b04d42a4a144"
58 ]
59}