Port details |
- coccinelle Program matching and transformation engine
- 1.3 devel
=3 1.3Version of this port present on the latest quarterly branch. - Maintainer: freebsd@dev.thsi.be
 - Port Added: 2010-09-14 11:16:38
- Last Update: 2024-12-31 07:41:54
- Commit Hash: c79c880
- People watching this port, also watch:: oss, monit, proggy_fonts-ttf, inotify-tools
- License: GPLv2
- WWW:
- https://coccinelle.gitlabpages.inria.fr/website/
- 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.
¦ ¦ ¦ ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- coccinelle>0:devel/coccinelle
- To install the port:
- cd /usr/ports/devel/coccinelle/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/coccinelle
- pkg install coccinelle
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: coccinelle
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1734128873
SHA256 (coccinelle-1.3.tar.gz) = d214410c502951bb30b86f46ecd51c02ba5cfbcb2c1eee7268428a162b18f985
SIZE (coccinelle-1.3.tar.gz) = 4613759
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- menhir : devel/menhir
- ocaml-parmap>=0 : devel/ocaml-parmap
- ocaml-pcre>=0 : devel/ocaml-pcre
- gmake>=4.4.1 : devel/gmake
- ocamlc : lang/ocaml
- camlp4 : devel/ocaml-camlp4
- pkgconf>=1.3.0_1 : devel/pkgconf
- python3.11 : lang/python311
- autoconf>=2.72 : devel/autoconf
- automake>=1.17 : devel/automake
- perl5>=5.36<5.37 : lang/perl5.36
- Test dependencies:
-
- bash : shells/bash
- python3.11 : lang/python311
- Runtime dependencies:
-
- ocamlc : lang/ocaml
- python3.11 : lang/python311
- Library dependencies:
-
- libpcre.so : devel/pcre
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- This port is required by:
- for Run
-
- textproc/coccigrep
Configuration Options:
- ===> The following configuration options are available for coccinelle-1.3:
EMACS=on: Emacs plugin
VIM=on: Vim plugin
===> Use 'make config' to modify these settings
- Options name:
- devel_coccinelle
- USES:
- autoreconf gmake ocaml:camlp4 perl5 pkgconfig:build python shebangfix emacs
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
1.3 31 Dec 2024 07:41:54
    |
Muhammad Moinur Rahman (bofh)  |
Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mk
- Instead of USE_OCAML=yes use USES=ocaml. If empty USES=ocaml implies
build and run
- Instead of USE_OCAMLFIND_PLIST use USES=ocaml:findplist which also
implies USES=ocaml:findlib
- Instead of USE_OCAML_CAMLP4 use USES=ocaml:camlp4
- Instead of USE_OCAML_FINDLIB use USES=ocaml:findlib
- Instead of USE_OCAML_LDCONFIG use USES=ocaml:ldconfig
- Instead of USE_OCAML_WASH use USES=ocaml:wash
- Instead of NO_OCAML_BUILDDEPENDS use USES=ocaml:run
- Instead of NO_OCAML_RUNDDEPENDS use USES=ocaml:build
- Instead of USE_OCAML_TK use USES=ocaml:tk which actually implies
USES=ocaml:tkbuild and USES=ocaml:tkrun
- Instead of NO_OCAMLTK_BUILDDEPENDS use USES=ocaml:tkrun
- Instead of NO_OCAMLTK_RUNDEPENDS use USES=ocaml:tkbuild
- USES=ocaml:dune remains unchanged
- Prepare to add/remove keywords easily
Approved by: mat (portmgr)
Reviewed by: freebsd@dev.thsi.be
Differential Revision: https://reviews.freebsd.org/D48227 |
1.3 29 Dec 2024 11:34:56
    |
Tijl Coosemans (tijl)  |
Mk/bsd.commands.mk: Use absolute path to define GMAKE
Same as BSDMAKE variable. It is needed by some ports.
Some ports needed fixes:
- devel/rcs57: Regenerate configure with newer autoconf so it can deal
with MAKE set to an absolute path. While here fix issues with
(un)escaping double quotes. The warnings about this were in
WRKSRC/src/conf.err.
- lang/gnu-cobol: Patch configure.ac so the MAKE environment variable
can contain an absolute path, and define MAKE before it is used in
AM_INIT_AUTOMAKE. Remove post-patch patching of configure. It appears
to have been fixed upstream.
- math/unuran: Remove post-patch, fixed upstream.
- net-mgmt/kismet: Fix post-patch.
PR: 283534
Exp-run by: antoine |
1.3 17 Dec 2024 00:57:21
    |
