-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
88 lines (88 loc) · 2.92 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
opam-version: "2.0"
maintainer: "pietro.abate@inria.fr"
authors: [
"Pietro Abate"
"Jaap Boender"
"Roberto Di Cosmo"
"Johannes Schauer"
"Ralf Treinen"
"Stefano Zacchiroli"
"Jakub Zwolakowski"
"Olivier Rosello"
]
homepage: "http://www.mancoosi.org/software/"
bug-reports: "https://gitlab.com/irill/dose3/-/issues"
license: "LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://gitlab.com/irill/dose3.git"
build: [
["./configure"]
[make "printconf"]
[make "libs" "apps"]
]
install: [make "installlib"]
depends: [
"ocaml"
"ocamlgraph" {>= "1.8.6"}
"cudf" {>= "0.7"}
("extlib" {>= "1.7.0" & < "1.7.8"} | "extlib-compat" {>= "1.7.0"})
"re" {>= "1.2.2"}
"ocamlfind" {build}
"ocamlbuild" {build}
"cppo" {build & >= "1.1.2"}
]
conflicts: "dose"
patches: [
"0001-Install-mli-cmx-etc.patch"
"0002-dont-make-printconf.patch"
"0003-Fix-for-ocaml-4.06.patch" {ocaml:version >= "4.06.0"}
"0004-Add-unix-as-dependency-to-dose3.common-in-META.in.patch"
"0005-Fix-compatibility-with-ocamlgraph-2.0.patch"
]
synopsis: "Dose library (part of Mancoosi tools)"
url {
src: "https://gitlab.com/irill/dose3/-/archive/5.0.1/dose3-5.0.1.tar.gz"
checksum: [
"sha256=2c3d39b8d47cad68676e317028ff8cfbf94fc5be0db02620e91db985d17606d6"
"md5=a81080f36f477fdebf63c4a979e251cd"
]
}
extra-source "0005-Fix-compatibility-with-ocamlgraph-2.0.patch" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose3/0005-Fix-compatibility-with-ocamlgraph-2.0.patch"
checksum: [
"sha256=283fb215c8beddc52cc4e24867f99626e12db4157a6694060192c4f6649709b5"
"md5=e17b0f0aaede654a19fb3f0e2e46c61a"
]
}
extra-source "0004-Add-unix-as-dependency-to-dose3.common-in-META.in.patch" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose3/0004-Add-unix-as-dependency-to-dose3.common-in-META.in.patch"
checksum: [
"sha256=8102fbb6d638cef3b2e46e43ab39ddf718d63835b616c86859c674b60e81ae7d"
"md5=618265012624df95902a98f756f1ca13"
]
}
extra-source "0003-Fix-for-ocaml-4.06.patch" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose3/0003-Fix-for-ocaml-4.06.patch"
checksum: [
"sha256=7ba572a1e68e43cb82550cab3a7e924a405e7d3be0940c988dc1200885e5fd0b"
"md5=877eedb18916f9e260525b1aee6da544"
]
}
extra-source "0002-dont-make-printconf.patch" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose3/0002-dont-make-printconf.patch"
checksum: [
"sha256=d4cae5f3f7175d12cf895bffc6a8b8aadcbf29a9280bfa58b0f6899b2ea9f83f"
"md5=a6e83acee4b55d35f5f30a8ef98df04f"
]
}
extra-source "0001-Install-mli-cmx-etc.patch" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose3/0001-Install-mli-cmx-etc.patch"
checksum: [
"sha256=b19f1ffea3e6fb239b0bb8937b13f8e14518b7d9f12fe32f3d54dfb2a7d4e2b2"
"md5=977b675e7e6e7ccc5d3d57534370c68c"
]
}