Received: by 2002:ac0:a5a7:0:0:0:0:0 with SMTP id m36-v6csp2958545imm; Mon, 13 Aug 2018 03:37:43 -0700 (PDT) X-Google-Smtp-Source: AA+uWPxEYUz6ScNUdD5JvG5BVo7k6fKYOiZnGCUroLOfQhGewbDAdSZR23+Gr6fnGVoUDpXmkyYd X-Received: by 2002:a17:902:9a4b:: with SMTP id x11-v6mr15951468plv.342.1534156663152; Mon, 13 Aug 2018 03:37:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1534156663; cv=none; d=google.com; s=arc-20160816; b=GgG/YFegXZGnd293Dgn8eSzHPWCPBEpgqCC7X+B4x6+sffR3vRgbyPJ97D4x7lvx6X +usvUHSK8EqKAJzJGyDvU/eOeC4/ZpuqBWJ4+DUd5wX02aBtpdXBoloR+cTtGU9p2cQ2 UqDnowsQ8M8U/I2g275H67KnmUxeT+/PBPu6yFdPDnR4OSpFj7aN0CLqnC4WSz5i/QuM jT/8P23DtIzAJNDSMjA8vQkAgxhaWWSwwYgUM1INs1960bq01zFg60j7rt4q2nHCgN1a vqW0GpX5FpbyIf+pfGEV2ep3xox98inAbh9+7TJGEMau78iPXT5WVJ4svcRNZr6bjEAN DBNg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:date:subject:cc:to:from :dkim-signature:arc-authentication-results; bh=X6tnlzWmvmM7bWn29Pd8dVyTWGdFhWAbU1/++8slXrY=; b=cIq4vdW2TwYJ/EaNurhOGAbasZJ+05WTqXbQzED0h7ARjWmsMeaal85jXG1gkV0H3B +boQsLCEldMFSc0JJBKG9DCvAwCAiRBZZZHq9whQJgaTYngKAspj4/GRYayjLw5oGUHd p0n2k59Rxmcg2k+wzuxt71R9hPssmE9G6WuOXrVYAgjqsNJs3OqnADxS6bfbdBFGDyJo O59UWTfIMm4TkVFrKKXIYM4muRm8DibIfZ0NLxsZGkwBAw9W6s3lkffyoSgH56hXLOWN gbSJBdQ5+uu6vVEbQZLXdnCp1p/ZnUavP2V4SRdHlfX9d9EYoGmjqfWYBpw+euHzmEiP 4Xmg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Hk6dy53S; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id a16-v6si17212710pga.168.2018.08.13.03.37.28; Mon, 13 Aug 2018 03:37:43 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Hk6dy53S; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728596AbeHMNSP (ORCPT + 99 others); Mon, 13 Aug 2018 09:18:15 -0400 Received: from mail-pf1-f193.google.com ([209.85.210.193]:34233 "EHLO mail-pf1-f193.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728356AbeHMNSP (ORCPT ); Mon, 13 Aug 2018 09:18:15 -0400 Received: by mail-pf1-f193.google.com with SMTP id k19-v6so7485671pfi.1; Mon, 13 Aug 2018 03:36:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id; bh=X6tnlzWmvmM7bWn29Pd8dVyTWGdFhWAbU1/++8slXrY=; b=Hk6dy53SrP4K8IbSDWB4XkgmnfrEqTqdQ8j1xiJuPt8eqWAGYdyma2c53V82p9CMJf S0zhwkl3JhoIKKJlJrJKm4Qd924dgRGnZMXNBSIcf1ak4W70l7+Ev48PRLBLcC9eB2Hy KwSZd4ZlRYDNmWG9sgeYoab5c9O4f6DY9/8OThGK6cBxRvmEUg7iijN7ny5MOaX1mwI0 V76OESvLxTmBB35Wt6NrcHkFAjeHQB3yAKJ3DydPjAe7Sn1O+csSZEziTQ+qsJpQoM7Y AYOfgHfi0SsuI2cCNFofX65xoAsXr9enye8z73JWABzouaUInVdD07xzfJ0Cl3/WOmio iY+w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id; bh=X6tnlzWmvmM7bWn29Pd8dVyTWGdFhWAbU1/++8slXrY=; b=TLUTbNcjqwaEYA22xfh0rXx4wrzU/qvwIQef/2LxkwiypgcHUXmOx3gVckEs8FHXs4 xU5cdLE2qQYoQNennEHcZ6X4Ssuy4J0G6fEJAPyXAlFSRRQvyejzYYG7xwNlLUiMkLeG ycRL+yuAk5BpOBVcNh6u5zp10bIxTE+CH/QVqyLlarPLWInv+A5xQfFI2zWPXxKBCSvp Y0rCvgghg3xMG1MebXVOMRd5hTg03McYEkReZHNQN5YaJnbFJSP1+ZHfFaOlZn8UuVjc oG+2jNVxQiDvhIBSHT5VygtKrSh0CMBmKNeIQa2qn1yv4tQ8dDqGiaPgncbqORvGHBoe G1xg== X-Gm-Message-State: AOUpUlG+U9RqPla/uup2cvv3XHSul0WkZgzcjtzyzBl8LJmhT58lyS6M +YwUnUikUF9rFoA2tP7zcQ6Dp1rP X-Received: by 2002:a63:ea0c:: with SMTP id c12-v6mr16685334pgi.158.1534156594240; Mon, 13 Aug 2018 03:36:34 -0700 (PDT) Received: from localhost.localdomain ([103.233.116.134]) by smtp.gmail.com with ESMTPSA id u2-v6sm20933686pfn.59.2018.08.13.03.36.27 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 13 Aug 2018 03:36:33 -0700 (PDT) From: Himanshu Jha To: corbet@lwn.net Cc: Julia.Lawall@lip6.fr, Gilles.Muller@lip6.fr, nicolas.palix@imag.fr, cocci@systeme.lip6.fr, linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, Himanshu Jha Subject: [PATCH] docs: dev-tools: coccinelle: Update documentation Date: Mon, 13 Aug 2018 16:06:14 +0530 Message-Id: <20180813103614.7495-1-himanshujha199640@gmail.com> X-Mailer: git-send-email 2.17.1 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org * 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 --- Documentation/dev-tools/coccinelle.rst | 23 +++++++++++++++++++---- 1 file changed, 19 insertions(+), 4 deletions(-) diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst index 94f41c290bfc..f8305cd55186 100644 --- a/Documentation/dev-tools/coccinelle.rst +++ b/Documentation/dev-tools/coccinelle.rst @@ -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 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 instruction to build from source can be +found at: + +https://github.com/coccinelle/coccinelle/blob/master/install.txt + Supplemental documentation --------------------------- @@ -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 ------------------------------------ @@ -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:: -- 2.17.1