X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/1b8ae6904556859bbe91aadf35b8adcc1a0611ce..HEAD:/README diff --git a/README b/README index bf55c54..37aa46b 100644 --- a/README +++ b/README @@ -1,98 +1,18 @@ Splint - annotation-assisted static program checker http://www.splint.org - Copyright (C) 1994-2002 + Copyright (C) 1994-2007 University of Virginia, Massachusetts Institute of Technology - Version 3.0.1 - 7 January 2001 + Version 3.1.2 + 12 July 2007 Splint Documentation ==================== -For documentation on Splint, 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-/lib. - - LCLIMPORTDIR - directory containing lcl imports files. If you are using - the standard directories, this is /splint-/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 - - - - - - - +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