Source Code Installation

LCLint should compile effortlessly on standard Unix systems, and with a bit of effort on non-Unix platforms. If you produce a port for a non-Unix platform, please let us (lclint@cs.virginia.edu) know.

Development Change Log Notes

To build LCLint you need:

• a (hopefully ANSI-conforming) C compiler. GNU gcc is recommended, but most modern C compilers should work.
• make, the GNU make utility. If you don't have make installed on your system, download it from ftp.gnu.org.
• standard Unix tools: gzip, tar

Instructions:

1. Download http://lclint.cs.virginia.edu/downloads/lclint-3.0.0.19.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-3.0.0.19 subdirectory.

2. Extract files from the tar archive: tar xzf lclint-3.0.0.19.src.tgz

3. Enter the extracted directory: cd lclint-3.0.0.19.

4. Run: configure --prefix=directory

   This will create a Makefile with settings for your system. Use --prefix=directory if you want to install LCLint in prefix directory directory.

5. Run: make (GNU's make utility - this may be named something else on your system, often 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 .:base-directory/lclint-3.0.0.19/lib.

   LCLIMPORTDIR - directory containing lcl imports files. If you are using the standard directories, this is base-directory/lclint-3.0.0.19/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.19/bin/lclint, or move the binary to a directory on your command path.

7. Run: make test

   Examine the test output. If there are errors, send a bug report to lclint-bug@cs.virginia.edu

8. If you want to install the LCLint binary and libraries in a different directory (set when you ran configure), run: make install
9. Subscribe to the lclint-announce mailing list by sending a message to majordomo@virginia.edu containing the body:

        subscribe lclint-announce
        

	Splint - Secure Programming Lint info@splint.org Download - Documentation - Manual - Links Source - Linux - Publications - Talks Reporting Bugs - Mailing Lists       Sponsors - Credits