1 Splint - annotation-assisted static program checker
4 Copyright (C) 1994-2002
5 University of Virginia,
6 Massachusetts Institute of Technology
14 For documentation on Splint, please see http://www.splint.org
16 WARNING: this is an Alpha release - new features and changes are not
17 reflected in the documentation.
21 Splint 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 splint@cs.virginia.edu know.
23 To build Splint you need:
25 a (hopefully ANSI-conforming) C compiler. GNU gcc is recommended, but most modern C compilers should work.
26 make, the GNU make utility. If you don't have make installed on your system, download it from ftp.gnu.org.
27 standard Unix tools: gzip, tar
31 1.Download http://www.splint.org/downloads/splint-3.0.1.src.tgz. (the latest stable release).
33 Copy this package to the directory where you want to build Spint. When the tar file is extracted, it will create a splint-3.0.1 subdirectory.
35 2.tar xzf splint-3.0.1.src.tgz (extract files from the archive)
37 3.cd splint-3.0.1 (enter the extracted directory)
41 This will create a Makefile with settings for your system. Use configure --prefix=directory if you want to install Splint in prefix directory directory.
45 GNU's make utility is required; it may be named gmake or gnumake on your system. It is best to do this in an emacs shell or a buffered terminal, so you can scroll through the output.
47 This builds Splint. While it is building, subscribe to the lclint-announce mailing list by sending a message to majordomo@virginia.edu containing the body:
49 subscribe lclint-announce
52 If the build was successful, it then runs the test suite. You should see:
54 Testing splint 3.0.1...
57 Splint 3.0.1 --- 07 Jan 2002
59 Maintainer: splint-bug@cs.virginia.edu
61 ... (about 100 lines of test output elided)
71 Examine the test output. If there are errors, send a bug report to splint-bug@cs.virginia.edu.
73 The remaining steps are only necessary ff you want to install the Splint binary and libraries in a different directory (set when you ran configure).
76 7.Set environment variables:
78 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.1/lib.
80 LCLIMPORTDIR - directory containing lcl imports files. If you are using the standard directories, this is base-directory/splint-3.0.1/imports.
82 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).
84 Set up your PATH to include the directory containing splint-3.0.1/bin/splint, or move the binary to a directory on your command path.