this repo has no description
Merge pull request #26902 from evdenis/coccinelle-1.3.0
[new release] coccinelle (1.3.0)
authored by
Marcello Seri
and committed by
GitHub
1bb547d0
233aad69
+43
+43
packages/coccinelle/coccinelle.1.3.0/opam
+43
packages/coccinelle/coccinelle.1.3.0/opam
···
1
+
opam-version: "2.0"
2
+
authors: "Julia Lawall et. al."
3
+
maintainer: "Thierry.Martinez@inria.fr"
4
+
bug-reports: "cocci@inria.fr"
5
+
homepage: "https://coccinelle.gitlabpages.inria.fr/website/"
6
+
dev-repo: "git+https://github.com/coccinelle/coccinelle"
7
+
license: "GPL-2.0-only"
8
+
build: [
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
+
]
14
+
install: [
15
+
[make "install"]
16
+
]
17
+
depends: [
18
+
"ocaml" {>= "4.8.0"}
19
+
"menhir" {>= "20181113"}
20
+
"ocamlfind"
21
+
"pcre"
22
+
"stdcompat" {>= "19"}
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
+
]
32
+
available: os != "macos" & os-family != "windows"
33
+
synopsis: "Coccinelle is a C source code matching and transformation engine"
34
+
description: """
35
+
Coccinelle provides the language SmPL (Semantic Patch Language) for specifying
36
+
desired matches and transformations in C code."""
37
+
url {
38
+
src: "https://github.com/coccinelle/coccinelle/archive/refs/tags/1.3.0.tar.gz"
39
+
checksum: [
40
+
"md5=234dc0e6938a24210de23fcf493e9678"
41
+
"sha512=b9a4f03800b6384441b792d4fd33751e4fd0d1e2973e0ae6ecb487980b1d0043c8364dc770eee1d4bc26d9c345094aa5df332d36ca488d7055a544509da06cde"
42
+
]
43
+
}