./devel/coccinelle [program matching and transformation engine]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 1.0.6, Package name: coccinelle-1.0.6
Maintained by: The OpenBSD ports mailing-list
Master sites:
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 INRIA
and others) for finding and fixing bugs in systems code.

See also: http://home.regit.org/technical-articles/coccinelle-for-the-newbie/


Filesize: 6527.615 KB
Version History (View Complete History)
  • (2019-03-04) Updated to version: coccinelle-1.0.6
  • (2015-10-29) Updated to version: coccinelle-1.0.4
  • (2015-10-27) Updated to version: coccinelle-1.0.3
  • (2015-09-13) Updated to version: coccinelle-1.0.2
  • (2012-10-13) Updated to version: coccinelle-1.0.0rc15
  • (2012-07-18) Updated to version: coccinelle-1.0.0rc11
  • (2011-09-05) Updated to version: coccinelle-1.0.0rc7
  • (2011-08-23) Updated to version: coccinelle-1.0.0rc6
  • (2011-08-16) Updated to version: coccinelle-1.0.0rc5
  • (2011-07-05) Updated to version: coccinelle-1.0.0rc4
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2019-09-26 03:46:11 by Christopher Zimmermann | Files touched by this commit (43)
Log message:
Update OCaml to 4.09
reviewed ports wise and help with @pkgpath, ok by sthen@
reviewed and help with bytecode-only plists, minor nits and ok by jca@
tested on sparc 64 by @jca
tested on aarch64 by Kurt Miller
tested on amd64 by me
Thanks for reviews and testing!
   2019-09-18 11:49:37 by Christopher Zimmermann | Files touched by this commit (42)
Log message:
Upgrade lang/ocaml to 4.08.1
* net unison needed some patchign to avoid deprecated library functions.
* all ports depending on the exact version of OCaml need revision bumps.
* net/unison needed some help to avoid deprecated library functions.
ok krw@, testing on i386 and ok daniel@
   2019-07-12 15:15:36 by Stuart Henderson | Files touched by this commit (54)
Log message:
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
   2019-05-13 16:41:55 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
BROKEN on sparc64 since the update to 1.0.6
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2018-04-11 07:40:54 by Edd Barrett | Files touched by this commit (10)
Log message:
Move TeX deps for tex-by-topic and cocinelle into the buildset to avoid depending on texmf-full.
Also add a script for finding which subsets a tex file uses.
OK sthen@, thanks.
   2016-11-01 16:02:59 by Kenneth R Westerback | Files touched by this commit (8)
Log message:
Update ocaml-pcre to 7.2.3. Bump revision of ports depending on ocaml-pcre.
   2016-06-26 08:36:58 by Kenneth R Westerback | Files touched by this commit (1)
Log message:
Change to PLIST means bumping REVISION.
Found by naddy@ during bulk build. Seconded by espie@.
   2016-06-24 09:59:13 by Kenneth R Westerback | Files touched by this commit (42)
Log message:
Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep
them all compiling.
Tweaks include updating
ocaml-batteries 2.3.1 -> 2.5.0
ocaml-lwt 2.4.8 -> 2.5.2
ocaml-ppx-tools 0.99.2 -> 4.03.0
ocaml-camlp4 4.02+6 -> 4.03+1
utop 1.15 -> 1.19.2
and fixes to coccinelle and wyrd to let them build on bytecode archs.
Other necessary tweaks from the various homes of the projects.
Everything still builds on amd64 (native and bytecode) and sparc64 (bytecode).
ok anil@ sthen@ so final 4.3.0 tweaks can be done in-tree.
   2016-03-20 10:12:27 by Christian Weisgerber | Files touched by this commit (104)
Log message:
drop SHARED_ONLY from python and ruby ports
   2015-12-10 01:47:03 by Landry Breuil | Files touched by this commit (1)
Log message:
Doesnt package on alpha/sparc64/macppc for yes_prepare_ocamlcocci.cmi
not existing, probably a dynamic ocaml fluff - ocaml ppl should have a
look.
   2015-10-29 09:41:36 by Stuart Henderson | Files touched by this commit (4)
Log message:
update to coccinelle-1.0.4
   2015-10-27 08:43:07 by Stuart Henderson | Files touched by this commit (7)
Log message:
update to coccinelle-1.0.3
   2015-09-18 14:36:35 by Stuart Henderson | Files touched by this commit (2)
Log message:
fix following ocaml-parmap changes
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-08-30 10:18:48 by Anil Madhavapeddy | Files touched by this commit (6)
Log message:
bump REVISION for OCaml 4.02.3 update
   2011-08-16 02:26:16 by Stuart Henderson | Files touched by this commit (6)
Log message:
update to Coccinelle 1.0.0rc5
   2011-07-05 02:38:06 by Stuart Henderson | Files touched by this commit (2)
Log message:
update to coccinelle 1.0.0rc4
   2011-06-22 05:28:36 by Stuart Henderson | Files touched by this commit (1)
Log message:
take maintainer
   2011-06-16 17:24:49 by Stuart Henderson | Files touched by this commit (5)
Log message:
update to coccinelle 1.0rc3 and fix running the regression tests
- Better handling of the case of a matched declaration that should only
be replaced by other top level things.
- Improved filtering of result of matching atomic patterns
- Drop positions before creating function prototype rules
- Adjust position of { introduced by adding multiple statements in a
single-statement position
- Drop newline after function call ( when all arguments on that line are
eliminated
- Accept removal of a single declaration, replaced by arbitrary,
non-declaration code
- smpl_spacing takes into account newlines, indentation
   2011-06-12 06:31:47 by Stuart Henderson | Files touched by this commit (3)
Log message:
update to coccinelle 1.0.0-rc2, tested by mk@.
(yes I know there is an rc3, will update later).
   2011-06-08 11:40:09 by Jasper Lievisse Adriaanse | Files touched by this commit (27)
Log message:
bump after default python version switch
   2011-05-15 04:17:38 by Stuart Henderson | Files touched by this commit (2)
Log message:
- Coccinelle native-code builds require dynlib support so only attempt
to use this where dynlib is available
- on native-code arch, only build the native version and install this
to be used by default - it's about 5x faster