win32/README.1ST

   1                           Spint Version 3.1.0\r
   2                              21 April 2003\r
   3                                     \r
   4                              www.splint.org\r
   5 \r
   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
  11 \r
  12 This project file has been used to compile Splint using Microsoft\r
  13 Visual.Net Framework 1.0, Visual C++ .NET version 7.0.9466.  We are not\r
  14 Windows development experts --- this file hard codes include paths and\r
  15 other system specific information, so it will not work for you without\r
  16 some effort.\r
  17 \r
  18 The file cscanner.c generated by flex uses\r
  19 \r
  20 #include <unistd.h>\r
  21 \r
  22 which does not exist in Win32 (at least VC++ 7.0).  That line must be\r
  23 removed to build on Windows.\r