Robert Clausecker (fuz)  Author: Benjamin Jacobs |
devel/coccinelle: Update to 1.3
Switch to DISTFILES/MASTER_SITES.
Update WWW.
Install editor syntax plugins.
Test target.
Changelog: https://coccinelle.gitlabpages.inria.fr/website/distrib/changes.html
PR: 283321 |
1.2 27 Jul 2024 23:16:47
    |
Vladimir Druzenko (vvd)  Author: Benjamin Jacobs |
devel/coccinelle: update 1.1.1 → 1.2, take maintainership
Commit log:
https://github.com/coccinelle/coccinelle/compare/1.1.1...1.2
While here pet portclippy.
PR: 280297 |
1.1.1_3 22 May 2024 17:16:28
    |
Guido Falsi (madpilot)  Author: Benjamin Jacobs |
ocaml: Updates to ocaml compiler and several ocaml ports
- Update devel/ocaml to 4.14.2 [1]
- Specify runtime dependency on GNU AS as full path, this fixes
build on armv6 - armv7 [1] [2]
- converters/ocaml-base64: Update to 3.5.1, add LICENSE, other
improvements
- converters/ocaml-jsonm: Strip shared objects [3]
- databases/ocaml-dbm: Update to 1.3, move to gitlub, other
improvements
- devel/menhir: Update to 20231231
- devel/ocaml-base: Unbreak non-x86 [2]
- devel/ocaml-camlp-streams: Silence patch and strip commands
- devel/ocaml-ipaddr: Update to 5.5.0
- devel/ocaml-lwt: Update to 5.7.0 [4] (Only the first 15 lines of the commit message are shown above ) |
1.1.1_2 06 May 2024 21:37:12
    |
Baptiste Daroussin (bapt)  |
devel/coccinelle: fix wrong default path for COCCINELLE_HOME
This resulted on spatch never able to lookup for standard.iso |
1.1.1_1 26 Feb 2024 05:15:56
    |
Muhammad Moinur Rahman (bofh)  |
devel/coccinelle: Moved man to share/man
Approved by: portmgr (blanket) |
1.1.1 05 Jul 2023 09:55:16
    |
Guido Falsi (madpilot)  |
lang/ocaml: Update to 4.08.1
This update allows (and for some requires) to also update dependencies
to newer versions. Where possible I updated to the latest version.
The ocaml port now is MAKE_JOBS safe.
Changes to dependent ports included in this commit:
- devel/ocaml-sexplib: Rename to devel/ocaml-sexplib0 adapting to
upstream. Update to 0.16.0
- devel/coccinelle: Update to 1.1.1, moved to github
- devel/ocaml-camlp4: Update to 4.08+1
- devel/ocaml-camomile: Use dune for build, adapt port
- devel/ocaml-cppo: Fix lib files installation [1] (Only the first 15 lines of the commit message are shown above ) |
07 Sep 2022 21:58:51
    |
Stefan Eßer (se)  |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
1.0.7_1 07 Sep 2022 21:10:59
    |
Stefan Eßer (se)  |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
1.0.7_1 20 Jul 2022 14:21:35
    |
Tobias C. Berner (tcberner)  |
devel: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* "Waitman Gobble" <uzimac@da3m0n8t3r.com>
* <jkoshy@FreeBSD.org>
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Aaron H. K. Diep <ahkdiep@gmail.com>
* Aaron Hurt <ahurt@anbcs.com>
* Abel Chow <abel_chow@yahoo.com>
* Adam McLaurin
* Adam Saponara <as@php.net>
* Adam Weinberger <adamw@FreeBSD.org>
* Ade Lovett <ade@FreeBSD.org> (Only the first 15 lines of the commit message are shown above ) |
1.0.7_1 06 Apr 2021 14:31:07
    |
Mathieu Arnold (mat)  |
Remove # $FreeBSD$ from Makefiles. |
1.0.7_1 03 Nov 2020 20:51:35
  |
rene  |
Return araujo@'s ports to the pool after his commit bit was safekept. |
1.0.7_1 03 Jan 2020 04:06:21
  |
araujo  |
- Forgotten to add the patches on files directory at r521896.
- Bump PORTREVISION.
Reported by: kevans |
1.0.7 03 Jan 2020 03:58:57
  |
araujo  |
- Update to 1.0.7.
PR: 243047
Submitted by: kevans |
1.0.4_1 06 Feb 2018 14:02:09
  |
amdmi3  |
- Fix shebangs
Approved by: portmgr blanket |
1.0.4 16 May 2016 00:29:26
  |
araujo  |
Adopt it. |
1.0.4 01 Apr 2016 14:00:57
  |
mat  |
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.
With hat: portmgr
Sponsored by: Absolight |
1.0.4 17 Jan 2016 08:25:30
  |
