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

[Mike Williams]

On 24 Aug 2004 at 11:28, Mike Solem wrote:

> 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.

Use 'dir /x' from a command prompt in the directory containing the long 
directory names.  This will show you the shortened version of the 
directory names which you can use.

TTFN

> 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/
> 
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at cs.virginia.edu
> http://www.splint.org/mailman/listinfo/splint-discuss

Mike
-- 
Herb gardeners are always looking for sage advice.