BSD Ports

devel/coccinelle 1.3.1_1 FreeBSD

Program matching and transformation engine

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
bdc565d085
License
GPLv2
Categories
devel
Package size
12043.9 KiB, 50238.8 KiB installed

Description

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. Coccinelle was initially targeted towards performing collateral evolutions in Linux. Such evolutions comprise the changes that are needed in client code in response to evolutions in library APIs, and may include modifications such as renaming a function, adding a function argument whose value is somehow context-dependent, and reorganizing a data structure. Beyond collateral evolutions, Coccinelle is successfully used (by us and others) for finding and fixing bugs in systems code.

In the other systems

SystemPortVersion
FreeBSDdevel/coccinelle1.3.1_1
OpenBSDdevel/coccinelle1.3.3
NetBSDdevel/coccinelle1.3.3
DragonFlydevel/coccinelle1.3
GhostBSDdevel/coccinelle1.3.1_1

Install

Binary package:

pkg install coccinelle

From the ports tree:

cd /usr/ports/devel/coccinelle/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	coccinelle>0:devel/coccinelle

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest1.3.1_11.3.1_1-1.3_11.3.1_1
FreeBSD:14:quarterly1.3.1_11.3.1_1n/a1.31.3.1_1
FreeBSD:15:latest1.3.1_11.3.1_1n/a1.3_11.3_1
FreeBSD:15:quarterly1.3.1_11.3.1_1n/an/an/a
FreeBSD:16:latest1.3.1_11.3.1_1n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Build 3

Library 1

Test 1

The full lists below include those, and their dependencies in turn.

Build dependencies 37
Run dependencies 8
Required by 1

Configuration

Options name: devel_coccinelle

OptionDefaultDescription
EMACSonEmacs plugin
VIMonVim plugin
USES
autoreconf gmake ocaml:build,camlp4 perl5 pkgconfig:build python shebangfix
Service scripts
none

Files

Manual pages 4
  • Coccilib(3)
  • pycocci(1)
  • spatch(1)
  • spgen(1)
pkg-plist 74
  • bin/spatch
  • bin/spgen
  • lib/coccinelle/dllpyml_stubs.so
  • lib/coccinelle/ocaml/ast0_cocci.cmi
  • lib/coccinelle/ocaml/ast0_cocci.cmx
  • lib/coccinelle/ocaml/ast_c.cmi
  • lib/coccinelle/ocaml/ast_c.cmx
  • lib/coccinelle/ocaml/ast_cocci.cmi
  • lib/coccinelle/ocaml/ast_cocci.cmx
  • lib/coccinelle/ocaml/cocciconfig.cmi
  • lib/coccinelle/ocaml/cocciconfig.cmx
  • lib/coccinelle/ocaml/coccilib.cmi
  • lib/coccinelle/ocaml/coccilib.cmx
  • lib/coccinelle/ocaml/commands.cmi
  • lib/coccinelle/ocaml/commands.cmx
  • lib/coccinelle/ocaml/common.cmi
  • lib/coccinelle/ocaml/common.cmx
  • lib/coccinelle/ocaml/dumper.cmi
  • lib/coccinelle/ocaml/dumper.cmx
  • lib/coccinelle/ocaml/exposed_modules.cmi
  • lib/coccinelle/ocaml/exposed_modules.cmx
  • lib/coccinelle/ocaml/externalanalysis.cmi
  • lib/coccinelle/ocaml/externalanalysis.cmx
  • lib/coccinelle/ocaml/flag.cmi
  • lib/coccinelle/ocaml/flag.cmx
  • lib/coccinelle/ocaml/flag_parsing_c.cmi
  • lib/coccinelle/ocaml/flag_parsing_c.cmx
  • lib/coccinelle/ocaml/iteration.cmi
  • lib/coccinelle/ocaml/iteration.cmx
  • lib/coccinelle/ocaml/lexer_c.cmi
  • lib/coccinelle/ocaml/lexer_c.cmx
  • lib/coccinelle/ocaml/lib_parsing_c.cmi
  • lib/coccinelle/ocaml/lib_parsing_c.cmx
  • lib/coccinelle/ocaml/ocamlcocci_aux.cmi
  • lib/coccinelle/ocaml/ocamlcocci_aux.cmx
  • lib/coccinelle/ocaml/parmap.cmi
  • lib/coccinelle/ocaml/parmap.cmx
  • lib/coccinelle/ocaml/parse_c.cmi
  • lib/coccinelle/ocaml/parse_c.cmx
  • lib/coccinelle/ocaml/parser_c.cmi
  • lib/coccinelle/ocaml/parser_c.cmx
  • lib/coccinelle/ocaml/prepare_ocamlcocci.cmi
  • lib/coccinelle/ocaml/prepare_ocamlcocci.cmx
  • lib/coccinelle/ocaml/pretty_print_c.cmi
  • lib/coccinelle/ocaml/pretty_print_c.cmx
  • lib/coccinelle/ocaml/regexp.cmi
  • lib/coccinelle/ocaml/regexp.cmx
  • lib/coccinelle/ocaml/run_ocamlcocci.cmi
  • lib/coccinelle/ocaml/run_ocamlcocci.cmx
  • lib/coccinelle/ocaml/token_c.cmi
  • lib/coccinelle/ocaml/token_c.cmx
  • lib/coccinelle/ocaml/visitor_c.cmi
  • lib/coccinelle/ocaml/visitor_c.cmx
  • lib/coccinelle/ocaml/yes_prepare_ocamlcocci.cmi
  • lib/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx
  • lib/coccinelle/python/coccilib/__init__.py
  • lib/coccinelle/python/coccilib/elems.py
  • lib/coccinelle/python/coccilib/iteration.py
  • lib/coccinelle/python/coccilib/org.py
  • lib/coccinelle/python/coccilib/output.py
  • lib/coccinelle/python/coccilib/report.py
  • lib/coccinelle/python/coccilib/trac.py
  • lib/coccinelle/python/coccilib/xml_firehose.py
  • lib/coccinelle/standard.h
  • lib/coccinelle/standard.iso
  • share/bash-completion/completions/spatch
  • share/man/man1/pycocci.1.gz
  • share/man/man1/spatch.1.gz
  • share/man/man1/spgen.1.gz
  • share/man/man3/Coccilib.3cocci.gz
  • %%EMACS_SITE_LISPDIR%%/cocci/cocci-ediff.el
  • %%EMACS_SITE_LISPDIR%%/cocci/cocci.el
  • share/vim/vimfiles/ftdetect/cocci.vim
  • share/vim/vimfiles/syntax/cocci.vim
distinfo 2
FileSizeSHA256
coccinelle-1.3.1.tar.gz4.838753e+06f76ddd4fbe41019af6ed1986121523f0a0498aaf193e19fb2d7ab0b7cdf8eb46
thierry-martinez-stdcompat-d53390d788027fe0a2282c4745eb3d1626341f99_GH0.tar.gz6177331324c4c5a2fdcefe254459f81083dedd1e6dd61efe59498e9b4aa27d5e0a3d4d
Master sites 1
  • https://coccinelle.gitlabpages.inria.fr/website/distrib/

Commit history 1

DateCommitCreditsLog message
bdc565d085 Olivier Cochard devel/coccinelle: Fix python scripting
spatch could not load libpython, so all Python scripting failed silently. PR: 297217 Approved by: Benjamin Jacobs <[email protected]> (maintainer) Sponsored by: Netflix