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"]
23remove: [
24 ["./configure"]
25 [make "uninstalllib"]
26]
27depends: [
28 "ocaml"
29 "ocamlgraph" {>= "1.8.6" & < "2.0.0"}
30 "cudf" {>= "0.7"}
31 ("extlib" {>= "1.7.0" & < "1.7.8"} | "extlib-compat" {>= "1.7.0"})
32 "re" {>= "1.2.2"}
33 "ocamlfind" {build}
34 "ocamlbuild" {build}
35 "cppo" {build & >= "1.1.2"}
36]
37conflicts: "dose"
38patches: [
39 "0001-Install-mli-cmx-etc.patch"
40 "0002-dont-make-printconf.patch"
41 "0003-Fix-for-ocaml-4.06.patch" {ocaml:version >= "4.06.0"}
42 "0004-Add-unix-as-dependency-to-dose3.common-in-META.in.patch"
43]
44synopsis: "Dose library (part of Mancoosi tools)"
45url {
46 src: "https://gitlab.com/irill/dose3/-/archive/5.0.1/dose3-5.0.1.tar.gz"
47 checksum: [
48 "sha256=2c3d39b8d47cad68676e317028ff8cfbf94fc5be0db02620e91db985d17606d6"
49 "md5=a81080f36f477fdebf63c4a979e251cd"
50 ]
51}
52extra-source "0004-Add-unix-as-dependency-to-dose3.common-in-META.in.patch" {
53 src:
54 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose3/0004-Add-unix-as-dependency-to-dose3.common-in-META.in.patch"
55 checksum: [
56 "sha256=8102fbb6d638cef3b2e46e43ab39ddf718d63835b616c86859c674b60e81ae7d"
57 "md5=618265012624df95902a98f756f1ca13"
58 ]
59}
60extra-source "0003-Fix-for-ocaml-4.06.patch" {
61 src:
62 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose3/0003-Fix-for-ocaml-4.06.patch"
63 checksum: [
64 "sha256=7ba572a1e68e43cb82550cab3a7e924a405e7d3be0940c988dc1200885e5fd0b"
65 "md5=877eedb18916f9e260525b1aee6da544"
66 ]
67}
68extra-source "0002-dont-make-printconf.patch" {
69 src:
70 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose3/0002-dont-make-printconf.patch"
71 checksum: [
72 "sha256=d4cae5f3f7175d12cf895bffc6a8b8aadcbf29a9280bfa58b0f6899b2ea9f83f"
73 "md5=a6e83acee4b55d35f5f30a8ef98df04f"
74 ]
75}
76extra-source "0001-Install-mli-cmx-etc.patch" {
77 src:
78 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/dose3/0001-Install-mli-cmx-etc.patch"
79 checksum: [
80 "sha256=b19f1ffea3e6fb239b0bb8937b13f8e14518b7d9f12fe32f3d54dfb2a7d4e2b2"
81 "md5=977b675e7e6e7ccc5d3d57534370c68c"
82 ]
83}