Received: by 2002:ac0:a5a7:0:0:0:0:0 with SMTP id m36-v6csp2993671imm; Mon, 13 Aug 2018 04:17:00 -0700 (PDT) X-Google-Smtp-Source: AA+uWPznxeKmoyCEINwmkRamBWKV8WSzN9uFIk1jTXWcrvX1s3k+cjAvUOE6R2PLN5i9TgWXu8/s X-Received: by 2002:a17:902:26:: with SMTP id 35-v6mr7937124pla.276.1534159020741; Mon, 13 Aug 2018 04:17:00 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1534159020; cv=none; d=google.com; s=arc-20160816; b=Ubbd40yUMlaPBvhRt1Z08ArHBgLU2sQXnmkftUqLXhVOuvMr2aeLXvLpTKqYD7VXJQ XiCwKjE4jICY6Skwzp2qbRr3auRUtm0J/zzQ48rbKbSW3eARHcPxFYmtQyzOhS6h0uUJ zqNYnaLwQAZAx6cAT7sPJy25ou91vOpa7ZVN/m9VNrG9B8fh723UbDrweJsbM05SC83I OshUnWvr2MBkGGdCbhoHOOJ24g2cMxuIukW9jZj6Il3hjoZVJ+pqzcAXLQzzZPPHWTkm tOIZSBynyoo4sVU7osnUfulyuIxyNNP0jX8psS+pgUPT72Zwg24GZ7+25sHDaKOnCjOC Oghg== 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=+cYf1ibBNjgTTmHaFpUj0T02TGwf9GaBeRtX61j8pdU=; b=wNkoKN5NMMnnDBTcS9+dbfkI2jy72Ga811V5D9tUsGN3m3UHhyj81Lo2bAzXyNgtCz /sVhOrt8X7+1eOYz5DeZmmjtM+CJANJpal536fsI7mb15/zgZSGemhTfw195Br+1UrDB kILSaM9SfQBZ/wVhlZX3+HvVF30433qyNaFrAyqbKdUUbumLV3ufG36EAaCJ7SgpoFG8 6M/AQm+LzwIqVt/4uVRATcyRVjoVU1ytu9e3QtsQWCEEvFd6c8QihaPDhXzFNy9LKiVY tgTj6+3xIA3Cy8r//Mj0xqhikKiqCSt//MMbx2dK8ugGjDaaIRy3J8E2vlkXaudu7ub1 MyOA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="g/7DruTC"; 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 k10-v6si16228910pfe.41.2018.08.13.04.16.45; Mon, 13 Aug 2018 04:17:00 -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="g/7DruTC"; 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 S1728891AbeHMN2g (ORCPT + 99 others); Mon, 13 Aug 2018 09:28:36 -0400 Received: from mail-pf1-f196.google.com ([209.85.210.196]:35354 "EHLO mail-pf1-f196.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728356AbeHMN2f (ORCPT ); Mon, 13 Aug 2018 09:28:35 -0400 Received: by mail-pf1-f196.google.com with SMTP id p12-v6so7493185pfh.2; Mon, 13 Aug 2018 03:46:53 -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=+cYf1ibBNjgTTmHaFpUj0T02TGwf9GaBeRtX61j8pdU=; b=g/7DruTCRsUr2FhzL/mHec7CX94W/DyOzW+wpwIhAbBu//letu7QIpz/i7bBZhjZQ2 RRnA/5ljSo/L+ZOPR7/Yu67VJKMaDLTRMiGV0aYchOQjBKlKSSjtwha3d+ooIzR+2aYl 5PfqP3vNh5UnzEiohxAs67mdmDa79ei6NNp4Z9+/4OA/TUIX60dle8iLZrvGVnxfMlbm mVVia5sPV107hAKE8565c7DDFOIdHgj9jdC8RriVv+V+30l3e0Pwsascoupm+8UhOAXK /2MciNJJvMEOvwyjCMO7MJ2Eg7LXH6h/WwRn/2T8rucRskmJqzZxZy0vONvgMORO5poC uSNg== 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=+cYf1ibBNjgTTmHaFpUj0T02TGwf9GaBeRtX61j8pdU=; b=IVK45mnpKtMz5JPxO9hWZR664RTV4B4tt5FZPXnXS+TP8G6vLt7EhDr2VbcwBKDgYo VgUtMn3iUOE1uD/OV3T2RsKSzexaF/7XUUtMBVx5JvHQ18fWUmnLvKdqSs/U1rPOEor8 vLjrgDBF/FNDCNb1PJzZdWx4AUHcfPXfykj9bSPOdofda7asBWccu5uGDzXKPudB1utJ KdGCXlLHal5RgzOafs3Hkup8UHwb4a49y3XKQ1V6vWGglbkrd6tBQ7854vjzefAueTnZ 6pP044ZdZY8t1URYmxHdzttJjBvVkjcsxN6O1mpcNk5iQGuUghcaGbGfbzS/WuoPoUf4 aQ/g== X-Gm-Message-State: AOUpUlGQ0xp8i96O+KOKQreCZV9JgXx7eTflELkeUKgSsB1f81pE3rr/ pDc/gYpd7AJSgEtCsZ6T+TI= X-Received: by 2002:a62:c0a:: with SMTP id u10-v6mr18394288pfi.43.1534157212932; Mon, 13 Aug 2018 03:46:52 -0700 (PDT) Received: from localhost.localdomain ([103.233.116.134]) by smtp.gmail.com with ESMTPSA id p19-v6sm30186335pgk.28.2018.08.13.03.46.49 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 13 Aug 2018 03:46:52 -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 v2] docs: dev-tools: coccinelle: Update documentation Date: Mon, 13 Aug 2018 16:16:38 +0530 Message-Id: <20180813104638.7935-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 --- v2: - instruction -> instructions - Or Github at: -> Or from Github at: 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..aa14f05cabb1 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 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 --------------------------- @@ -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