From mboxrd@z Thu Jan  1 00:00:00 1970
From: Gary Yang <garyyang6@yahoo.com>
Subject: How to insert splint info Makefile? Any idea?
Date: Thu, 25 Mar 2010 18:29:01 -0700 (PDT)
Message-ID: <845799.35706.qm@web37904.mail.mud.yahoo.com>
Mime-Version: 1.0
Return-path: <linux-config-owner@vger.kernel.org>
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1269566941; bh=SbbJlMqyn7+oVc4lWL2AgPzylxJGHz2TP/2ilq62WYs=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=0iCvkCjsUrTk+8M28LQxJyMqVw+clz+y/H3JzSZO8KLjK1AMCQNpEXY6RHyXaT+rXfjpu3v7v/CQuno+38DXFDCZ930gHTKhIaix2+e0cjIgFz3TJo8XBsh4xDU4u9q4k/LYTLmDBY5fXwHHZc8Cpo75jBNJnjXA8UzW03rc0nA=
Sender: linux-config-owner@vger.kernel.org
List-ID: <linux-config.vger.kernel.org>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: linux-config@vger.kernel.org

Hi,

I am working on linux-2.6.25. I would like to use splint. At one of the source directory, I typed "splint *.c". I got "Cannot find include file", "Cannot continue". I understand that I need to run splint inside the Makefile so that it will find the correct include files. However, how to insert splint info Makefile? Any idea?


splint *.c
Splint 3.1.2 --- 24 Mar 2010

cache.c:7:25: Cannot find include file asm/pgtable.h on search path:
                 /usr/include;/usr/local/include
  Preprocessing error. (Use -preproc to inhibit warning)
cache.c:42:27: #error Unknown cache type.
Preprocessing error for file: /projects/svdc/P4wsIPCSW/buildsw_canyonlands/linux
                  /arch/m32r/mm/cache.c
*** Cannot continue.


Thanks,


Gary