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

[Arjan M Van Vught]

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