LinuxQuestions.org
Visit Jeremy's Blog.
Home Forums Tutorials Articles Register
Go Back   LinuxQuestions.org > Forums > Non-*NIX Forums > Programming
User Name
Password
Programming This forum is for all programming questions.
The question does not have to be directly related to Linux and any language is fair game.

Notices


Reply
  Search this Thread
Old 01-05-2011, 02:32 AM   #1
nagarjuna
LQ Newbie
 
Registered: Jan 2011
Posts: 10

Rep: Reputation: 0
Unhappy Make file-splint


Hi,
How to write a make file with splint ,in a way that it should not stop compiling when there are errors in .c files.
for example I have 3 files x.c , y.c and z.c in my make. I am making these files with splint in my make file. As I make, splint is returnning only x.c file warnnings and not proceding with y.c and z.c.
Please some one tell me how can i make splint to continue checking with all the files even there are warnnings in intermediate files.
I want log for all the .c files in my make file.
 
Old 01-05-2011, 09:32 PM   #2
John VV
LQ Muse
 
Registered: Aug 2005
Location: A2 area Mi.
Posts: 17,624

Rep: Reputation: 2651Reputation: 2651Reputation: 2651Reputation: 2651Reputation: 2651Reputation: 2651Reputation: 2651Reputation: 2651Reputation: 2651Reputation: 2651Reputation: 2651
Quote:
in a way that it should not stop compiling when there are errors in .c files.
????
you WANT it to keep trying to run even WITH a fetal error


why not set the warning level
-01 , -02 , -03 , -04, ...
 
Old 01-05-2011, 10:10 PM   #3
nagarjuna
LQ Newbie
 
Registered: Jan 2011
Posts: 10

Original Poster
Rep: Reputation: 0
Quote:
Originally Posted by John VV View Post
????
you WANT it to keep trying to run even WITH a fetal error


why not set the warning level
-01 , -02 , -03 , -04, ...
Hi John,
There are no errors in the code. Only warnnings.If I compile with gcc all the files are getting compiled.When I use SPLINT,it is giving warnnings for only the first file.What I want is: Splint should not stop with first file.It should proceed and should give warnnings for all the files.
 
Old 01-05-2011, 10:14 PM   #4
paulsm4
LQ Guru
 
Registered: Mar 2004
Distribution: SusE 8.2
Posts: 5,863
Blog Entries: 1

Rep: Reputation: Disabled
Q: Could you please post a bit of your makefile?
Please be sure to include any pertinent variables you might be setting (for example, optimization level, or command-line options).
 
Old 01-05-2011, 10:27 PM   #5
nagarjuna
LQ Newbie
 
Registered: Jan 2011
Posts: 10

Original Poster
Rep: Reputation: 0
Quote:
Originally Posted by paulsm4 View Post
Q: Could you please post a bit of your makefile?
Please be sure to include any pertinent variables you might be setting (for example, optimization level, or command-line options).
cc+=-g
OBJ_OPTION=-o $@

cc=splint
CC_FLAGS=$(SPLINT_FLAGS) -DSPLINT_FLAG_ENABLED
OBJ_OPTION=

SPLINT_FLAGS= -quiet -standard +posixlib

This is how I am doing. If I comment last 4 lines i.e, splint part its compiling fine. If i uncomment them (splint part) splint is giving only warnning of the first file in Make hierarchy. Its returnning like " Finished checking --- 12 code warnnings." and Error 1. Its stopping with the first file.
 
Old 01-06-2011, 03:46 AM   #6
gnashley
Amigo developer
 
Registered: Dec 2003
Location: Germany
Distribution: Slackware
Posts: 4,928

Rep: Reputation: 612Reputation: 612Reputation: 612Reputation: 612Reputation: 612Reputation: 612
Have you tried 'man splint' and 'splint --help'?
 
  


Reply



Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off



Similar Threads
Thread Thread Starter Forum Replies Last Post
[SOLVED] Splint-Static tool nagarjuna Programming 6 01-06-2011 10:23 PM
make with make file yields error: /usr/bin/javac: cannot execute binary file bweaver Ubuntu 4 11-19-2010 02:58 PM
splint tool rajdiv999 Linux - Newbie 1 11-03-2010 02:23 AM
[need help]splint clean lswhbcb Programming 2 07-07-2007 11:11 PM
Suse 9.1 and splint ... MattG1981 Linux - Newbie 17 06-12-2004 10:25 PM

LinuxQuestions.org > Forums > Non-*NIX Forums > Programming

All times are GMT -5. The time now is 12:39 AM.

Main Menu
Advertisement
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Open Source Consulting | Domain Registration