3 <link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css" title="style1">
4 <title>Splint FreeBSD Installation</title>
7 <!--#include virtual="header.html"-->
17 Instructions for installing Splint using the FreeBSD binary installation:
22 href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.FreeBSD.tgz"><em>
23 http://www.splint.org/downloads/binaries/splint-3.0.1.7.FreeBSD.tgz
28 <li> <tt>tar -xzf splint-3.0.1.7.FreeBSD.tgz</tt>
30 This will create a splint-3.0.1.7 directory, containing several
31 subdirectories. The file <tt>splint-3.0.1.7/bin/splint</tt> is the Splint binary.
35 <li>Subscribe to the lclint-announce mailing list by sending a message
37 href="mailto:majordomo@virginia.edu"><em>majordomo@virginia.edu</em></a>
40 subscribe lclint-announce
44 To install Splint binaries and libraries in a different directory (optional):
48 <li> <tt>./configure --prefix=<em>directory</em></tt>
50 <li> <tt> make install</tt>
53 GNU's make utility is required; it may be named
54 <tt>gmake</tt> or <tt>gnumake</tt> on your system.
57 <li>Set environment variables:
59 <tt>LARCH_PATH</tt> - path to search for splint libraries and
60 initializations files. If you are using the standard directories, this
61 should be <em>".:base-directory/splint-3.0.1.7/lib"</em>.
63 <tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using
64 the standard directories, this is <em>base-directory/splint-3.0.1.7/imports</em>.
68 If you followed step 4 above set <tt>LARCH_PATH</tt> to
69 <tt><em>directory</em>/share/splint/lib</em></tt> and <tt>LCLIMPORTDIR</tt> to
70 <tt><em>directory</e>/share/splint/import</em></tt> instead.
75 Put the commands to set these variables (the actual commands will depend
76 on the shell you are using) in one of your initialization dotfiles
77 (usually <tt>~/.environment</tt>).
79 Set up your command path to include the directory containing
80 <tt>splint-3.0.1.7/bin/splint</tt>, or move the binary to a directory in
90 <!--#include virtual="footer.html"-->