[splint-discuss] Problems finding standard.lcd

[Peter C. Chapin]

Hi! I'm using splint v3.1.1 on Windows. I realize Windows is not
officially supported, but I'm hoping someone might have some insight
into this issue anyway.

I've installed splint to c:\lib\splint-3.1.1. I have the LARCH_PATH and
LCLIMPORTDIR environment variables set appropriately. However, splint
behaves as if it can't find standard.lcd. Specifically it acts as if it
has no knowledge of the C standard library functions.

If I manually copy c:\lib\splint-3.1.1\lib\standard.lcd to my working
directory and use the "-load standard" command line option, things work
as they should. This is an acceptable solution, although it is
inelegant. If I delete standard.lcd from my working directory and try
"-load c:\lib\spint-3.1.1\lib\standard" I get the error

Cannot open dump file for loading: c:\lib\splint-3.1.1\lib\standard
*** Cannot continue.

I tried using forward slashes instead of backslashes and I tried
deleting the drive specifier from the name. Neither of these approaches
worked. Is this related to the non-support of Windows or am I just doing
something stupid?

Thanks!

Peter

P.S. I've just started using splint but it has already found a couple of
issues in my code that I hadn't thought about. Cool.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Peter.Chapin.vcf
Type: text/x-vcard
Size: 308 bytes
Desc: not available
Url : http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071011/133a5dda/attachment.vcf