[splint-discuss] .splintrc and dir names with spaces

[Mike Solem]

I see what you're doing, but can't get it to work for what I want.
I'm assuming ~1 is some kind of name completion symbol.  It seems
to only work when there are 6 preceding characters.  Example:

-IC:/Docume~1/mydir  # Works
-IC:/Docum~1/mydir   # Doesn't work
-IC:/Documen~1/mydir # Doesn't work

Looks like you also had 6 chars in your file (Progra~1).  Is there any
way around this limitation?
Thanks.

Mike


On Tue, 24 Aug 2004 16:00:05 +0200, Arjan M Van Vught <avv at nl.ibm.com> 
wrote:

>
>
>
>
> Please find below my splint.ini for Windows 2000. Directories with spaces
> is possible.
>
> -IC:/Progra~1/IBM/WBIMBV5/include/plugin
> -IC:/Progra~1/IBM/WBIMBV5/sample/extensions/nodes
> -IE:/src
> -IE:/src/gnu
> -IE:/src/os/win32
> -IE:/SimpleSMTP
> -IE:/mime
> -IE:/ma0p
> -IE:/unzip101b/include
> -D_M_IX86=400
> -DWIN32
> -D_NTSYSTEM
> -D_WIN32_WINNT=0x0400
> -DWINVER=0x0400
> -DNOGDI
> -DNOKERNEL
> -DNOUSER
> -DWIN32_LEAN_AND_MEAN
> -likelybool
> -D__int64=long
> -D_int64=int
> -D_wtoi=atoi
>
> Met vriendelijke groeten / Kind regards,
>
> Arjan van Vught
>
> Application Architect (BI), e-business Hosting Services, IBM Global
> Services
> EMEA - Exchange for WebSphere MQ - B2B/EDI
> B2B Hub --> http://edi.services.ibm.com/mqseries/spec_sheets.shtml
>
>
>
> CBFalconer                                                    
> <cbfalconer at yahoo                                             .com>       
> To Sent by:                  Discussions about the Splint        splint- 
> discuss-bo         annotation-assisted static analysis unces at cs.virginia  
> project                             .edu                      <splint- 
> discuss at cs.virginia.edu>    cc
> 08/24/2004 01:39                                      Subject PM          
> Re: [splint-discuss] .splintrc and  dir names with spaces
> Please respond to                                             cbfalconer 
> and                                               Discussions about       
> the Splint                                                 annotation- 
> assist                                             ed static              
> analysis                                                  project
>
>
>
>
>
>
>
> Mike Solem wrote:
>>
>> I'm using splint on windows XP.  Some of my directories and
>> filenames have spaces in them.  I can't get them added to my
>> path using the .splintrc file.
>
> This is a perennial problem.  The simplest answer is don't create
> those directories in the first place.
>
>>
> ... snip ...
>>
>> On the faq it says to call the file splint.rc and not .splintrc.
>> When I call it splint.rc, the file is not read.  When it's
>> called .splintrc it is read.
>
> The faq is unix/linux oriented.
>
> --
> Chuck F (cbfalconer at yahoo.com) (cbfalconer at worldnet.att.net)
> Available for consulting/temporary embedded and systems.
> <http://cbfalconer.home.att.net>  USE worldnet address!
>
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at cs.virginia.edu
> http://www.splint.org/mailman/listinfo/splint-discuss
>
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at cs.virginia.edu
> http://www.splint.org/mailman/listinfo/splint-discuss
>



-- 
Using M2, Opera's revolutionary e-mail client: http://www.opera.com/m2/