./devel/coccinelle, Tool for writing and applying semantic patches

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 1.0.0rc17nb11, Package name: coccinelle-1.0.0rc17nb11, Maintainer: pkgsrc-users

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.


Required to run:
[lang/ocaml] [lang/python27] [lang/camlp4]

Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: 5c13e521578e20d3805f571dc86931cbd8d63ccd
RMD160: 53dd59bdeb632db64187db37b27225b8f9f861a3
Filesize: 2921.021 KB

Version history: (Expand)


CVS history: (Expand)


   2017-09-08 11:51:27 by Jaap Boender | Files touched by this commit (113) | Package updated
Log message:
Recursive revbump associated with update of ocaml to 4.05
   2017-07-11 16:19:23 by Jaap Boender | Files touched by this commit (71)
Log message:
Revbump associated with ocaml-4.04.2
   2016-12-30 12:17:03 by Jaap Boender | Files touched by this commit (89) | Package updated
Log message:
Recursive revbump associated with ocaml update to 4.04.
   2016-09-11 07:00:33 by David A. Holland | Files touched by this commit (1)
Log message:
Disable use of menhir (an ocaml parser generator) because (a) the
configure script is finding only half of it for some incomprehensible
autoconf reason and this doesn't work, and (b) if forced the current
version of menhir rejects the .mly file anyway. Stick to the
pregenerated version of the parser and an included copy of the support
library.

XXX: Why wasn't this buildlinking menhir? It was linking against
XXX: its library.

PKGREVISION -> 8
   2016-05-05 13:45:43 by Jaap Boender | Files touched by this commit (91) | Package updated
Log message:
Recursive revbump associated with ocaml update.
   2015-11-03 04:29:40 by Alistair G. Crooks | Files touched by this commit (1995)
Log message:
Add SHA512 digests for distfiles for devel category

Issues found with existing distfiles:
	distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip
	distfiles/fortran-utils-1.1.tar.gz
	distfiles/ivykis-0.39.tar.gz
	distfiles/enum-1.11.tar.gz
	distfiles/pvs-3.2-libraries.tgz
	distfiles/pvs-3.2-linux.tgz
	distfiles/pvs-3.2-solaris.tgz
	distfiles/pvs-3.2-system.tgz
No changes made to these distinfo files.

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2015-08-07 13:20:36 by Jaap Boender | Files touched by this commit (65) | Package updated
Log message:
Recursive revbump associated with lang/ocaml update.
   2015-06-30 13:53:00 by Jaap Boender | Files touched by this commit (76) | Package updated
Log message:
Recursive revbump associated with update of lang/ocaml to 4.02.2.