LCLint Home Page

LCLint Home

Download

Linux
Windows 95/NT
Source

Documentation

User's Guide
       HTML Online
Publications
Samples

Other Sources

Links
Mailing Lists
Bugs



Credits


Linux Installation

Instructions for installing LCLint using the linux binary installation:

  1. Enter your email address here to be added to the lclint-announce mailing list. This is optional, but highly recommended. The list is only used to announce new lclint releases.
    email:

  2. Download ftp://ftp.sds.lcs.mit.edu/pub/lclint/lclint-2.4b.linux.tar.gz.

  3. Uncompress the package: gzip -d lclint-2.4b.linux.tar.gz

  4. Extract files: tar xf lclint-2.4b.linux.tar
    This will create an lclint-2.4b directory, containing several subdirectories. The file lclint-2.4b/bin/lclint is the lclint binary.

  5. 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-2.4b/lib".

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

  6. Run the test suite. (This requires the GNU make utility, sometimes called gmake, make or gnumake). If you don't have gmake installed on your system, download it from prep.ai.mit.edu.)
    cd lclint-2.4b/test
    make test
    Check that there are no discrepancies in the test output. If there are errors, send a bug report to lclint-bug@sds.lcs.mit.edu


David Evans
Software Devices and Systems
evs@sds.lcs.mit.edu