opam-version: "2.0"
authors: "Julia Lawall et. al."
maintainer: "Thierry.Martinez@inria.fr"
bug-reports: "cocci@systeme.lip6.fr"
homepage: "http://coccinelle.lip6.fr/"
dev-repo: "git://github.com/coccinelle/coccinelle"
license: "GPL-2.0-only"
build: [
  ["./autogen"]
  ["./configure" "--enable-release" "--enable-opt" "--enable-ocaml" "--enable-python" "--prefix" prefix]
  [make "clean"]
  [make "all.opt"]
]
install: [
  [make "install"]
]
depends: [
  "ocaml"
  "menhir"
  "ocamlfind"
  "pcre"
  "stdcompat"
  "pyml" {>= "20190626"}
  "conf-pkg-config"
  "conf-python-3"
  "conf-python-3-dev"
  "conf-aclocal"
  "conf-autoconf"
  "parmap"
  "num"
]
synopsis: "Coccinelle is a C source code matching and transformation engine"
description: """
Coccinelle provides the language SmPL (Semantic Patch Language) for specifying
desired matches and transformations in C code."""
url {
  src: "https://github.com/coccinelle/coccinelle/archive/1.1.0.tar.gz"
  checksum: [
    "md5=4be4e417fc12a3fd333825192a2d2a4f"
    "sha512=5df69f1520efaacbec7888d82bd6c5ee02a9d832a7e7f648addc8c8765f0d33c954ea90fcf843c210b1824c979607cfbee902e7c4d79bb3930f3dd7d597fd76a"
  ]
}
