3 <link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css" title="style1">
4 <title>Splint - Source Code Installation</title>
7 <!--#include virtual="header.html"-->
11 Source Code Installation
16 Splint should compile effortlessly on standard Unix systems, and with
17 a bit of effort on non-Unix platforms. If you produce a port for a
18 non-Unix platform, please let <a
19 href="mailto:splint@cs.virginia.edu"><em>splint@cs.virginia.edu</em></a>
23 To build Splint you need:
25 <li> a (hopefully ANSI-conforming) C compiler. GNU <tt>gcc</tt> is recommended,
26 but most modern C compilers should work.
27 <li> <tt>make</tt>, the GNU make utility. If you don't have <tt>make</tt> installed on your system, download it from <tt>ftp.gnu.org</tt>.
28 <li> standard Unix tools: <tt>gzip</tt>, <tt>tar</tt>
37 <a href="http://www.splint.org/downloads/splint-3.0.1.6.src.tgz"><em>http://www.splint.org/downloads/splint-3.0.1.6.tgz</em></a>.
39 </a> (the latest stable release).
41 Copy this package to the directory where you want to build Spint. When
42 the tar file is extracted, it will create a splint-3.0.1.6 subdirectory.
44 <li><tt>tar xzf splint-3.0.1.6.src.tgz</tt> (extract files from the archive)
46 <li><tt>cd splint-3.0.1.6</tt> (enter the extracted directory)
48 <li><tt>configure</tt>
50 This will create a Makefile with settings for your system. Use
51 <tt>configure --prefix=<em>directory</em></tt> if you want to install
52 Splint in prefix directory <em>directory</em>.
57 GNU's make utility is required; it may be named
58 <tt>gmake</tt> or <tt>gnumake</tt> on your system.
59 It is best to do this in an emacs shell or a buffered terminal,
60 so you can scroll through the output.
62 This builds Splint. While it is building, subscribe to the
63 lclint-announce mailing list by sending a message to <a
64 href="mailto:majordomo@virginia.edu"><em>majordomo@virginia.edu</em></a>
67 subscribe lclint-announce
70 If the build was successful, it then runs the test
71 suite. You should see:
74 Testing splint 3.0.1.6...
77 Splint 3.0.1.6 --- 11 Feb 2002
79 Maintainer: splint-bug@splint.org
81 <em>... (about 100 lines of test output elided)</em>
93 Examine the test output. If there are errors, send a bug report to <a
94 href="mailto:splint-bug@cs.virginia.edu"><em>splint-bug@cs.virginia.edu</em></a>.
97 Note: If possible do not built splint in a directory under /usr/. If the test suite is run in a directory under /usr/ for example /usr/src/, it will report errors even if Splint was built correctly.
102 The remaining steps are only necessary if you want to install the Splint
103 binary and libraries in a different directory (set when you ran
109 <li> <tt>make install</tt>
111 <li>Set environment variables:
113 <tt>LARCH_PATH</tt> - path to search for splint libraries and
114 initializations files. If you are using the standard directories, this
115 should be <tt>.:<em>base-directory</em>/splint-3.0.1.6/lib</tt>.
117 <tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using
118 the standard directories, this is <tt><em>base-directory</em>/splint-3.0.1.6/imports</tt>.
120 Put the commands to set these variables (the actual commands will depend
121 on the shell you are using) in one of your initialization dotfiles
122 (usually <tt>~/.environment</tt>).
124 Set up your <tt>PATH</tt> to include the directory containing
125 <tt>splint-3.0.1.6/bin/splint</tt>, or move the binary to a directory on
131 <!--#include virtual="footer.html"-->