<li>
Download
-<a href="http://www.splint.org/downloads/splint-3.0.1.7.src.tgz"><em>http://www.splint.org/downloads/splint-3.0.1.7.tgz</em></a>.
+<a href="http://www.splint.org/downloads/splint-3.1.0.src.tgz"><em>http://www.splint.org/downloads/splint-3.1.0.tgz</em></a>.
</a> (the latest stable release).
<p>
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.7 subdirectory.
+the tar file is extracted, it will create a splint-3.1.0 subdirectory.
<p>
-<li><tt>tar xzf splint-3.0.1.7.src.tgz</tt> (extract files from the archive)
+<li><tt>tar xzf splint-3.1.0.src.tgz</tt> (extract files from the archive)
<p>
-<li><tt>cd splint-3.0.1.7</tt> (enter the extracted directory)
+<li><tt>cd splint-3.1.0</tt> (enter the extracted directory)
<p>
<li><tt>configure</tt>
<blockquote>
suite. You should see:
<blockquote>
<pre>
-Testing splint 3.0.1.7...
+Testing splint 3.1.0...
Version Info:
-Splint 3.0.1.7 --- 11 Feb 2002
+Splint 3.1.0 --- 11 Feb 2002
Maintainer: splint-bug@splint.org
<blockquote>
<tt>LARCH_PATH</tt> - path to search for splint libraries and
initializations files. If you are using the standard directories, this
-should be <tt>.:<em>base-directory</em>/splint-3.0.1.7/lib</tt>.
+should be <tt>.:<em>base-directory</em>/splint-3.1.0/lib</tt>.
<p>
<tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using
-the standard directories, this is <tt><em>base-directory</em>/splint-3.0.1.7/imports</tt>.
+the standard directories, this is <tt><em>base-directory</em>/splint-3.1.0/imports</tt>.
</blockquote>
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 <tt>~/.environment</tt>).
<p>
Set up your <tt>PATH</tt> to include the directory containing
-<tt>splint-3.0.1.7/bin/splint</tt>, or move the binary to a directory on
+<tt>splint-3.1.0/bin/splint</tt>, or move the binary to a directory on
your command path.
<p>
</blockquote>