#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
-# Generated by Autoconf 2.52 for LCLint 3.0.0.19.
+# Generated by Autoconf 2.52 for Splint 3.0.0.20.
#
-# Report bugs to <lclint-bug@cs.virginia.edu>.
+# Report bugs to <splint-bug@cs.virginia.edu>.
#
# Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
# Free Software Foundation, Inc.
mandir='${prefix}/man'
# Identity of this package.
-PACKAGE_NAME='LCLint'
-PACKAGE_TARNAME='lclint'
-PACKAGE_VERSION='3.0.0.19'
-PACKAGE_STRING='LCLint 3.0.0.19'
-PACKAGE_BUGREPORT='lclint-bug@cs.virginia.edu'
+PACKAGE_NAME='Splint'
+PACKAGE_TARNAME='splint'
+PACKAGE_VERSION='3.0.0.20'
+PACKAGE_STRING='Splint 3.0.0.20'
+PACKAGE_BUGREPORT='splint-bug@cs.virginia.edu'
ac_prev=
for ac_option
# 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 LCLint 3.0.0.19 to adapt to many kinds of systems.
+\`configure' configures Splint 3.0.0.20 to adapt to many kinds of systems.
Usage: $0 [OPTION]... [VAR=VALUE]...
if test -n "$ac_init_help"; then
case $ac_init_help in
- short | recursive ) echo "Configuration of LCLint 3.0.0.19:";;
+ short | recursive ) echo "Configuration of Splint 3.0.0.20:";;
esac
cat <<\EOF
Use these variables to override the choices made by `configure' or to help
it to find libraries and programs with nonstandard names/locations.
-Report bugs to <lclint-bug@cs.virginia.edu>.
+Report bugs to <splint-bug@cs.virginia.edu>.
EOF
fi
test -n "$ac_init_help" && exit 0
if $ac_init_version; then
cat <<\EOF
-LCLint configure 3.0.0.19
+Splint configure 3.0.0.20
generated by GNU Autoconf 2.52
Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
-It was created by LCLint $as_me 3.0.0.19, which was
+It was created by Splint $as_me 3.0.0.20, which was
generated by GNU Autoconf 2.52. Invocation command line was
$ $0 $@
fi
# Define the identity of the package.
-PACKAGE=lclint
-VERSION=3.0.0.19
+PACKAGE=splint
+VERSION=3.0.0.20
# Autoconf 2.50 wants to disallow AM_ names. We explicitly allow
# the ones we care about.
ac_config_headers="$ac_config_headers config.h:config.hin"
-#drl 12-19-2001 commented out so LCLint won't depend on C++
+#drl 12-19-2001 commented out so Splint won't depend on C++
#AC_PROG_CXX
ac_ext=c
ac_cpp='$CPP $CPPFLAGS'
EOF
cat >>confdefs.h <<EOF
-#define DEFAULT_LARCHPATH ".$PATH_SEPARATOR$myprefix/share/lclint/lib$PATH_SEPARATOR`pwd`/lib$PATH_SEPARATOR"
+#define DEFAULT_LARCHPATH ".$PATH_SEPARATOR$myprefix/share/splint/lib$PATH_SEPARATOR`pwd`/lib$PATH_SEPARATOR"
EOF
cat >>confdefs.h <<EOF
-#define DEFAULT_LCLIMPORTDIR ".$PATH_SEPARATOR$myprefix/share/lclint/imports$PATH_SEPARATOR`pwd`/imports"
+#define DEFAULT_LCLIMPORTDIR ".$PATH_SEPARATOR$myprefix/share/splint/imports$PATH_SEPARATOR`pwd`/imports"
EOF
# These used to be in herald.h
-LCL_PARSE_VERSION="LCLint 3.0.0.19"
+LCL_PARSE_VERSION="Splint 3.0.0.20"
cat >>confdefs.h <<EOF
#define LCL_VERSION "$LCL_PARSE_VERSION --- `cat $srcdir/src/DATE`"
cat >>$CONFIG_STATUS <<EOF
ac_cs_version="\\
-LCLint config.status 3.0.0.19
+Splint config.status 3.0.0.20
configured by $0, generated by GNU Autoconf 2.52,
with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
## Running config.status. ##
## ----------------------- ##
-This file was extended by $as_me (LCLint 3.0.0.19) 2.52, executed with
+This file was extended by $as_me (Splint 3.0.0.20) 2.52, executed with
CONFIG_FILES = $CONFIG_FILES
CONFIG_HEADERS = $CONFIG_HEADERS
CONFIG_LINKS = $CONFIG_LINKS