X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/16033af51f9a96dcc87c44c877dcbd5591384698..f6753ca7324b8b367b49a83666614bafaf62d9df:/install.html diff --git a/install.html b/install.html index fb585c7..2f1a7a5 100755 --- a/install.html +++ b/install.html @@ -34,16 +34,16 @@ Instructions:
Copy this package to the directory where you want to build Spint. When -the tar file is extracted, it will create a splint-3.0.1.5 subdirectory. +the tar file is extracted, it will create a splint-3.0.1.7 subdirectory.
-
-
@@ -71,12 +71,12 @@ If the build was successful, it then runs the test suite. You should see:-Testing splint 3.0.1.5... +Testing splint 3.0.1.7... Version Info: -Splint 3.0.1.5 --- 08 Jan 2002 +Splint 3.0.1.7 --- 11 Feb 2002 -Maintainer: splint-bug@cs.virginia.edu +Maintainer: splint-bug@splint.org ... (about 100 lines of test output elided) @@ -112,17 +112,17 @@ configure).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.5/lib. +should be .:base-directory/splint-3.0.1.7/lib.Put the commands to set these variables (the actual commands will depend on the shell you are using) in one of your initialization dotfiles (usually ~/.environment).LCLIMPORTDIR - directory containing lcl imports files. If you are using -the standard directories, this is base-directory/splint-3.0.1.5/imports. +the standard directories, this is base-directory/splint-3.0.1.7/imports.
Set up your PATH to include the directory containing -splint-3.0.1.5/bin/splint, or move the binary to a directory on +splint-3.0.1.7/bin/splint, or move the binary to a directory on your command path.