X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/15b3d2b27a3dce7a3b65e88fb0d1732e235117f4..HEAD:/README diff --git a/README b/README index bf5a4c4..37aa46b 100644 --- a/README +++ b/README @@ -1,87 +1,18 @@ - LCLint Version 3.0.0.9 - Alpha Release - 19 August 2001 - -LCLint Documentation -==================== - -For documentation on LCLint, please see http://lclint.cs.virginia.edu. - -WARNING: this is an Alpha release - new features and changes are not -reflected in the documentation. The file BUFFERCHECKING contains -preliminary documentation on the array bounds checking. - -Build Instructions -================== - -To build LCLint 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 - -1. Download the LCLint source package (lclint.src.tar.gz). - - Copy this package to the directory where you want to build LCLint. When - the tar file is extracted, it will create an lclint-3.0.0.9 subdirectory. - -2. Uncompress the package: - gzip -d lclint.src.tar.gz - -3. Extract files from the tar archive: - tar xf lclint.src.tar - -4. Run: configure - - This will create a Makefile with settings for your system. If you - want to install LCLint or associated libraries different - directories, edit the Makefile. - -5. 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 lclint libraries and - initializations files. If you are using the standard directories, this - should be .:/lclint-3.0.0.9/lib. - - LCLIMPORTDIR - directory containing lcl imports files. If you are using - the standard directories, this is /lclint-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 - lclint-3.0.0.9/bin/lclint, 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 lclint-bug@cs.virginia.edu - -To subscribe to announcements of new lclint releases, send a message to -majordomo@virginia.edu containing the body: - -subscribe lclint-announce - -To participate in discussions related to lclint, 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-2007 + University of Virginia, + Massachusetts Institute of Technology + + Version 3.1.2 + 12 July 2007 +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