]>
Commit | Line | Data |
---|---|---|
6e3f87f6 | 1 | <html> |
2 | <head> | |
3 | <link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css" title="style1"> | |
4 | <title>Splint FreeBSD Installation</title> | |
5 | </head> | |
6 | <body> | |
7 | <!--#include virtual="header.html"--> | |
8 | ||
9 | ||
10 | <center><h2> | |
11 | FreeBSD Installation | |
12 | </h2></center> | |
13 | ||
14 | <p> | |
15 | ||
16 | <p> | |
17 | Instructions for installing Splint using the FreeBSD binary installation: | |
18 | <ol> | |
19 | ||
20 | <li> Download | |
21 | <a | |
59a4360f | 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 | |
6e3f87f6 | 24 | </em></a> |
25 | <p> | |
26 | ||
27 | <p> | |
59a4360f | 28 | <li> <tt>tar -xzf splint-3.0.1.7.FreeBSD.tgz</tt> |
6e3f87f6 | 29 | <blockquote> |
59a4360f | 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. | |
6e3f87f6 | 32 | </blockquote> |
33 | <p> | |
34 | ||
35 | <li>Subscribe to the lclint-announce mailing list by sending a message | |
36 | to <a | |
37 | href="mailto:majordomo@virginia.edu"><em>majordomo@virginia.edu</em></a> | |
38 | containing the body: | |
39 | <pre> | |
40 | subscribe lclint-announce | |
41 | </pre> | |
42 | </ol> | |
43 | ||
44 | To install Splint binaries and libraries in a different directory (optional): | |
45 | ||
46 | <blockquote> | |
47 | <ol start=4> | |
48 | <li> <tt>./configure --prefix=<em>directory</em></tt> | |
49 | ||
50 | <li> <tt> make install</tt> | |
51 | ||
52 | <blockquote> | |
53 | GNU's make utility is required; it may be named | |
54 | <tt>gmake</tt> or <tt>gnumake</tt> on your system. | |
55 | </blockquote> | |
56 | ||
57 | <li>Set environment variables: | |
58 | <blockquote> | |
59 | <tt>LARCH_PATH</tt> - path to search for splint libraries and | |
60 | initializations files. If you are using the standard directories, this | |
59a4360f | 61 | should be <em>".:base-directory/splint-3.0.1.7/lib"</em>. |
6e3f87f6 | 62 | <p> |
63 | <tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using | |
59a4360f | 64 | the standard directories, this is <em>base-directory/splint-3.0.1.7/imports</em>. |
6e3f87f6 | 65 | |
66 | <p> | |
67 | ||
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. | |
71 | ||
72 | </blockquote> | |
73 | </p> | |
74 | ||
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>). | |
78 | <p> | |
79 | Set up your command path to include the directory containing | |
59a4360f | 80 | <tt>splint-3.0.1.7/bin/splint</tt>, or move the binary to a directory in |
6e3f87f6 | 81 | your command path. |
82 | <p> | |
83 | ||
84 | </ol> | |
85 | <p> | |
86 | </blockquote> | |
87 | </blockquote> | |
88 | ||
89 | <p> | |
90 | <!--#include virtual="footer.html"--> |