| | 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 |
andersk / splint.git / blame_incremental