I have downloaded 'Splint', the GPL alternative to UNIX's 'lint' utility.
I am including the installation instructions at the end of this message, because I have never set environment variables.
My Google/Linux searches, as well as my searches of this Web site, have not provided any help. I had hoped that my copy of O'Reilly's excellent Running Linux
(Fourth Edition) would prove to be helpful, but I remain in the dark.
Could someone please tell me, in simple terms, what I need to do to follow Step 4's instructions on setting environment variables? In addition, I want to make the changes permanent.
Thank you very much, in advance!
(SuSE Linux 8.2 Professional)
Instructions for installing Splint using the Linux binary installation:
1. Download http://www.splint.org/downloads/bina....1.1.Linux.tgz
2. tar -xzf splint-3.1.1.Linux.tgz
This will create a splint-3.1.1 directory, containing several
subdirectories. The file splint-3.1.1/bin/splint is the Splint binary.
To install Splint binaries and libraries in a different directory (optional):
3. ./configure --prefix=directory
GNU's make utility is required; it may be named gmake or
gnumake on your system.
4. 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.1/lib".
LCLIMPORTDIR - directory containing lcl imports files.
If you are using the standard directories, this is
If you followed step 4 above set LARCH_PATH to
directory/share/splint/lib and LCLIMPORTDIR to
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.1/bin/splint, or move the
binary to a directory in your command path.