From minal.sharma at st.com  Wed Apr  6 05:15:29 2005
From: minal.sharma at st.com (Minal SHARMA)
Date: Wed Mar 22 17:10:54 2006
Subject: [splint-discuss] Splint not able to open option file
Message-ID: <002401c53a89$2def8690$c60ab40a@dlh.st.com>

Hi 
I was sucessfully using splint but just now when I run  again I got the error 

splint_config:67:1: Cannot open options file: /home/minal/splint/makefile
  There was a problem reading an initialization file (Use -warnrc to inhibit
  warning)

Here makefile is the option file which I have include in the splint_config as +f makefile

Can any one give the solution.
I've tried to include the full path name for makefile but was unsucessfull

Is +f <filename path> syntax is correct ?


I 've full rights for make file.
And is thr any prblem in reading the library file of splint? 

Thnx & Regds
Minal



From minal.sharma at st.com  Thu Apr  7 06:32:45 2005
From: minal.sharma at st.com (Minal SHARMA)
Date: Wed Mar 22 17:10:54 2006
Subject: [splint-discuss] Is splint can search linux header files at symbloc
	links in clearcase
Message-ID: <004401c53b5d$239dab20$c60ab40a@dlh.st.com>

Hi 

I have include the following 
-Ilinux-2.4.20_mvl31/include/asm in the option file

Here asm-->asm-arm

i.e in clearcase asm is the symbolic link for asm-arm

Then in that case the splint shows the error at usr/include/asm/signal.h instead of  linux-2.4.20_mvl31/include/asm/signal.h.

Is that mean the splint is unable to search the file present at symbolic link.

Is thr any solution

Thx In Advance
minal