Splint Mac OSX Installation

From bb0f31f498d7f2099cca0b21645d53d97f0ee092 Mon Sep 17 00:00:00 2001 From: drl7x Date: Mon, 28 Apr 2003 23:27:53 +0000 Subject: [PATCH] Added instruction for the Mac OSX build. --- doc/darwin.html | 84 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 84 insertions(+) create mode 100755 doc/darwin.html diff --git a/doc/darwin.html b/doc/darwin.html new file mode 100755 index 0000000..175fab2 --- /dev/null +++ b/doc/darwin.html @@ -0,0 +1,84 @@ + + + +Splint Mac OSX Installation + + + + + +

+Solaris Installation +

+ +

+Instructions for installing Splint using the OSX binary installation: +

Download + +http://www.splint.org/downloads/binaries/splint-3.1.1.darwin.tgz + +
+ +
+
tar -xzf splint-3.1.1.darwin.tgz +
+This will create a splint-3.1.1 directory, containing several +subdirectories. The file splint-3.1.1/bin/splint is the Splint binary. +
+
+ +

+ +To install Splint binaries and libraries in a different directory (optional): + +

+
+
./configure --prefix=directory + +
make install + +
+GNU's make utility is required; it may be named +gmake or gnumake on your system. +
+ +
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.1.1/lib". +
+LCLIMPORTDIR - directory containing lcl imports files. If you are using +the standard directories, this is base-directory/splint-3.1.1/imports. + +
+ +If you followed step 4 above set LARCH_PATH to +directory/share/splint/lib and LCLIMPORTDIR to +directory/share/splint/import instead. + +
+
+ +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 command path to include the directory containing +splint-3.1.1/bin/splint, or move the binary to a directory in +your command path. +
+ +
+
+

+ + +

+ -- 2.45.1