]>
Commit | Line | Data |
---|---|---|
747ae48b | 1 | Spint Version 3.0.1\r |
21f0106c | 2 | 11 March 2002\r |
747ae48b | 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 | |
21f0106c | 15 | The file cscanner.c generated by flex uses\r |
747ae48b | 16 | \r |
21f0106c | 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 |