Coccinelle for PostgreSQL development [2/N]: autoconf support [RESEND]
Missed the patch in the previous mail. Please ignore.
This second patch adds support for coccicheck to configure.ac and related
files (in particular Makefile.global.in). At this point, I have
deliberately not added support for pgxs so extensions cannot use coccicheck
through the PostgreSQL installation.
The semantic patches are expected to live in cocci/ directory under the
root and the patch uses the pattern cocci/**/*.cocci to find all semantic
patches. Right now there are no subdirectories for the semantic patches,
but this might be something we want to add.
The coccicheck target is used in the same way as for the Linux kernel, that
is, to generate a patch with all changes suggested by the semantic patches,
you type:
make coccicheck MODE=patch
Linux as support for a few more variables: V to set the verbosity, J to use
multiple jobs for processing the semantic patches, M to select a different
directory to apply the semantic patches to, and COCCI to use a single
specific semantic patch rather than all available. I have not added support
for this right now, but if you think this is valuable, it should be
straightforward to add.
--
Best wishes,
Mats Kindahl, Timescale
Attachments:
0002-Create-coccicheck-target-for-autoconf.v1.patchtext/x-patch; charset=US-ASCII; name=0002-Create-coccicheck-target-for-autoconf.v1.patchDownload+131-7
On 7 Jan 2025, at 20:47, Mats Kindahl <mats@timescale.com> wrote:
This second patch adds support for coccicheck
Forgive me if I'm daft, but I feel there is a slight lack of context here.
What is coccicheck, what would it do and why would it benefit us to have it?
--
Daniel Gustafsson
On Tue, Jan 7, 2025 at 8:51 PM Daniel Gustafsson <daniel@yesql.se> wrote:
On 7 Jan 2025, at 20:47, Mats Kindahl <mats@timescale.com> wrote:
This second patch adds support for coccicheck
Forgive me if I'm daft, but I feel there is a slight lack of context here.
What is coccicheck, what would it do and why would it benefit us to have
it?
There is a first email that just gives a basic description of what it is,
with the "[1/N]" in the title. I am not sure if that explains things better.
--
Best wishes,
Mats Kindahl, Timescale
On 7 Jan 2025, at 20:54, Mats Kindahl <mats@timescale.com> wrote:
On Tue, Jan 7, 2025 at 8:51 PM Daniel Gustafsson <daniel@yesql.se <mailto:daniel@yesql.se>> wrote:
On 7 Jan 2025, at 20:47, Mats Kindahl <mats@timescale.com <mailto:mats@timescale.com>> wrote:
This second patch adds support for coccicheck
Forgive me if I'm daft, but I feel there is a slight lack of context here.
What is coccicheck, what would it do and why would it benefit us to have it?There is a first email that just gives a basic description of what it is, with the "[1/N]" in the title. I am not sure if that explains things better.
Thanks, went looking and found it in my spam folder, sorry for the noise.
--
Daniel Gustafsson
On Tue, Jan 7, 2025 at 8:56 PM Daniel Gustafsson <daniel@yesql.se> wrote:
On 7 Jan 2025, at 20:54, Mats Kindahl <mats@timescale.com> wrote:
On Tue, Jan 7, 2025 at 8:51 PM Daniel Gustafsson <daniel@yesql.se> wrote:
On 7 Jan 2025, at 20:47, Mats Kindahl <mats@timescale.com> wrote:
This second patch adds support for coccicheck
Forgive me if I'm daft, but I feel there is a slight lack of context here.
What is coccicheck, what would it do and why would it benefit us to have
it?There is a first email that just gives a basic description of what it is,
with the "[1/N]" in the title. I am not sure if that explains things better.Thanks, went looking and found it in my spam folder, sorry for the noise.
Great that you found it. :)
--
Best wishes,
Mats Kindahl, Timescale