Linux Installation

Instructions for installing Splint using the linux binary installation:

1. Download http://www.splint.org/downloads/binaries/splint-3.1.0.Linux.tgz

2. tar -xzf splint-3.1.0.Linux.tgz

   This will create a splint-3.1.0 directory, containing several subdirectories. The file splint-3.1.0/bin/splint is the Splint binary.

3. Subscribe to the lclint-announce mailing list by sending a message to majordomo@virginia.edu containing the body:

        subscribe lclint-announce
        

To install Splint binaries and libraries in a different directory (optional):

4. ./configure --prefix=directory
5. make install

   GNU's make utility is required; it may be named gmake or gnumake on your system.

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 ".:base-directory/splint-3.1.0/lib".

   LCLIMPORTDIR - directory containing lcl imports files. If you are using the standard directories, this is base-directory/splint-3.1.0/imports.

   If you followed step 4 above set LARCH_PATH to directory/share/splint/lib and LCLIMPORTDIR to directory/share/splint/import instead.

   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 command path to include the directory containing splint-3.1.0/bin/splint, or move the binary to a directory in your command path.

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