win32/README.1ST

   1                           Spint Version 3.0.1\r
   2                              11 March 2002\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 Visual\r
  13 C++ 6.0.\r
  14 \r
  15 The file cscanner.c generated by flex uses\r
  16 \r
  17 #include <unistd.h>\r
  18 \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