Splint - Source Code Installation

From: evans1629 Date: Thu, 10 Jan 2002 19:05:02 +0000 (+0000) Subject: Added install.html to CVS. X-Git-Tag: splint-3_0_1_2~4 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/eb6e18382a4fb06c677bc9cf31131ed1481497a9 Added install.html to CVS. --- diff --git a/install.html b/install.html new file mode 100755 index 0000000..b13e1ec --- /dev/null +++ b/install.html @@ -0,0 +1,136 @@ + + + +Splint - Source Code Installation + + + + + +

+Source Code Installation +

+ +

+Splint should compile effortlessly on standard Unix systems, and with +a bit of effort on non-Unix platforms. If you produce a port for a +non-Unix platform, please let splint@cs.virginia.edu +know.

+ +

+To build Splint you need: +

a (hopefully ANSI-conforming) C compiler. GNU gcc is recommended, +but most modern C compilers should work. +
make, the GNU make utility. If you don't have make installed on your system, download it from ftp.gnu.org. +
standard Unix tools: gzip, tar +

+ +

+Instructions: +

+Download +http://www.splint.org/downloads/splint-3.0.1.1.src.tgz. + + (the latest stable release). +
+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.1 subdirectory. +
+
tar xzf splint-3.0.1.1.src.tgz (extract files from the archive) +
+
cd splint-3.0.1.1 (enter the extracted directory) +
+
configure +
+ This will create a Makefile with settings for your system. Use + configure --prefix=directory if you want to install + Splint in prefix directory directory. +
+
+
make +
+GNU's make utility is required; it may be named +gmake or gnumake on your system. + It is best to do this in an emacs shell or a buffered terminal, + 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
+     
```
+
+If the build was successful, it then runs the test +suite. You should see: +
+
```
+Testing splint 3.0.1.1...
+
+Version Info:
+Splint 3.0.1.1 --- 08 Jan 2002
+
+Maintainer: splint-bug@cs.virginia.edu
+
+... (about 100 lines of test output elided)
+
+Checking manual...
+Checking tests2.2...
+Checking tests2.4...
+Checking tests2.5...
+Checking db1...
+Checking db2...
+Checking db3...
+
```
+
+ +Examine the test output. If there are errors, send a bug report to splint-bug@cs.virginia.edu. +
+
+

+ +The remaining steps are only necessary ff you want to install the Splint +binary and libraries in a different directory (set when you ran +configure). +

+
+ +
make install + +
Set environment variables: +
+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/lib. +
+LCLIMPORTDIR - directory containing lcl imports files. If you are using +the standard directories, this is base-directory/splint-3.0.1/imports. +
+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). +
+Set up your PATH to include the directory containing +splint-3.0.1/bin/splint, or move the binary to a directory on +your command path. +
+

+ +

+ + + + + + + + +