miwi  |
- Update to 1.0.4
PR: 206244
Submitted by: ports fury |
1.0.1 27 Jun 2015 13:52:17
  |
dumbbell  |
devel/coccinelle: Update to 1.0.1
spatch(1) is not stripped anymore as it breaks the executable. For
instance, when not stripped, "spatch --version" returns:
spatch version 1.0.1 with Python support and with PCRE support
But once stripped, it does not work anymore:
Unknown option --version
This was already broken in the previous version of the port
(1.0.0-rc22).
Differential Revision: https://reviews.freebsd.org/D2926
Reviewed by: kwm
Approved by: kwm |
1.0.0.r22_1 15 Jun 2015 12:14:50
  |
amdmi3  |
- Add LICENSE_FILE
- Strip libraries |
1.0.0.r22 02 Jun 2015 17:53:33
  |
amdmi3  |
- Drop maintainership by maintainer's request
PR: 200593, 200594
Submitted by: avg |
1.0.0.r22 04 May 2015 15:46:52
  |
madpilot  |
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
depends on the camlp4 language and labltk ocaml modules, which are
now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt
PR: 199845
Submitted by: jbeich@
Differential Revision: https://reviews.freebsd.org/D2434
Approved by: portmgr (mat) |
1.0.0.r22 13 Dec 2014 17:49:12
  |
pawel  |
Update to version 1.0.0-rc22
PR: 195419
Submitted by: alex@kaworu.ch
Approved by: maintainer timeout |
1.0.0.r19 27 Oct 2014 10:10:59
  |
bapt  |
Cleanup plist |
1.0.0.r19 20 Oct 2014 16:04:14
  |
mva  |
- Convert ports of devel/ to USES=python
Approved by: portmgr (implicit) |
1.0.0.r19 29 Jul 2014 19:11:53
  |
adamw  |
Convert a bunch of EXTRACT_SUFX=... into USES=tar:...
Approved by: portmgr (not really, but touches unstaged ports) |
1.0.0.r19 20 Mar 2014 21:05:19
  |
pawel  |
- Update to version 1.0.0-rc19 [1]
- Add LICENSE [1]
- Don't strip binaries, this fixes [2]
- Fix COMMENT
PR: ports/187250 [1]
ports/186613 [2]
Submitted by: Alexandre Perrin <alex@kaworu.ch> [1]
Approved by: maintainer timeout |
1.0.0.r18 13 Jan 2014 21:00:04
  |
rene  |
Python cleanup:
- USE_PYTHON* = 2.X -> USE_PYTHON* = 2
- USE_PYTHON* = 2.X+ -> USE_PYTHON* = yes
Reviewed by: python (mva, rm)
Approved by: portmgr-lurkers (mat) |
1.0.0.r18 17 Dec 2013 17:55:44
  |
mva  |
- Fix the usage of 'python' to get rid of the implicit lang/python
dependency
- Fix the PCRE detection, while here
Reported by: exp-run (PR 184591)
Approved by: portmgr (blanket) |
1.0.0.r18 28 Nov 2013 14:45:10
  |
bapt  |
Add missing dependency on pcre |
1.0.0.r18 28 Nov 2013 14:24:43
  |
bapt  |
Update to 1.0.0-rc18
Support stage
Strip binaries
Approved by: maintainer (avg by IRC)
Based on patch by: Alexandre Perrin (kAworu irc) |
0.2.4.r5 26 Nov 2013 17:43:01
  |
mva  |
- Fix the usage of 'python' to get rid of the implicit lang/python
dependency
Approved by: Andriy Gapon <avg@icyb.net.ua> (maintainer) |
20 Sep 2013 17:03:27

|
bapt  |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 1) |
0.2.4.r5 12 Sep 2013 16:11:44
  |
az  |
- convert to the new perl5 framework
- convert USE_GMAKE to Uses
Approved by: portmgr (bapt@, blanket) |
0.2.4.r5 07 May 2013 13:12:32
  |
bapt  |
Add some shebangfix to allow building most of the ports tree without
/usr/bin/perl
Submitted by: John Marino
Obtained from: DPorts |
0.2.4.r5 16 Jan 2013 19:38:55
  |
pawel  |
Fix build with clang
PR: ports/174744
Submitted by: myself
Approved by: maintainer timeout (2 weeks+) |
0.2.4.r5 15 Nov 2010 07:50:41
 |
miwi  |
- Update to 0.2.4rc5
PR: 152168
Submitted by: Andriy Gapon <avg@icyb.net.ua> (maintainer) |
0.2.4.r2 14 Sep 2010 11:16:24
 |
pav  |
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.
WWW: http://coccinelle.lip6.fr/
PR: ports/150472
Submitted by: Andriy Gapon <avg@icyb.net.ua> |