X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f6753ca7324b8b367b49a83666614bafaf62d9df..a193690925d356f36267797637c7bc847ab9b8b0:/doc/sunos.html diff --git a/doc/sunos.html b/doc/sunos.html index 6ee521f..6afe95a 100755 --- a/doc/sunos.html +++ b/doc/sunos.html @@ -19,16 +19,16 @@ Instructions for installing Splint using the Solaris binary installation:
  • Download -http://www.splint.org/downloads/binaries/splint-3.0.1.7.SunOS.tgz +href="http://www.splint.org/downloads/binaries/splint-3.1.0.SunOS.tgz"> +http://www.splint.org/downloads/binaries/splint-3.1.0.SunOS.tgz

    -

  • tar -xzf splint-3.0.1.7.SunOS.tgz +
  • tar -xzf splint-3.1.0.SunOS.tgz
    -This will create a splint-3.0.1.7 directory, containing several -subdirectories. The file splint-3.0.1.7/bin/splint is the Splint binary. +This will create a splint-3.1.0 directory, containing several +subdirectories. The file splint-3.1.0/bin/splint is the Splint binary.

    @@ -59,10 +59,10 @@ GNU's make utility is required; it may be named

    LARCH_PATH - path to search for splint libraries and initializations files. If you are using the standard directories, this -should be ".:base-directory/splint-3.0.1.7/lib". +should be ".:base-directory/splint-3.1.0/lib".

    LCLIMPORTDIR - directory containing lcl imports files. If you are using -the standard directories, this is base-directory/splint-3.0.1.7/imports. +the standard directories, this is base-directory/splint-3.1.0/imports.

    @@ -78,7 +78,7 @@ on the shell you are using) in one of your initialization dotfiles (usually ~/.environment).

    Set up your command path to include the directory containing -splint-3.0.1.7/bin/splint, or move the binary to a directory in +splint-3.1.0/bin/splint, or move the binary to a directory in your command path.