| 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 |
| 36ba812d |
22 | href="http://www.splint.org/downloads/binaries/splint-3.1.1.FreeBSD.tgz"><em> |
| 23 | http://www.splint.org/downloads/binaries/splint-3.1.1.FreeBSD.tgz |
| 6e3f87f6 |
24 | </em></a> |
| 25 | <p> |
| 26 | |
| 27 | <p> |
| 36ba812d |
28 | <li> <tt>tar -xzf splint-3.1.1.FreeBSD.tgz</tt> |
| 6e3f87f6 |
29 | <blockquote> |
| 36ba812d |
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. |
| 6e3f87f6 |
32 | </blockquote> |
| 33 | <p> |
| 34 | |
| 6e3f87f6 |
35 | </ol> |
| 36 | |
| 37 | To install Splint binaries and libraries in a different directory (optional): |
| 38 | |
| 39 | <blockquote> |
| 40 | <ol start=4> |
| 41 | <li> <tt>./configure --prefix=<em>directory</em></tt> |
| 42 | |
| 43 | <li> <tt> make install</tt> |
| 44 | |
| 45 | <blockquote> |
| 46 | GNU's make utility is required; it may be named |
| 47 | <tt>gmake</tt> or <tt>gnumake</tt> on your system. |
| 48 | </blockquote> |
| 49 | |
| 50 | <li>Set environment variables: |
| 51 | <blockquote> |
| 52 | <tt>LARCH_PATH</tt> - path to search for splint libraries and |
| 53 | initializations files. If you are using the standard directories, this |
| 36ba812d |
54 | should be <em>".:base-directory/splint-3.1.1/lib"</em>. |
| 6e3f87f6 |
55 | <p> |
| 56 | <tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using |
| 36ba812d |
57 | the standard directories, this is <em>base-directory/splint-3.1.1/imports</em>. |
| 6e3f87f6 |
58 | |
| 59 | <p> |
| 60 | |
| 61 | If you followed step 4 above set <tt>LARCH_PATH</tt> to |
| 62 | <tt><em>directory</em>/share/splint/lib</em></tt> and <tt>LCLIMPORTDIR</tt> to |
| 63 | <tt><em>directory</e>/share/splint/import</em></tt> instead. |
| 64 | |
| 65 | </blockquote> |
| 66 | </p> |
| 67 | |
| 68 | Put the commands to set these variables (the actual commands will depend |
| 69 | on the shell you are using) in one of your initialization dotfiles |
| 70 | (usually <tt>~/.environment</tt>). |
| 71 | <p> |
| 72 | Set up your command path to include the directory containing |
| 36ba812d |
73 | <tt>splint-3.1.1/bin/splint</tt>, or move the binary to a directory in |
| 6e3f87f6 |
74 | your command path. |
| 75 | <p> |
| 76 | |
| 77 | </ol> |
| 78 | <p> |
| 79 | </blockquote> |
| 80 | </blockquote> |
| 81 | |
| 82 | <p> |
| 83 | <!--#include virtual="footer.html"--> |
andersk / splint.git / blame