[splint-discuss] Problems finding standard.lcd

[Peter C. Chapin]

Matuschka, Sebastian wrote:

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

Thanks for your note. I don't think that's the problem because I
installed splint some time ago; I've only just recently started a
project using it. My machine has been rebooted several times since I did
the install.

I have since realized that I will probably have to create a local copy
of standard.lcd anyway. I'm using OpenSSL in my project and I'll need to
provide some annotations for the OpenSSL functions that I use. Thus I
will need to compile a splint library for that purpose. I notice that
splint only allows a single library to be loaded, so that means I'll
need to merge the OpenSSL stuff into standard.h in order to compile them
together. Consequently splint's troubles finding standard.lcd in the
installation directories is moot for me now.

Peter

-------------- 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/20071012/5baad59b/attachment.vcf