Splint - annotation-assisted static program checker
http://www.splint.org
- Copyright (C) 1994-2002
+ Copyright (C) 1994-2007
University of Virginia,
Massachusetts Institute of Technology
- Version 3.0.0.20
- Alpha Release
- 30 December 2001
+ Version 3.1.2
+ 12 July 2007
Splint Documentation
====================
-For documentation on Splint, please see http://www.splint.org
-
-WARNING: this is an Alpha release - new features and changes are not
-reflected in the documentation.
-
-Build Instructions
-==================
-
-To build Splint 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 Splint's parsers.
-
-If these are unavailable, you may be able to build Splint anyway using
-the derived grammar files. This is not recommended however.
-
-1. Download the Splint source package (splint-<version>.src.tgz).
-
- Copy this package to the directory where you want to build Splint. When
- the tar file is extracted, it will create an splint-<version> subdirectory.
-
-2. Extract files from the tar archive:
- tar xzf splint-<version>.src.tgz
-
-3. Run: ./configure
-
- This will create a Makefile with settings for your system. If you
- want to install Splint 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 splint libraries and
- initializations files. If you are using the standard directories, this
- should be .:<base-directory>/splint-3.0.0.20/lib.
-
- LCLIMPORTDIR - directory containing lcl imports files. If you are using
- the standard directories, this is <base-directory>/splint-3.0.0.20/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
- splint-<version>/bin/splint, 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 splint-bug@cs.virginia.edu
-
-To subscribe to announcements of new Splint releases, send a message to
-majordomo@virginia.edu containing the body:
-
-subscribe lclint-announce
-
-To participate in discussions related to Splint, send a message to
-majordomo@virginia.edu containing the body:
-
-subscribe lclint-interest
-
-
-
-
-
-
-
+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
andersk / splint.git / blobdiff