3 <link rel=
"stylesheet" type=
"text/css" href=
"http://www.splint.org/splint.css" title=
"style1">
4 <title>Splint Mac OSX Installation
</title>
7 <!--#include virtual="header.html"-->
17 Instructions for installing Splint using the OSX binary installation:
22 href=
"http://www.splint.org/downloads/binaries/splint-3.1.1.darwin.tgz"><em>
23 http://www.splint.org/downloads/binaries/splint-
3.1.1.darwin.tgz
28 <li> <tt>tar -xzf splint-
3.1.1.darwin.tgz
</tt>
30 This will create a splint-
3.1.1 directory, containing several
31 subdirectories. The file
<tt>splint-
3.1.1/bin/splint
</tt> is the Splint binary.
37 To install Splint binaries and libraries in a different directory (optional):
41 <li> <tt>./configure --prefix=
<em>directory
</em></tt>
43 <li> <tt> make install
</tt>
46 GNU's make utility is required; it may be named
47 <tt>gmake
</tt> or
<tt>gnumake
</tt> on your system.
50 <li>Set environment variables:
53 <tt>LARCH_PATH
</tt> - path to search for splint libraries and
54 initializations files. If you are using the standard directories, this
55 should be
<em>".:base-directory/splint-3.1.1/lib"</em>.
57 <tt>LCLIMPORTDIR
</tt> - directory containing lcl imports files. If you are using
58 the standard directories, this is
<em>base-directory/splint-
3.1.1/imports
</em>.
62 If you followed step
4 above set
<tt>LARCH_PATH
</tt> to
63 <tt><em>directory
</em>/share/splint/lib
</em></tt> and
<tt>LCLIMPORTDIR
</tt> to
64 <tt><em>directory
</e>/share/splint/import
</em></tt> instead.
69 Put the commands to set these variables (the actual commands will depend
70 on the shell you are using) in one of your initialization dotfiles
71 (usually
<tt>~/.environment
</tt>).
73 Set up your command path to include the directory containing
74 <tt>splint-
3.1.1/bin/splint
</tt>, or move the binary to a directory in
84 <!--#include virtual="footer.html"-->