LCLint Version 3.0.0.19 Alpha Release 29 December 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 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 lclint's parsers. If these are unavailable, you may be able to build lclint anyway using the derived grammar files. This is not recommended however. 1. Download the LCLint source package (lclint-.src.tgz). Copy this package to the directory where you want to build LCLint. When the tar file is extracted, it will create an lclint- subdirectory. 2. Extract files from the tar archive: tar xzf lclint-.src.tgz 3. 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. 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 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-/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