#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
-# Generated by Autoconf 2.52 for Splint 3.0.1.1.
+# Generated by Autoconf 2.52 for Splint 3.0.1.7.
#
# Report bugs to <splint-bug@splint.org>.
#
# Identity of this package.
PACKAGE_NAME='Splint'
PACKAGE_TARNAME='splint'
-PACKAGE_VERSION='3.0.1.1'
-PACKAGE_STRING='Splint 3.0.1.1'
+PACKAGE_VERSION='3.0.1.7'
+PACKAGE_STRING='Splint 3.0.1.7'
PACKAGE_BUGREPORT='splint-bug@splint.org'
ac_prev=
# 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.1 to adapt to many kinds of systems.
+\`configure' configures Splint 3.0.1.7 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.1:";;
+ short | recursive ) echo "Configuration of Splint 3.0.1.7:";;
esac
cat <<\EOF
test -n "$ac_init_help" && exit 0
if $ac_init_version; then
cat <<\EOF
-Splint configure 3.0.1.1
+Splint configure 3.0.1.7
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 Splint $as_me 3.0.1.1, which was
+It was created by Splint $as_me 3.0.1.7, which was
generated by GNU Autoconf 2.52. Invocation command line was
$ $0 $@
# Define the identity of the package.
PACKAGE=splint
-VERSION=3.0.1.1
+VERSION=3.0.1.7
# Autoconf 2.50 wants to disallow AM_ names. We explicitly allow
# the ones we care about.
myprefix=$prefix
test x$myprefix = xNONE && myprefix=$ac_default_prefix
+### Yuck! This is really kludgey, but I don't understand autoconf well
+### enough to do something simple that always works. Hopefully this does.
+
# cpplib.h defines 2 include dirs; one is $includedir, the other is gcc's
# include dir. Not the most portable setup, but let's do our best.
-if test x$ac_cv_c_compiler_gnu = xyes; then
+
+if test x$GCC = xyes; then
# This breaks on gcc-3.0 on redhat fixing drl 11-15-2001
# GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/'`
#define GCC_INCLUDE_DIR "$GCC_INCLUDE_DIR"
EOF
+else
+
+cat >>confdefs.h <<EOF
+#define GCC_INCLUDE_DIR "/usr/include"
+EOF
+
fi
cat >>confdefs.h <<EOF
EOF
# These used to be in herald.h
-LCL_PARSE_VERSION="Splint 3.0.1.1"
+LCL_PARSE_VERSION="Splint 3.0.1.7"
cat >>confdefs.h <<EOF
#define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
#just define some Header constants for now...
+UNAME=`uname`
+cat >>confdefs.h <<EOF
+#define UNAME "${UNAME}"
+EOF
+
cat >>confdefs.h <<EOF
#define BUILD "${build}"
EOF
#define TARGET_OS "${target_os}"
EOF
-ac_config_files="$ac_config_files Makefile imports/Makefile lib/Makefile src/Makefile test/Makefile doc/Makefile"
+ac_config_files="$ac_config_files Makefile imports/Makefile lib/Makefile src/Makefile test/Makefile doc/Makefile bin/Makefile"
cat >confcache <<\_ACEOF
# This file is a shell script that caches the results of configure
: ${CONFIG_STATUS=./config.status}
ac_clean_files_save=$ac_clean_files
ac_clean_files="$ac_clean_files $CONFIG_STATUS"
-{ echo "$as_me:3252: creating $CONFIG_STATUS" >&5
+{ echo "$as_me:3267: creating $CONFIG_STATUS" >&5
echo "$as_me: creating $CONFIG_STATUS" >&6;}
cat >$CONFIG_STATUS <<_ACEOF
#! $SHELL
cat >>$CONFIG_STATUS <<EOF
ac_cs_version="\\
-Splint config.status 3.0.1.1
+Splint config.status 3.0.1.7
configured by $0, generated by GNU Autoconf 2.52,
with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
echo "$ac_cs_version"; exit 0 ;;
--he | --h)
# Conflict between --help and --header
- { { echo "$as_me:3428: error: ambiguous option: $1
+ { { echo "$as_me:3443: error: ambiguous option: $1
Try \`$0 --help' for more information." >&5
echo "$as_me: error: ambiguous option: $1
Try \`$0 --help' for more information." >&2;}
ac_need_defaults=false;;
# This is an error.
- -*) { { echo "$as_me:3447: error: unrecognized option: $1
+ -*) { { echo "$as_me:3462: error: unrecognized option: $1
Try \`$0 --help' for more information." >&5
echo "$as_me: error: unrecognized option: $1
Try \`$0 --help' for more information." >&2;}
## Running config.status. ##
## ----------------------- ##
-This file was extended by $as_me (Splint 3.0.1.1) 2.52, executed with
+This file was extended by $as_me (Splint 3.0.1.7) 2.52, executed with
CONFIG_FILES = $CONFIG_FILES
CONFIG_HEADERS = $CONFIG_HEADERS
CONFIG_LINKS = $CONFIG_LINKS
"src/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/Makefile" ;;
"test/Makefile" ) CONFIG_FILES="$CONFIG_FILES test/Makefile" ;;
"doc/Makefile" ) CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;;
+ "bin/Makefile" ) CONFIG_FILES="$CONFIG_FILES bin/Makefile" ;;
"default-1" ) CONFIG_COMMANDS="$CONFIG_COMMANDS default-1" ;;
"config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS config.h:config.hin" ;;
- *) { { echo "$as_me:3500: error: invalid argument: $ac_config_target" >&5
+ *) { { echo "$as_me:3516: error: invalid argument: $ac_config_target" >&5
echo "$as_me: error: invalid argument: $ac_config_target" >&2;}
{ (exit 1); exit 1; }; };;
esac
esac
if test x"$ac_file" != x-; then
- { echo "$as_me:3750: creating $ac_file" >&5
+ { echo "$as_me:3766: creating $ac_file" >&5
echo "$as_me: creating $ac_file" >&6;}
rm -f "$ac_file"
fi
-) echo $tmp/stdin ;;
[\\/$]*)
# Absolute (can't be DOS-style, as IFS=:)
- test -f "$f" || { { echo "$as_me:3768: error: cannot find input file: $f" >&5
+ test -f "$f" || { { echo "$as_me:3784: error: cannot find input file: $f" >&5
echo "$as_me: error: cannot find input file: $f" >&2;}
{ (exit 1); exit 1; }; }
echo $f;;
echo $srcdir/$f
else
# /dev/null tree
- { { echo "$as_me:3781: error: cannot find input file: $f" >&5
+ { { echo "$as_me:3797: error: cannot find input file: $f" >&5
echo "$as_me: error: cannot find input file: $f" >&2;}
{ (exit 1); exit 1; }; }
fi;;
* ) ac_file_in=$ac_file.in ;;
esac
- test x"$ac_file" != x- && { echo "$as_me:3842: creating $ac_file" >&5
+ test x"$ac_file" != x- && { echo "$as_me:3858: creating $ac_file" >&5
echo "$as_me: creating $ac_file" >&6;}
# First look for the input files in the build tree, otherwise in the
-) echo $tmp/stdin ;;
[\\/$]*)
# Absolute (can't be DOS-style, as IFS=:)
- test -f "$f" || { { echo "$as_me:3853: error: cannot find input file: $f" >&5
+ test -f "$f" || { { echo "$as_me:3869: error: cannot find input file: $f" >&5
echo "$as_me: error: cannot find input file: $f" >&2;}
{ (exit 1); exit 1; }; }
echo $f;;
echo $srcdir/$f
else
# /dev/null tree
- { { echo "$as_me:3866: error: cannot find input file: $f" >&5
+ { { echo "$as_me:3882: error: cannot find input file: $f" >&5
echo "$as_me: error: cannot find input file: $f" >&2;}
{ (exit 1); exit 1; }; }
fi;;
rm -f $tmp/in
if test x"$ac_file" != x-; then
if cmp -s $ac_file $tmp/config.h 2>/dev/null; then
- { echo "$as_me:3983: $ac_file is unchanged" >&5
+ { echo "$as_me:3999: $ac_file is unchanged" >&5
echo "$as_me: $ac_file is unchanged" >&6;}
else
ac_dir=`$as_expr X"$ac_file" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \