this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: "Julia Lawall et. al."
3maintainer: "Thierry.Martinez@inria.fr"
4bug-reports: "cocci@systeme.lip6.fr"
5homepage: "http://coccinelle.lip6.fr/"
6dev-repo: "git+https://github.com/coccinelle/coccinelle"
7license: "GPL-2.0-only"
8build: [
9 ["./autogen"]
10 ["./configure" "--enable-opt" "--enable-ocaml" "--enable-python" "--enable-pcre-syntax" "--enable-pcre" "--prefix" prefix "--libdir" "%{prefix}%/lib"]
11 [make "clean"]
12 [make "all.opt"]
13]
14install: [
15 [make "install"]
16]
17depends: [
18 "ocaml" {< "5.0"}
19 "menhir" {>= "20181113"}
20 "ocamlfind"
21 "pcre"
22 "stdcompat"
23 "pyml" {>= "20190626"}
24 "conf-pkg-config"
25 "conf-python-3"
26 "conf-python-3-dev"
27 "conf-aclocal"
28 "conf-autoconf"
29 "parmap" {>= "1.0-rc9"}
30 "num"
31]
32available: os != "macos"
33synopsis: "Coccinelle is a C source code matching and transformation engine"
34description: """
35Coccinelle provides the language SmPL (Semantic Patch Language) for specifying
36desired matches and transformations in C code."""
37url {
38 src: "https://github.com/coccinelle/coccinelle/archive/refs/tags/1.1.1.tar.gz"
39 checksum: [
40 "md5=d7404a70dd4480cb0f0d346550437d5c"
41 "sha512=f935aef406d3356a8e3d08fa7dacd6dd8d49aeb3f00668b775a63881b8d8a259acbbaa21348cb32a8a1cc5cf13dcf10d7e871de0f7c0abb6e45eac24e892df98"
42 ]
43}