Skip to content

Commit

Permalink
docs: dev-tools: coccinelle: Update documentation
Browse files Browse the repository at this point in the history
* Fix install instruction by adding `./autogen` command
  before `./configure`.
* Add link to a more detailed installation instruction.
* Add link to SmPL grammar documentation.
* Add single space after ',' to slightly improve readability.

Signed-off-by: Himanshu Jha <[email protected]>
Acked-by: Julia Lawall <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
  • Loading branch information
himanshujha199640 authored and Jonathan Corbet committed Aug 31, 2018
1 parent 9799445 commit 9eff4a2
Showing 1 changed file with 19 additions and 4 deletions.
23 changes: 19 additions & 4 deletions Documentation/dev-tools/coccinelle.rst
Original file line number Diff line number Diff line change
Expand Up @@ -30,18 +30,29 @@ of many distributions, e.g. :
- NetBSD
- FreeBSD

You can get the latest version released from the Coccinelle homepage at
Some distribution packages are obsolete and it is recommended
to use the latest version released from the Coccinelle homepage at
http://coccinelle.lip6.fr/

Once you have it, run the following command::
Or from Github at:

./configure
https://github.com/coccinelle/coccinelle

Once you have it, run the following commands::

./autogen
./configure
make

as a regular user, and install it with::

sudo make install

More detailed installation instructions to build from source can be
found at:

https://github.com/coccinelle/coccinelle/blob/master/install.txt

Supplemental documentation
---------------------------

Expand All @@ -51,6 +62,10 @@ https://bottest.wiki.kernel.org/coccicheck

The wiki documentation always refers to the linux-next version of the script.

For Semantic Patch Language(SmPL) grammar documentation refer to:

http://coccinelle.lip6.fr/documentation.php

Using Coccinelle on the Linux kernel
------------------------------------

Expand Down Expand Up @@ -223,7 +238,7 @@ Since coccicheck runs through make, it naturally runs from the kernel
proper dir, as such the second rule above would be implied for picking up a
.cocciconfig when using ``make coccicheck``.

``make coccicheck`` also supports using M= targets.If you do not supply
``make coccicheck`` also supports using M= targets. If you do not supply
any M= target, it is assumed you want to target the entire kernel.
The kernel coccicheck script has::

Expand Down

0 comments on commit 9eff4a2

Please sign in to comment.