Fixed the readme file based on the information on the web page.

diff --git a/README b/README
index bf55c54fdd0b152052202f34bd7ffe0b3e147896..60e6edb6b8d42969df4457c433a55f14e84d57c9 100644 (file)
--- a/README
+++ b/README
@@ -16,82 +16,72 @@ For documentation on Splint, please see http://www.splint.org
 WARNING: this is an Alpha release - new features and changes are not
 reflected in the documentation.  
 
 WARNING: this is an Alpha release - new features and changes are not
 reflected in the documentation.  
 

-Build Instructions
-==================

 
 

-To build Splint you need:

 
 

-   o a (hopefully ANSI-conforming) C compiler. On most modern Unix systems,
-     cc will work fine. For older or less standard systems, gcc is
-     recommended.
-   o gmake, the GNU make utility. If you don't have gmake installed on your
-     system, download it from prep.ai.mit.edu.
-   o standard Unix tools: gzip, tar
+     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. 

 
 

-You should also have:
+     To build Splint you need: 

 
 

-   o flex
-   o bison version 1.28 or later - bison 1.27 and 1.25 are believed to
-     have bugs that cause problems with Splint's parsers.  
+         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 

 
 

-If these are unavailable, you may be able to build Splint anyway using
-the derived grammar files.  This is not recommended however.
+     Instructions: 

 
 

-1. Download the Splint source package (splint-<version>.src.tgz).
+       1.Download http://www.splint.org/downloads/splint-3.0.1.src.tgz. (the latest stable release). 

 
 

-   Copy this package to the directory where you want to build Splint.  When
-   the tar file is extracted, it will create an splint-<version> subdirectory.
+         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 subdirectory. 

 
 

-2. Extract files from the tar archive:
-      tar xzf splint-<version>.src.tgz
+       2.tar xzf splint-3.0.1.src.tgz (extract files from the archive) 

 
 

-3. Run: ./configure
-  
-   This will create a Makefile with settings for your system. If you 
-   want to install Splint or associated libraries different
-   directories, edit the Makefile.
+       3.cd splint-3.0.1 (enter the extracted directory) 

 
 

-4. Run: gmake
+       4.configure 

 
 

-   It is best to do this in an emacs shell or a buffered terminal,
-   so you can scroll through the output.
+              This will create a Makefile with settings for your system. Use configure --prefix=directory if you want to install Splint in prefix directory directory. 

 
 

-6. Set environment variables
+       5.make 

 
 

-   LARCH_PATH - path to search for splint libraries and
-   initializations files. If you are using the standard directories, this
-   should be .:<base-directory>/splint-<version>/lib.
+              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. 

 
 

-   LCLIMPORTDIR - directory containing lcl imports files. If you are using
-   the standard directories, this is <base-directory>/splint-<version>/imports.
+              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: 

 
 

-   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). 
+                   subscribe lclint-announce
+                   

 
 

-   Set up your PATH to include the directory containing
-   splint-<version>/bin/splint, or move the binary to a directory on
-   your command path.
+              If the build was successful, it then runs the test suite. You should see: 

 
 

-7. Run: gmake test
+                  Testing splint 3.0.1...

 
 

-   Examine the test output. If there are errors, send a bug
-   report to splint-bug@cs.virginia.edu
+                  Version Info:
+                  Splint 3.0.1 --- 07 Jan 2002

 
 

-To subscribe to announcements of new Splint releases, send a message to
-majordomo@virginia.edu containing the body:
+                  Maintainer: splint-bug@cs.virginia.edu

 
 

-subscribe lclint-announce
+                  ... (about 100 lines of test output elided)

 
 

-To participate in discussions related to Splint, send a message to
-majordomo@virginia.edu containing the body:
+                  Checking manual...
+                  Checking tests2.2...
+                  Checking tests2.4...
+                  Checking tests2.5...
+                  Checking db1...
+                  Checking db2...
+                  Checking db3...

 
 

-subscribe lclint-interest
-                     
+         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). 

 
 

+       6.make install 
+       7.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. 

 
 
 
 
 
 

diff --git a/configure b/configure
index a649f20aeb07a9cb56c27ecc803bb5b9a2976f4b..fc4afae8f321a0c38a3423908e95b8feeb347193 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.

-# Generated by Autoconf 2.52 for Splint 3.0.1.
+# Generated by Autoconf 2.52 for Splint 3.0.1.1.

 #
 # Report bugs to <splint-bug@cs.virginia.edu>.
 #
 #
 # Report bugs to <splint-bug@cs.virginia.edu>.
 #


@@ -149,8 +149,8 @@ mandir='${prefix}/man'
 # Identity of this package.
 PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'
 # Identity of this package.
 PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'

-PACKAGE_VERSION='3.0.1'
-PACKAGE_STRING='Splint 3.0.1'
+PACKAGE_VERSION='3.0.1.1'
+PACKAGE_STRING='Splint 3.0.1.1'

 PACKAGE_BUGREPORT='splint-bug@cs.virginia.edu'
 
 ac_prev=
 PACKAGE_BUGREPORT='splint-bug@cs.virginia.edu'
 
 ac_prev=


@@ -567,7 +567,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<EOF
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<EOF

