X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/326603f36005b5058c4e9399c830fd26bbfac0af..HEAD:/install.html diff --git a/install.html b/install.html index 2f1a7a5..e4ff5fe 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.7 subdirectory. +the tar file is extracted, it will create a splint-3.1.1 subdirectory.
-
-
@@ -60,22 +60,17 @@ GNU's make utility is required; it may be named so you can scroll through the output.This builds Splint. While it is building, subscribe to the -lclint-announce mailing list by sending a message to majordomo@virginia.edu -containing the body: -
- subscribe lclint-announce -+splint-announce mailing list by visiting +http://www.splint.org/lists.htmlIf the build was successful, it then runs the test suite. You should see:
-Testing splint 3.0.1.7... +Testing splint 3.1.1... Version Info: -Splint 3.0.1.7 --- 11 Feb 2002 - +Splint 3.1.1 --- 11 Feb 2002 Maintainer: splint-bug@splint.org ... (about 100 lines of test output elided) @@ -112,17 +107,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.7/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.0.1.7/imports. +the standard directories, this is base-directory/splint-3.1.1/imports.
Set up your PATH to include the directory containing -splint-3.0.1.7/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.