6 The win32 project file is not supported (that is, we don't test it other
\r
7 than using it to build a Windows executable). We recommend using the
\r
8 pre-compiled Win32 binary (available from http://www.splint.org) instead
\r
9 of building a Win32 binary from the source code, and using a Unix
\r
10 platform if you want to modify the Splint sources.
\r
12 This project file has been used to compile Splint using Microsoft Visual
\r
15 The file cscanner.c generated by flex uses
\r
19 which does not exist in Win32 (at least VC++ 6.0) and is not required by
\r
20 ISO C99. Line 98 of cscanner.c must be removed to build on Windows.
\r