-\`configure' configures Splint 3.0.1 to adapt to many kinds of systems.
+\`configure' configures Splint 3.0.1.1 to adapt to many kinds of systems.

 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 


@@ -633,7 +633,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in

-     short | recursive ) echo "Configuration of Splint 3.0.1:";;
+     short | recursive ) echo "Configuration of Splint 3.0.1.1:";;

    esac
   cat <<\EOF
 
    esac
   cat <<\EOF
 


@@ -703,7 +703,7 @@ fi
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\EOF
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\EOF

-Splint configure 3.0.1
+Splint configure 3.0.1.1

 generated by GNU Autoconf 2.52
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
 generated by GNU Autoconf 2.52
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001


@@ -718,7 +718,7 @@ cat >&5 <<EOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 

-It was created by Splint $as_me 3.0.1, which was
+It was created by Splint $as_me 3.0.1.1, which was

 generated by GNU Autoconf 2.52.  Invocation command line was
 
   $ $0 $@
 generated by GNU Autoconf 2.52.  Invocation command line was
 
   $ $0 $@


@@ -1270,7 +1270,7 @@ fi
 
 # Define the identity of the package.
 PACKAGE=splint
 
 # Define the identity of the package.
 PACKAGE=splint

-VERSION=3.0.1
+VERSION=3.0.1.1

 
 # Autoconf 2.50 wants to disallow AM_ names.  We explicitly allow
 # the ones we care about.
 
 # Autoconf 2.50 wants to disallow AM_ names.  We explicitly allow
 # the ones we care about.


@@ -3059,7 +3059,7 @@ cat >>confdefs.h <<EOF
 EOF
 
 # These used to be in herald.h
 EOF
 
 # These used to be in herald.h

-LCL_PARSE_VERSION="Splint 3.0.1"
+LCL_PARSE_VERSION="Splint 3.0.1.1"

 
 cat >>confdefs.h <<EOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
 
 cat >>confdefs.h <<EOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"


@@ -3289,7 +3289,7 @@ EOF
 
 cat >>$CONFIG_STATUS <<EOF
 ac_cs_version="\\
 
 cat >>$CONFIG_STATUS <<EOF
 ac_cs_version="\\

-Splint config.status 3.0.1
+Splint config.status 3.0.1.1

 configured by $0, generated by GNU Autoconf 2.52,
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
 
 configured by $0, generated by GNU Autoconf 2.52,
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
 


@@ -3372,7 +3372,7 @@ cat >&5 << _ACEOF
 ## Running config.status.  ##
 ## ----------------------- ##
 
 ## Running config.status.  ##
 ## ----------------------- ##
 

-This file was extended by $as_me (Splint 3.0.1) 2.52, executed with
+This file was extended by $as_me (Splint 3.0.1.1) 2.52, executed with

   CONFIG_FILES    = $CONFIG_FILES
   CONFIG_HEADERS  = $CONFIG_HEADERS
   CONFIG_LINKS    = $CONFIG_LINKS
   CONFIG_FILES    = $CONFIG_FILES
   CONFIG_HEADERS  = $CONFIG_HEADERS
   CONFIG_LINKS    = $CONFIG_LINKS

diff --git a/test/Makefile b/test/Makefile
index 5b75b1ffba65c4760346ba63b73a686df8d59ff0..158e558904859861f85c6c9f6bcec19e37ae5d0b 100644 (file)
--- a/test/Makefile
+++ b/test/Makefile
@@ -76,7 +76,7 @@ MV = mv
 OBJEXT = o
 PACKAGE = splint
 RM = rm
 OBJEXT = o
 PACKAGE = splint
 RM = rm

-VERSION = 3.0.1
+VERSION = 3.0.1.1

 am__include = include
 am__quote = 
 install_sh = /net/af9/drl7x/reTmp/LCLintDev/config/install-sh
 am__include = include
 am__quote = 
 install_sh = /net/af9/drl7x/reTmp/LCLintDev/config/install-sh

diff --git a/test/null6.lcd b/test/null6.lcd
index c3517025c6e39af2eeebe9a960fcaeda554bd8bf..6e79355bab09c66ffdd72c6a7b0ad79443e8f201 100644 (file)
--- a/test/null6.lcd
+++ b/test/null6.lcd
@@ -1,5 +1,5 @@
 ;;; Splint Library  null6.lcd
 ;;; Splint Library  null6.lcd

-;;Splint 3.0.1 --- 06 Jan 2002
+;;Splint 3.0.1.1 --- 07 Jan 2002

 ;;lib:298
 ;;ctTable
 0 u-2 19 38
 ;;lib:298
 ;;ctTable
 0 u-2 19 38

diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd
index 6ccc045e39662299a03c04ccc131a4c40b8b151d..a921ab01d38ee5b830a6a6ad283ddde09694ce67 100644 (file)
--- a/test/tests2.5/newlint.lcd
+++ b/test/tests2.5/newlint.lcd
@@ -1,5 +1,5 @@
 ;;; Splint Library  newlint.lcd
 ;;; Splint Library  newlint.lcd

-;;Splint 3.0.1 --- 06 Jan 2002
+;;Splint 3.0.1.1 --- 07 Jan 2002

 ;;lib:298
 ;;ctTable
 0 u-2 19 38
 ;;lib:298
 ;;ctTable
 0 u-2 19 38