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