this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Code transformers for clangml"
3maintainer: ["Thierry Martinez <thierry.martinez@inria.fr>"]
4authors: ["Thierry Martinez <thierry.martinez@inria.fr>"]
5license: "BSD-2-Clause"
6homepage: "https://gitlab.inria.fr/memcad/clangml-transforms"
7doc: "https://gitlab.inria.fr/memcad/clangml-transforms"
8bug-reports: "https://gitlab.inria.fr/memcad/clangml-transforms/issues"
9depends: [
10 "ocaml" {>= "4.03.0" & < "4.12.0"}
11 "dune" {>= "1.11.0"}
12 "clangml" {>= "4.1.0" & < "4.2.0"}
13 "dolog" {>= "4.0.0" & < "5.0.0"}
14 "traverse" {>= "0.2.0"}
15 "refl" {>= "0.1.0"}
16]
17build: [
18 ["dune" "subst"] {dev}
19 [
20 "dune"
21 "build"
22 "-p"
23 name
24 "-j"
25 jobs
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30]
31dev-repo: "git+https://gitlab.inria.fr/memcad/clangml-transforms"
32url {
33 src: "https://gitlab.inria.fr/memcad/clangml-transforms/-/archive/v0.25/clangml-transforms-v0.25.tar.gz"
34 checksum: "sha512=7432844f7be84ce89299d8611fe6379b1174eb24723dc9e8805ba75f2b700475f281cef13c7b8a40f54776e57200a288fcde1210c77686c0f693df665f535414"
35}