#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.53 for Splint 3.0.1.8.
+# Generated by GNU Autoconf 2.53 for Splint 3.1.0.
#
# Report bugs to <splint-bug@splint.org>.
#
# Identity of this package.
PACKAGE_NAME='Splint'
PACKAGE_TARNAME='splint'
-PACKAGE_VERSION='3.0.1.8'
-PACKAGE_STRING='Splint 3.0.1.8'
+PACKAGE_VERSION='3.1.0'
+PACKAGE_STRING='Splint 3.1.0'
PACKAGE_BUGREPORT='splint-bug@splint.org'
ac_unique_file="src/lclinit.c"
# 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 <<_ACEOF
-\`configure' configures Splint 3.0.1.8 to adapt to many kinds of systems.
+\`configure' configures Splint 3.1.0 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 Splint 3.0.1.8:";;
+ short | recursive ) echo "Configuration of Splint 3.1.0:";;
esac
cat <<\_ACEOF
test -n "$ac_init_help" && exit 0
if $ac_init_version; then
cat <<\_ACEOF
-Splint configure 3.0.1.8
+Splint configure 3.1.0
generated by GNU Autoconf 2.53
Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, 2002
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.8, which was
+It was created by Splint $as_me 3.1.0, which was
generated by GNU Autoconf 2.53. Invocation command line was
$ $0 $@
# Define the identity of the package.
PACKAGE=splint
- VERSION=3.0.1.8
+ VERSION=3.1.0
# Some tools Automake needs.
# These used to be in herald.h
-LCL_PARSE_VERSION="Splint 3.0.1.8"
+LCL_PARSE_VERSION="Splint 3.1.0"
cat >>confdefs.h <<_ACEOF
#define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
} >&5
cat >&5 <<_CSEOF
-This file was extended by Splint $as_me 3.0.1.8, which was
+This file was extended by Splint $as_me 3.1.0, which was
generated by GNU Autoconf 2.53. Invocation command line was
CONFIG_FILES = $CONFIG_FILES
cat >>$CONFIG_STATUS <<_ACEOF
ac_cs_version="\\
-Splint config.status 3.0.1.8
+Splint config.status 3.1.0
configured by $0, generated by GNU Autoconf 2.53,
with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"