From 9dcb30d11b76b69c1cab15fa8f056596568fd8ef Mon Sep 17 00:00:00 2001 From: drl7x Date: Tue, 8 Jan 2002 06:12:40 +0000 Subject: [PATCH] Fixed the readme file based on the information on the web page. --- README | 90 +++++++++++++++++---------------------- configure | 22 +++++----- test/Makefile | 2 +- test/null6.lcd | 2 +- test/tests2.5/newlint.lcd | 2 +- 5 files changed, 54 insertions(+), 64 deletions(-) diff --git a/README b/README index bf55c54..60e6edb 100644 --- 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. -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-.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- 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-.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 .:/splint-/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 /splint-/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-/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 a649f20..fc4afae 100755 --- a/configure +++ b/configure @@ -1,6 +1,6 @@ #! /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 . # @@ -149,8 +149,8 @@ mandir='${prefix}/man' # 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= @@ -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 <&5 <>confdefs.h <>confdefs.h <>$CONFIG_STATUS <&5 << _ACEOF ## 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 diff --git a/test/Makefile b/test/Makefile index 5b75b1f..158e558 100644 --- a/test/Makefile +++ b/test/Makefile @@ -76,7 +76,7 @@ MV = mv 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 diff --git a/test/null6.lcd b/test/null6.lcd index c351702..6e79355 100644 --- a/test/null6.lcd +++ b/test/null6.lcd @@ -1,5 +1,5 @@ ;;; 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 diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd index 6ccc045..a921ab0 100644 --- a/test/tests2.5/newlint.lcd +++ b/test/tests2.5/newlint.lcd @@ -1,5 +1,5 @@ ;;; 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 -- 2.45.1