[splint-discuss] Problems finding standard.lcd

[Matuschka, Sebastian]

Hi,

I'm using splint on windows too, and it works well.
Maybe you have to restart your IDE or your PC so the environment variables are set and known correctly. That was my problem at the beginning.


> -----Ursprüngliche Nachricht-----
> Von: splint-discuss-bounces at cs.virginia.edu [mailto:splint-discuss-
> bounces at cs.virginia.edu] Im Auftrag von Peter C. Chapin
> Gesendet: Freitag, 12. Oktober 2007 05:37
> An: Splint Discussion
> Betreff: [splint-discuss] Problems finding standard.lcd
> 
> 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.