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.
To build Splint you need:
Instructions:
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.1 subdirectory.
This will create a Makefile with settings for your system. Use configure --prefix=directory if you want to install Splint in prefix directory directory.
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.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:
subscribe lclint-announceIf the build was successful, it then runs the test suite. You should see:
Examine the test output. If there are errors, send a bug report to splint-bug@cs.virginia.edu.Testing splint 3.0.1.1... Version Info: Splint 3.0.1.1 --- 08 Jan 2002 Maintainer: splint-bug@cs.virginia.edu ... (about 100 lines of test output elided) Checking manual... Checking tests2.2... Checking tests2.4... Checking tests2.5... Checking db1... Checking db2... Checking db3...
- make install
- 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.1/lib.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).LCLIMPORTDIR - directory containing lcl imports files. If you are using the standard directories, this is base-directory/splint-3.0.1/imports.
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.