[splint-discuss] splint-3.1.2/install/running split on itself

[Walter Goossens]

Have you tried running with +posixlib or +unixlib?

On 5/20/10 11:56 PM, mike wrote:
> Further to my previous post it seems that I'm picking up stdio.h from
> /usr/include (the default search path for includes on my system, Fedora
> 11) which does not define 'mode_t' but it looks like it's defined in
> splint-3.1.2/lib/unix.h and splint-3.1.2/lib/posix.h so what do I do?
>
> Cheers,
> Mike
>
> On 05/20/2010 08:50 PM, mike wrote:
>    
>> Hi,
>>
>> I am just getting started with splint.  When I did './configure' in the
>> 'splint-3.1.2' dir it produced three errors in 'config.log'.  One on:
>>
>>      
>>> | #ifndef __cplusplus
>>> |   choke me
>>> | #endif
>>>
>>>        
>> and two on tests using 'mode_t' as a declaration in programs doing
>> '#include<stdio.h>'.
>>
>> The actual install was fine.  'make check' and 'make install' produced
>> no errors, warnings or failed checks.
>>
>> To get started I thought I'd run splint on itself.  If I run this in the
>> 'src' directory:
>>
>>      
>>> splint +I.. +IHeaders +IHeaders/../.. +IHeaders/../../.. *.c *.h
>>>
>>>        
>> I get this:
>>
>>      
>>> Splint 3.1.2 --- 20 May 2010
>>>
>>> <   loading standard library /usr/local/share/splint/lib/posix.lcd ....>
>>> <   preprocessing>
>>> Headers/basic.h:23:28: #error "No config.h file!"
>>>     Preprocessing error. (Use -preproc to inhibit warning)
>>> <   more preprocessing .   In file included from abstract.c:38
>>>
>>>        
>>>>
>>>>          
>>> Preprocessing error for file:
>>> /home/mike/LLJVM/splint/splint-3.1.2/src/abstract.
>>>                c
>>> *** Cannot continue.
>>> <   cleaning ..........>
>>>
>>>        
>> Can somebody tell me what is up with the three config errors and what
>> combination of flags and +H includes I should specify to get splint to
>> run all the way through on itself?
>>
>> Thanks very much in advance,
>> Mike
>> _______________________________________________
>> splint-discuss mailing list
>> splint-discuss at mail.cs.virginia.edu
>> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>>
>>
>>      
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>
>