- Spint Version 3.0.1\r
- 11 March 2002\r
+ Spint Version 3.1.0\r
+ 21 April 2003\r
\r
www.splint.org\r
\r
of building a Win32 binary from the source code, and using a Unix\r
platform if you want to modify the Splint sources.\r
\r
-This project file has been used to compile Splint using Microsoft Visual\r
-C++ 6.0.\r
+This project file has been used to compile Splint using Microsoft\r
+Visual.Net Framework 1.0, Visual C++ .NET version 7.0.9466. We are not\r
+Windows development experts --- this file hard codes include paths and\r
+other system specific information, so it will not work for you without\r
+some effort.\r
\r
The file cscanner.c generated by flex uses\r
\r
#include <unistd.h>\r
\r
-which does not exist in Win32 (at least VC++ 6.0) and is not required by\r
-ISO C99. Line 98 of cscanner.c must be removed to build on Windows.\r
+which does not exist in Win32 (at least VC++ 7.0). That line must be\r
+removed to build on Windows.\r