doc/sunos.html

   1 <html>
   2 <head>
   3 <link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css" title="style1">
   4 <title>Splint Solaris Installation</title>
   5 </head>
   6 <body>
   7 <!--#include virtual="header.html"-->
   8
   9
  10 <center><h2>
  11 Solaris Installation
  12 </h2></center>
  13
  14 <p>
  15
  16 <p>
  17 Instructions for installing Splint using the Solaris binary installation:
  18 <ol>
  19
  20 <li> Download
  21 <a
  22 href="http://www.splint.org/downloads/binaries/splint-3.1.1.SunOS.tgz"><em>
  23 http://www.splint.org/downloads/binaries/splint-3.1.1.SunOS.tgz
  24 </em></a>
  25 <p>
  26
  27 <p>
  28 <li> <tt>tar -xzf splint-3.1.1.SunOS.tgz</tt>
  29 <blockquote>
  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.
  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
  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
  62 should be <em>".:base-directory/splint-3.1.1/lib"</em>.
  63 <p>
  64 <tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using
  65 the standard directories, this is <em>base-directory/splint-3.1.1/imports</em>.
  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
  81 <tt>splint-3.1.1/bin/splint</tt>, or move the binary to a directory in
  82 your command path.
  83 <p>
  84
  85 </ol>
  86 <p>
  87 </blockquote>
  88 </blockquote>
  89
  90 <p>
  91 <!--#include virtual="footer.html"-->