#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
-# Generated by Autoconf 2.52 for Splint 3.0.0.20.
+# Generated by Autoconf 2.52 for Splint 3.0.1.1.
#
# Report bugs to <splint-bug@cs.virginia.edu>.
#
# Identity of this package.
PACKAGE_NAME='Splint'
PACKAGE_TARNAME='splint'
-PACKAGE_VERSION='3.0.0.20'
-PACKAGE_STRING='Splint 3.0.0.20'
+PACKAGE_VERSION='3.0.1.1'
+PACKAGE_STRING='Splint 3.0.1.1'
PACKAGE_BUGREPORT='splint-bug@cs.virginia.edu'
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.0.20 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]...
if test -n "$ac_init_help"; then
case $ac_init_help in
- short | recursive ) echo "Configuration of Splint 3.0.0.20:";;
+ short | recursive ) echo "Configuration of Splint 3.0.1.1:";;
esac
cat <<\EOF
test -n "$ac_init_help" && exit 0
if $ac_init_version; then
cat <<\EOF
-Splint configure 3.0.0.20
+Splint configure 3.0.1.1
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.0.20, 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 $@
# Define the identity of the package.
PACKAGE=splint
-VERSION=3.0.0.20
+VERSION=3.0.1.1
# Autoconf 2.50 wants to disallow AM_ names. We explicitly allow
# the ones we care about.
echo "${ECHO_T}no" >&6
fi
+echo "$as_me:2917: checking whether we need _ALL_SOURCE to expose mode_t" >&5
+echo $ECHO_N "checking whether we need _ALL_SOURCE to expose mode_t... $ECHO_C" >&6
+all=no
+cat >conftest.$ac_ext <<_ACEOF
+#line 2921 "configure"
+#include "confdefs.h"
+
+#include <stdio.h>
+mode_t x;
+
+int
+main ()
+{
+
+ ;
+ return 0;
+}
+_ACEOF
+rm -f conftest.$ac_objext
+if { (eval echo "$as_me:2936: \"$ac_compile\"") >&5
+ (eval $ac_compile) 2>&5
+ ac_status=$?
+ echo "$as_me:2939: \$? = $ac_status" >&5
+ (exit $ac_status); } &&
+ { ac_try='test -s conftest.$ac_objext'
+ { (eval echo "$as_me:2942: \"$ac_try\"") >&5
+ (eval $ac_try) 2>&5
+ ac_status=$?
+ echo "$as_me:2945: \$? = $ac_status" >&5
+ (exit $ac_status); }; }; then
+ :
+else
+ echo "$as_me: failed program was:" >&5
+cat conftest.$ac_ext >&5
+all=maybe
+fi
+rm -f conftest.$ac_objext conftest.$ac_ext
+if test $all = maybe ; then
+cat >conftest.$ac_ext <<_ACEOF
+#line 2956 "configure"
+#include "confdefs.h"
+
+#define _ALL_SOURCE
+#include <stdio.h>
+mode_t x;
+
+int
+main ()
+{
+
+ ;
+ return 0;
+}
+_ACEOF
+rm -f conftest.$ac_objext
+if { (eval echo "$as_me:2972: \"$ac_compile\"") >&5
+ (eval $ac_compile) 2>&5
+ ac_status=$?
+ echo "$as_me:2975: \$? = $ac_status" >&5
+ (exit $ac_status); } &&
+ { ac_try='test -s conftest.$ac_objext'
+ { (eval echo "$as_me:2978: \"$ac_try\"") >&5
+ (eval $ac_try) 2>&5
+ ac_status=$?
+ echo "$as_me:2981: \$? = $ac_status" >&5
+ (exit $ac_status); }; }; then
+ cat >>confdefs.h <<\EOF
+#define _ALL_SOURCE 1
+EOF
+ all=yes
+else
+ echo "$as_me: failed program was:" >&5
+cat conftest.$ac_ext >&5
+fi
+rm -f conftest.$ac_objext conftest.$ac_ext
+fi
+if test $all = maybe ; then all=no ; fi
+echo "$as_me:2994: result: $all" >&5
+echo "${ECHO_T}$all" >&6
+
LCLOBJ='$(lcl_OBJECTS)'
# Check whether --with-lcl or --without-lcl was given.
withval="$with_lcl"
ac_cv_use_lcl=$withval
else
- echo "$as_me:2924: checking whether to include support for LCL files" >&5
+ echo "$as_me:3004: checking whether to include support for LCL files" >&5
echo $ECHO_N "checking whether to include support for LCL files... $ECHO_C" >&6
if test "${ac_cv_use_lcl+set}" = set; then
echo $ECHO_N "(cached) $ECHO_C" >&6
else
ac_cv_use_lcl=yes
fi
-echo "$as_me:2931: result: $ac_cv_use_lcl" >&5
+echo "$as_me:3011: result: $ac_cv_use_lcl" >&5
echo "${ECHO_T}$ac_cv_use_lcl" >&6
fi;
if test x$ac_cv_use_lcl != xyes; then
EOF
# These used to be in herald.h
-LCL_PARSE_VERSION="Splint 3.0.0.20"
+LCL_PARSE_VERSION="Splint 3.0.1.1"
cat >>confdefs.h <<EOF
#define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
: ${CONFIG_STATUS=./config.status}
ac_clean_files_save=$ac_clean_files
ac_clean_files="$ac_clean_files $CONFIG_STATUS"
-{ echo "$as_me:3081: creating $CONFIG_STATUS" >&5
+{ echo "$as_me:3161: 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.0.20
+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'`\\"
echo "$ac_cs_version"; exit 0 ;;
--he | --h)
# Conflict between --help and --header
- { { echo "$as_me:3257: error: ambiguous option: $1
+ { { echo "$as_me:3337: 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:3276: error: unrecognized option: $1
+ -*) { { echo "$as_me:3356: 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.0.20) 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
"test/Makefile" ) CONFIG_FILES="$CONFIG_FILES test/Makefile" ;;
"default-1" ) CONFIG_COMMANDS="$CONFIG_COMMANDS default-1" ;;
"config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS config.h:config.hin" ;;
- *) { { echo "$as_me:3328: error: invalid argument: $ac_config_target" >&5
+ *) { { echo "$as_me:3408: 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:3574: creating $ac_file" >&5
+ { echo "$as_me:3654: 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:3592: error: cannot find input file: $f" >&5
+ test -f "$f" || { { echo "$as_me:3672: 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:3605: error: cannot find input file: $f" >&5
+ { { echo "$as_me:3685: 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:3666: creating $ac_file" >&5
+ test x"$ac_file" != x- && { echo "$as_me:3746: 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:3677: error: cannot find input file: $f" >&5
+ test -f "$f" || { { echo "$as_me:3757: 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:3690: error: cannot find input file: $f" >&5
+ { { echo "$as_me:3770: 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:3807: $ac_file is unchanged" >&5
+ { echo "$as_me:3887: $ac_file is unchanged" >&5
echo "$as_me: $ac_file is unchanged" >&6;}
else
ac_dir=`$as_expr X"$ac_file" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \