[splint-discuss] Releasing 3.1.2

[Kozics Péter]

Hello Dave,

Just as Andy, I have been using the CVS code for some time, it was 
labelled 3.1.1.2.

In the tgz file of the 3.1.2, in config.h, I found the same string 
instead of 3.1.2, and the compiled program identifies itself as 3.1.1.2, 
which may be confusing in the future:

$ ./bin/splint.exe
Splint 3.1.1.2 --- 15 Jul 2007


Besides, for 3.1.1.2, I had to use two small patches, attached in the 
patch file. the first was necessary so that I can compile splint under 
cygwin.

The second was necessary so that splint can parse correctly this (or 
something similar):

v = +1;

Please take a look at the patch, perhaps you could use it, because I 
think the 3.1.1.2/3.1.2 version string problem should be fixed anyway.

best regards
Peter


David Evans wrote:
> Hi Andy,
>
> I've updated the source code distribution to 3.1.2 (which is posted 
> now on splint.org), to incorporate the latest CVS version (with a few 
> more minor fixes).  The CVS code and source code distribution are now 
> the same.
>
> Thanks for the prodding, I should have done this a long time ago...
>
> --- Dave
>
> Andy Lester wrote:
>> What would it take to get the CVS version of Splint released as 
>> 3.1.2?  It fixes a number of bugs that I've run into as we use it on 
>> the Parrot project (http://parrotcode.org/).  I'm using the CVS 
>> version from my own build, but I'd like the others on the project to 
>> not have to build their own.
>>
>> Thanks,
>> xoxo,
>> Andy
>>
>> -- 
>> Andy Lester => andy at petdance.com => www.petdance.com => AIM:petdance
>>
>>
>>
>>
>> _______________________________________________
>> splint-discuss mailing list
>> splint-discuss at ares.cs.Virginia.EDU
>> http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at ares.cs.Virginia.EDU
> http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss
>