X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11db3170da99e22aa0acea76debd6c7b590a629c..d7c3252223a6e30d3883fe33b84972bddc0cdcd4:/README diff --git a/README b/README index 200dffe..2b0c699 100644 --- a/README +++ b/README @@ -1,92 +1,18 @@ - Splint Version 3.0.0.20 - Alpha Release - 29 December 2001 - -LCLint Documentation -==================== - -For documentation on LCLint, please see http://www.splint.org - -WARNING: this is an Alpha release - new features and changes are not -reflected in the documentation. - -Build Instructions -================== - -To build Splint you need: - - o a (hopefully ANSI-conforming) C compiler. On most modern Unix systems, - cc will work fine. For older or less standard systems, gcc is - recommended. - o gmake, the GNU make utility. If you don't have gmake installed on your - system, download it from prep.ai.mit.edu. - o standard Unix tools: gzip, tar - -You should also have: - - o flex - o bison version 1.28 or later - bison 1.27 and 1.25 are believed to - have bugs that cause problems with Splint's parsers. - -If these are unavailable, you may be able to build Splint anyway using -the derived grammar files. This is not recommended however. - -1. Download the Splint source package (splint-.src.tgz). - - Copy this package to the directory where you want to build Splint. When - the tar file is extracted, it will create an splint- subdirectory. - -2. Extract files from the tar archive: - tar xzf splint-.src.tgz - -3. Run: ./configure - - This will create a Makefile with settings for your system. If you - want to install Splint or associated libraries different - directories, edit the Makefile. - -4. Run: gmake - - It is best to do this in an emacs shell or a buffered terminal, - so you can scroll through the output. - -6. Set environment variables - - LARCH_PATH - path to search for splint libraries and - initializations files. If you are using the standard directories, this - should be .:/splint-3.0.0.9/lib. - - LCLIMPORTDIR - directory containing lcl imports files. If you are using - the standard directories, this is /splint-3.0.0.9/imports. - - Put the commands to set these variables (the actual commands will depend - on the shell you are using) in one of your initialization dotfiles - (usually ~/.environment). - - Set up your PATH to include the directory containing - splint-/bin/splint, or move the binary to a directory on - your command path. - -7. Run: gmake test - - Examine the test output. If there are errors, send a bug - report to splint-bug@cs.virginia.edu - -To subscribe to announcements of new Splint releases, send a message to -majordomo@virginia.edu containing the body: - -subscribe lclint-announce - -To participate in discussions related to Splint, send a message to -majordomo@virginia.edu containing the body: - -subscribe lclint-interest - - - - + Splint - annotation-assisted static program checker + http://www.splint.org + Copyright (C) 1994-2003 + University of Virginia, + Massachusetts Institute of Technology + + Version 3.1.0 + 12 April 2003 +Splint Documentation +==================== +Installation instructions are found with this distribution in +install.html (or at http://www.splint.org/source.html). +For documentation on Splint, please see http://www.splint.org