| 6e3f87f6 |
1 | <html> |
| 2 | <head> |
| 3 | <link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css" title="style1"> |
| 4 | <title>Splint Linux Installation</title> |
| 5 | </head> |
| 6 | <body> |
| 7 | <!--#include virtual="header.html"--> |
| 8 | |
| 9 | |
| 10 | <center><h2> |
| 11 | Linux Installation |
| 12 | </h2></center> |
| 13 | |
| 14 | <p> |
| 15 | |
| 16 | <p> |
| 17 | Instructions for installing Splint using the linux binary installation: |
| 18 | <ol> |
| 19 | |
| 20 | <li> Download |
| 21 | <a |
| 36ba812d |
22 | href="http://www.splint.org/downloads/binaries/splint-3.1.1.Linux.tgz"><em> |
| 23 | http://www.splint.org/downloads/binaries/splint-3.1.1.Linux.tgz |
| 6e3f87f6 |
24 | </em></a> |
| 25 | <p> |
| 26 | |
| 27 | <p> |
| 36ba812d |
28 | <li> <tt>tar -xzf splint-3.1.1.Linux.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 | |
| 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 | |
| 58 | <li>Set environment variables: |
| 59 | <blockquote> |
| 60 | <tt>LARCH_PATH</tt> - path to search for splint libraries and |
| 61 | initializations files. If you are using the standard directories, this |
| 36ba812d |
62 | should be <em>".:base-directory/splint-3.1.1/lib"</em>. |
| 6e3f87f6 |
63 | <p> |
| 64 | <tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using |
| 36ba812d |
65 | the standard directories, this is <em>base-directory/splint-3.1.1/imports</em>. |
| 6e3f87f6 |
66 | |
| 67 | <p> |
| 68 | |
| 69 | If you followed step 4 above set <tt>LARCH_PATH</tt> to |
| 70 | <tt><em>directory</em>/share/splint/lib</em></tt> and <tt>LCLIMPORTDIR</tt> to |
| 71 | <tt><em>directory</e>/share/splint/import</em></tt> instead. |
| 72 | |
| 73 | </blockquote> |
| 74 | </p> |
| 75 | |
| 76 | Put the commands to set these variables (the actual commands will depend |
| 77 | on the shell you are using) in one of your initialization dotfiles |
| 78 | (usually <tt>~/.environment</tt>). |
| 79 | <p> |
| 80 | Set up your command path to include the directory containing |
| 36ba812d |
81 | <tt>splint-3.1.1/bin/splint</tt>, or move the binary to a directory in |
| 6e3f87f6 |
82 | your command path. |
| 83 | <p> |
| 84 | |
| 85 | </ol> |
| 86 | <p> |
| 87 | </blockquote> |
| 88 | </blockquote> |
| 89 | |
| 90 | <p> |
| 91 | <!--#include virtual="footer.html"--> |
andersk / splint.git / blame