Fixes for win32

[splint.git] / win32 / README.1ST

			  Spint Version 3.1.0\r
			     21 April 2003\r
				    \r
			     www.splint.org\r
\r
The win32 project file is not supported (that is, we don't test it other\r
than using it to build a Windows executable).  We recommend using the\r
pre-compiled Win32 binary (available from http://www.splint.org) instead\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\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++ 7.0).  That line must be\r
removed to build on Windows.\r