]>
Commit | Line | Data |
---|---|---|
51bc6ecc | 1 | Spint Version 3.1.0\r |
2 | 21 April 2003\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 | |
51bc6ecc | 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 | |
747ae48b | 17 | \r |
21f0106c | 18 | The file cscanner.c generated by flex uses\r |
747ae48b | 19 | \r |
21f0106c | 20 | #include <unistd.h>\r |
21 | \r | |
51bc6ecc | 22 | which does not exist in Win32 (at least VC++ 7.0). That line must be\r |
23 | removed to build on Windows.\r |