X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/fcb35d9cb4b9225dd2ab9c1f7167454a5977b948..36ba812de31bd9bd9a8f323e44f42c28576b5879:/install.html diff --git a/install.html b/install.html index e60411b..a51f3e2 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.1.0 subdirectory. +the tar file is extracted, it will create a splint-3.1.1 subdirectory.
-
-
@@ -71,10 +71,10 @@ If the build was successful, it then runs the test suite. You should see:-Testing splint 3.1.0... +Testing splint 3.1.1... Version Info: -Splint 3.1.0 --- 11 Feb 2002 +Splint 3.1.1 --- 11 Feb 2002 Maintainer: splint-bug@splint.org @@ -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.1.0/lib. +should be .:base-directory/splint-3.1.1/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.1.0/imports. +the standard directories, this is base-directory/splint-3.1.1/imports.
Set up your PATH to include the directory containing -splint-3.1.0/bin/splint, or move the binary to a directory on +splint-3.1.1/bin/splint, or move the binary to a directory on your command path.