#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.57 for Splint 3.1.1.
+# Generated by GNU Autoconf 2.53 for Splint 3.1.1.1.
#
# Report bugs to <splint-bug@splint.org>.
#
# Free Software Foundation, Inc.
# This configure script is free software; the Free Software Foundation
# gives unlimited permission to copy, distribute and modify it.
+
+if expr a : '\(a\)' >/dev/null 2>&1; then
+ as_expr=expr
+else
+ as_expr=false
+fi
+
+
## --------------------- ##
## M4sh Initialization. ##
## --------------------- ##
if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
emulate sh
NULLCMD=:
- # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which
- # is contrary to our usage. Disable this feature.
- alias -g '${1+"$@"}'='"$@"'
elif test -n "${BASH_VERSION+set}" && (set -o posix) >/dev/null 2>&1; then
set -o posix
fi
+# NLS nuisances.
# Support unset when possible.
if (FOO=FOO; unset FOO) >/dev/null 2>&1; then
as_unset=unset
as_unset=false
fi
-
-# Work around bugs in pre-3.0 UWIN ksh.
-$as_unset ENV MAIL MAILPATH
-PS1='$ '
-PS2='> '
-PS4='+ '
-
-# NLS nuisances.
-for as_var in \
- LANG LANGUAGE LC_ADDRESS LC_ALL LC_COLLATE LC_CTYPE LC_IDENTIFICATION \
- LC_MEASUREMENT LC_MESSAGES LC_MONETARY LC_NAME LC_NUMERIC LC_PAPER \
- LC_TELEPHONE LC_TIME
-do
- if (set +x; test -n "`(eval $as_var=C; export $as_var) 2>&1`"); then
- eval $as_var=C; export $as_var
- else
- $as_unset $as_var
- fi
-done
-
-# Required to use basename.
-if expr a : '\(a\)' >/dev/null 2>&1; then
- as_expr=expr
-else
- as_expr=false
-fi
-
-if (basename /) >/dev/null 2>&1 && test "X`basename / 2>&1`" = "X/"; then
- as_basename=basename
-else
- as_basename=false
-fi
+(set +x; test -n "`(LANG=C; export LANG) 2>&1`") &&
+ { $as_unset LANG || test "${LANG+set}" != set; } ||
+ { LANG=C; export LANG; }
+(set +x; test -n "`(LC_ALL=C; export LC_ALL) 2>&1`") &&
+ { $as_unset LC_ALL || test "${LC_ALL+set}" != set; } ||
+ { LC_ALL=C; export LC_ALL; }
+(set +x; test -n "`(LC_TIME=C; export LC_TIME) 2>&1`") &&
+ { $as_unset LC_TIME || test "${LC_TIME+set}" != set; } ||
+ { LC_TIME=C; export LC_TIME; }
+(set +x; test -n "`(LC_CTYPE=C; export LC_CTYPE) 2>&1`") &&
+ { $as_unset LC_CTYPE || test "${LC_CTYPE+set}" != set; } ||
+ { LC_CTYPE=C; export LC_CTYPE; }
+(set +x; test -n "`(LANGUAGE=C; export LANGUAGE) 2>&1`") &&
+ { $as_unset LANGUAGE || test "${LANGUAGE+set}" != set; } ||
+ { LANGUAGE=C; export LANGUAGE; }
+(set +x; test -n "`(LC_COLLATE=C; export LC_COLLATE) 2>&1`") &&
+ { $as_unset LC_COLLATE || test "${LC_COLLATE+set}" != set; } ||
+ { LC_COLLATE=C; export LC_COLLATE; }
+(set +x; test -n "`(LC_NUMERIC=C; export LC_NUMERIC) 2>&1`") &&
+ { $as_unset LC_NUMERIC || test "${LC_NUMERIC+set}" != set; } ||
+ { LC_NUMERIC=C; export LC_NUMERIC; }
+(set +x; test -n "`(LC_MESSAGES=C; export LC_MESSAGES) 2>&1`") &&
+ { $as_unset LC_MESSAGES || test "${LC_MESSAGES+set}" != set; } ||
+ { LC_MESSAGES=C; export LC_MESSAGES; }
# Name of the executable.
-as_me=`$as_basename "$0" ||
+as_me=`(basename "$0") 2>/dev/null ||
$as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
X"$0" : 'X\(//\)$' \| \
X"$0" : 'X\(/\)$' \| \
/^X\/\(\/\).*/{ s//\1/; q; }
s/.*/./; q'`
-
# PATH needs CR, and LINENO needs CR and PATH.
# Avoid depending upon Character Ranges.
as_cr_letters='abcdefghijklmnopqrstuvwxyz'
# The user is always right.
if test "${PATH_SEPARATOR+set}" != set; then
- echo "#! /bin/sh" >conf$$.sh
- echo "exit 0" >>conf$$.sh
- chmod +x conf$$.sh
- if (PATH="/nonexistent;."; conf$$.sh) >/dev/null 2>&1; then
+ echo "#! /bin/sh" >conftest.sh
+ echo "exit 0" >>conftest.sh
+ chmod +x conftest.sh
+ if (PATH=".;."; conftest.sh) >/dev/null 2>&1; then
PATH_SEPARATOR=';'
else
PATH_SEPARATOR=:
fi
- rm -f conf$$.sh
+ rm -f conftest.sh
fi
as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
test "x$as_lineno_1" != "x$as_lineno_2" &&
test "x$as_lineno_3" = "x$as_lineno_2" ') 2>/dev/null; then
- $as_unset BASH_ENV || test "${BASH_ENV+set}" != set || { BASH_ENV=; export BASH_ENV; }
- $as_unset ENV || test "${ENV+set}" != set || { ENV=; export ENV; }
CONFIG_SHELL=$as_dir/$as_base
export CONFIG_SHELL
exec "$CONFIG_SHELL" "$0" ${1+"$@"}
fi
rm -f conf$$ conf$$.exe conf$$.file
-if mkdir -p . 2>/dev/null; then
- as_mkdir_p=:
-else
- as_mkdir_p=false
-fi
-
as_executable_p="test -f"
# Sed expression to map a string onto a valid CPP name.
IFS=" $as_nl"
# CDPATH.
-$as_unset CDPATH
+$as_unset CDPATH || test "${CDPATH+set}" != set || { CDPATH=$PATH_SEPARATOR; export CDPATH; }
# Name of the host.
# Initializations.
#
ac_default_prefix=/usr/local
-ac_config_libobj_dir=.
cross_compiling=no
subdirs=
MFLAGS=
# Identity of this package.
PACKAGE_NAME='Splint'
PACKAGE_TARNAME='splint'
-PACKAGE_VERSION='3.1.1'
-PACKAGE_STRING='Splint 3.1.1'
+PACKAGE_VERSION='3.1.1.1'
+PACKAGE_STRING='Splint 3.1.1.1'
PACKAGE_BUGREPORT='splint-bug@splint.org'
ac_unique_file="src/lclinit.c"
-ac_subst_vars='SHELL PATH_SEPARATOR PACKAGE_NAME PACKAGE_TARNAME PACKAGE_VERSION PACKAGE_STRING PACKAGE_BUGREPORT exec_prefix prefix program_transform_name bindir sbindir libexecdir datadir sysconfdir sharedstatedir localstatedir libdir includedir oldincludedir infodir mandir build_alias host_alias target_alias DEFS ECHO_C ECHO_N ECHO_T LIBS build build_cpu build_vendor build_os host host_cpu host_vendor host_os target target_cpu target_vendor target_os INSTALL_PROGRAM INSTALL_SCRIPT INSTALL_DATA PACKAGE VERSION ACLOCAL AUTOCONF AUTOMAKE AUTOHEADER MAKEINFO AMTAR install_sh STRIP ac_ct_STRIP INSTALL_STRIP_PROGRAM AWK SET_MAKE CC CFLAGS LDFLAGS CPPFLAGS ac_ct_CC EXEEXT OBJEXT DEPDIR am__include am__quote AMDEP_TRUE AMDEP_FALSE AMDEPBACKSLASH CCDEPMODE CPP LEX LEXLIB LEX_OUTPUT_ROOT LN_S BISON GREP DIFF CAT RM MV CP SED LCLOBJ LIBOBJS LTLIBOBJS'
-ac_subst_files=''
# Initialize some variables set by options.
ac_init_help=
{ (exit 1); exit 1; }; }
fi
fi
-(cd $srcdir && test -r ./$ac_unique_file) 2>/dev/null ||
- { echo "$as_me: error: sources are in $srcdir, but \`cd $srcdir' does not work" >&2
- { (exit 1); exit 1; }; }
srcdir=`echo "$srcdir" | sed 's%\([^\\/]\)[\\/]*$%\1%'`
ac_env_build_alias_set=${build_alias+set}
ac_env_build_alias_value=$build_alias
# 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.1.1 to adapt to many kinds of systems.
+\`configure' configures Splint 3.1.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.1.1:";;
+ short | recursive ) echo "Configuration of Splint 3.1.1.1:";;
esac
cat <<\_ACEOF
# Don't blindly perform a `cd "$ac_dir"/$ac_foo && pwd` since $ac_foo can be
# absolute.
ac_abs_builddir=`cd "$ac_dir" && cd $ac_builddir && pwd`
-ac_abs_top_builddir=`cd "$ac_dir" && cd ${ac_top_builddir}. && pwd`
+ac_abs_top_builddir=`cd "$ac_dir" && cd $ac_top_builddir && pwd`
ac_abs_srcdir=`cd "$ac_dir" && cd $ac_srcdir && pwd`
ac_abs_top_srcdir=`cd "$ac_dir" && cd $ac_top_srcdir && pwd`
test -n "$ac_init_help" && exit 0
if $ac_init_version; then
cat <<\_ACEOF
-Splint configure 3.1.1
-generated by GNU Autoconf 2.57
+Splint configure 3.1.1.1
+generated by GNU Autoconf 2.53
Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, 2002
Free Software Foundation, Inc.
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.1.1, which was
-generated by GNU Autoconf 2.57. Invocation command line was
+It was created by Splint $as_me 3.1.1.1, which was
+generated by GNU Autoconf 2.53. Invocation command line was
$ $0 $@
# Keep a trace of the command line.
# Strip out --no-create and --no-recursion so they do not pile up.
-# Strip out --silent because we don't want to record it for future runs.
# Also quote any args containing shell meta-characters.
-# Make two passes to allow for proper duplicate-argument suppression.
ac_configure_args=
-ac_configure_args0=
-ac_configure_args1=
ac_sep=
-ac_must_keep_next=false
-for ac_pass in 1 2
+for ac_arg
do
- for ac_arg
- do
- case $ac_arg in
- -no-create | --no-c* | -n | -no-recursion | --no-r*) continue ;;
- -q | -quiet | --quiet | --quie | --qui | --qu | --q \
- | -silent | --silent | --silen | --sile | --sil)
- continue ;;
- *" "*|*" "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?\"\']*)
- ac_arg=`echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
- esac
- case $ac_pass in
- 1) ac_configure_args0="$ac_configure_args0 '$ac_arg'" ;;
- 2)
- ac_configure_args1="$ac_configure_args1 '$ac_arg'"
- if test $ac_must_keep_next = true; then
- ac_must_keep_next=false # Got value, back to normal.
- else
- case $ac_arg in
- *=* | --config-cache | -C | -disable-* | --disable-* \
- | -enable-* | --enable-* | -gas | --g* | -nfp | --nf* \
- | -q | -quiet | --q* | -silent | --sil* | -v | -verb* \
- | -with-* | --with-* | -without-* | --without-* | --x)
- case "$ac_configure_args0 " in
- "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;
- esac
- ;;
- -* ) ac_must_keep_next=true ;;
- esac
- fi
- ac_configure_args="$ac_configure_args$ac_sep'$ac_arg'"
- # Get rid of the leading space.
- ac_sep=" "
- ;;
- esac
- done
+ case $ac_arg in
+ -no-create | --no-create | --no-creat | --no-crea | --no-cre \
+ | --no-cr | --no-c | -n ) continue ;;
+ -no-recursion | --no-recursion | --no-recursio | --no-recursi \
+ | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
+ continue ;;
+ *" "*|*" "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?\"\']*)
+ ac_arg=`echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
+ esac
+ case " $ac_configure_args " in
+ *" '$ac_arg' "*) ;; # Avoid dups. Use of quotes ensures accuracy.
+ *) ac_configure_args="$ac_configure_args$ac_sep'$ac_arg'"
+ ac_sep=" " ;;
+ esac
+ # Get rid of the leading space.
done
-$as_unset ac_configure_args0 || test "${ac_configure_args0+set}" != set || { ac_configure_args0=; export ac_configure_args0; }
-$as_unset ac_configure_args1 || test "${ac_configure_args1+set}" != set || { ac_configure_args1=; export ac_configure_args1; }
# When interrupted or exit'd, cleanup temporary files, and complete
# config.log. We remove comments because anyway the quotes in there
# Save into config.log some information that might help in debugging.
{
echo
-
cat <<\_ASBOX
## ---------------- ##
## Cache variables. ##
esac;
}
echo
-
- cat <<\_ASBOX
-## ----------------- ##
-## Output variables. ##
-## ----------------- ##
-_ASBOX
- echo
- for ac_var in $ac_subst_vars
- do
- eval ac_val=$`echo $ac_var`
- echo "$ac_var='"'"'$ac_val'"'"'"
- done | sort
- echo
-
- if test -n "$ac_subst_files"; then
- cat <<\_ASBOX
-## ------------- ##
-## Output files. ##
-## ------------- ##
-_ASBOX
- echo
- for ac_var in $ac_subst_files
- do
- eval ac_val=$`echo $ac_var`
- echo "$ac_var='"'"'$ac_val'"'"'"
- done | sort
- echo
- fi
-
if test -s confdefs.h; then
cat <<\_ASBOX
## ----------- ##
## ----------- ##
_ASBOX
echo
- sed "/^$/d" confdefs.h | sort
+ sed "/^$/d" confdefs.h
echo
fi
test "$ac_signal" != 0 &&
-
ac_aux_dir=
test -n "$AWK" && break
done
-echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \$(MAKE)" >&5
-echo $ECHO_N "checking whether ${MAKE-make} sets \$(MAKE)... $ECHO_C" >&6
+echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \${MAKE}" >&5
+echo $ECHO_N "checking whether ${MAKE-make} sets \${MAKE}... $ECHO_C" >&6
set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y,./+-,__p_,'`
if eval "test \"\${ac_cv_prog_make_${ac_make}_set+set}\" = set"; then
echo $ECHO_N "(cached) $ECHO_C" >&6
else
cat >conftest.make <<\_ACEOF
all:
- @echo 'ac_maketemp="$(MAKE)"'
+ @echo 'ac_maketemp="${MAKE}"'
_ACEOF
# GNU make sometimes prints "make[1]: Entering...", which would confuse us.
eval `${MAKE-make} -f conftest.make 2>/dev/null | grep temp=`
# Define the identity of the package.
PACKAGE=splint
- VERSION=3.1.1
+ VERSION=3.1.1.1
# Some tools Automake needs.
# Add the stamp file to the list of files AC keeps track of,
# along with our hook.
- ac_config_headers="$ac_config_headers config.h:config.hin"
+ac_config_headers="$ac_config_headers config.h:config.hin"
# However, it has the same basename, so the bogon will be chosen
# first if we set CC to just the basename; use the full file name.
shift
- ac_cv_prog_CC="$as_dir/$ac_word${1+' '}$@"
+ set dummy "$as_dir/$ac_word" ${1+"$@"}
+ shift
+ ac_cv_prog_CC="$@"
fi
fi
fi
fi
-test -z "$CC" && { { echo "$as_me:$LINENO: error: no acceptable C compiler found in \$PATH
-See \`config.log' for more details." >&5
-echo "$as_me: error: no acceptable C compiler found in \$PATH
-See \`config.log' for more details." >&2;}
+test -z "$CC" && { { echo "$as_me:$LINENO: error: no acceptable C compiler found in \$PATH" >&5
+echo "$as_me: error: no acceptable C compiler found in \$PATH" >&2;}
{ (exit 1); exit 1; }; }
# Provide some information about the compiler.
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
}
_ACEOF
ac_clean_files_save=$ac_clean_files
-ac_clean_files="$ac_clean_files a.out a.exe b.out"
+ac_clean_files="$ac_clean_files a.out a.exe"
# Try to create an executable without -o first, disregard a.out.
# It will help us diagnose broken compilers, and finding out an intuition
# of exeext.
# Be careful to initialize this variable, since it used to be cached.
# Otherwise an old cache value of `no' led to `EXEEXT = no' in a Makefile.
ac_cv_exeext=
-# b.out is created by i960 compilers.
-for ac_file in a_out.exe a.exe conftest.exe a.out conftest a.* conftest.* b.out
-do
- test -f "$ac_file" || continue
+for ac_file in `ls a_out.exe a.exe conftest.exe 2>/dev/null;
+ ls a.out conftest 2>/dev/null;
+ ls a.* conftest.* 2>/dev/null`; do
case $ac_file in
- *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.o | *.obj )
- ;;
- conftest.$ac_ext )
- # This is the source file.
- ;;
- [ab].out )
- # We found the default executable, but exeext='' is most
- # certainly right.
- break;;
- *.* )
- ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
- # FIXME: I believe we export ac_cv_exeext for Libtool,
- # but it would be cool to find out if it's true. Does anybody
- # maintain Libtool? --akim.
- export ac_cv_exeext
- break;;
- * )
- break;;
+ *.$ac_ext | *.o | *.obj | *.xcoff | *.tds | *.d | *.pdb | *.xSYM ) ;;
+ a.out ) # We found the default executable, but exeext='' is most
+ # certainly right.
+ break;;
+ *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
+ # FIXME: I believe we export ac_cv_exeext for Libtool --akim.
+ export ac_cv_exeext
+ break;;
+ * ) break;;
esac
done
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
-{ { echo "$as_me:$LINENO: error: C compiler cannot create executables
-See \`config.log' for more details." >&5
-echo "$as_me: error: C compiler cannot create executables
-See \`config.log' for more details." >&2;}
+cat conftest.$ac_ext >&5
+{ { echo "$as_me:$LINENO: error: C compiler cannot create executables" >&5
+echo "$as_me: error: C compiler cannot create executables" >&2;}
{ (exit 77); exit 77; }; }
fi
cross_compiling=yes
else
{ { echo "$as_me:$LINENO: error: cannot run C compiled programs.
-If you meant to cross compile, use \`--host'.
-See \`config.log' for more details." >&5
+If you meant to cross compile, use \`--host'." >&5
echo "$as_me: error: cannot run C compiled programs.
-If you meant to cross compile, use \`--host'.
-See \`config.log' for more details." >&2;}
+If you meant to cross compile, use \`--host'." >&2;}
{ (exit 1); exit 1; }; }
fi
fi
echo "$as_me:$LINENO: result: yes" >&5
echo "${ECHO_T}yes" >&6
-rm -f a.out a.exe conftest$ac_cv_exeext b.out
+rm -f a.out a.exe conftest$ac_cv_exeext
ac_clean_files=$ac_clean_files_save
# Check the compiler produces executables we can run. If not, either
# the compiler is broken, or we cross compile.
# catch `conftest.exe'. For instance with Cygwin, `ls conftest' will
# work properly (i.e., refer to `conftest.exe'), while it won't with
# `rm'.
-for ac_file in conftest.exe conftest conftest.*; do
- test -f "$ac_file" || continue
+for ac_file in `(ls conftest.exe; ls conftest; ls conftest.*) 2>/dev/null`; do
case $ac_file in
- *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.o | *.obj ) ;;
+ *.$ac_ext | *.o | *.obj | *.xcoff | *.tds | *.d | *.pdb ) ;;
*.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
export ac_cv_exeext
break;;
esac
done
else
- { { echo "$as_me:$LINENO: error: cannot compute suffix of executables: cannot compile and link
-See \`config.log' for more details." >&5
-echo "$as_me: error: cannot compute suffix of executables: cannot compile and link
-See \`config.log' for more details." >&2;}
+ { { echo "$as_me:$LINENO: error: cannot compute suffix of executables: cannot compile and link" >&5
+echo "$as_me: error: cannot compute suffix of executables: cannot compile and link" >&2;}
{ (exit 1); exit 1; }; }
fi
else
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
(exit $ac_status); }; then
for ac_file in `(ls conftest.o conftest.obj; ls conftest.*) 2>/dev/null`; do
case $ac_file in
- *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg ) ;;
+ *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb ) ;;
*) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
break;;
esac
done
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
-{ { echo "$as_me:$LINENO: error: cannot compute suffix of object files: cannot compile
-See \`config.log' for more details." >&5
-echo "$as_me: error: cannot compute suffix of object files: cannot compile
-See \`config.log' for more details." >&2;}
+cat conftest.$ac_ext >&5
+{ { echo "$as_me:$LINENO: error: cannot compute suffix of object files: cannot compile" >&5
+echo "$as_me: error: cannot compute suffix of object files: cannot compile" >&2;}
{ (exit 1); exit 1; }; }
fi
else
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
ac_compiler_gnu=yes
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5
ac_compiler_gnu=no
fi
rm -f conftest.$ac_objext conftest.$ac_ext
else
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
ac_cv_prog_cc_g=yes
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5
ac_cv_prog_cc_g=no
fi
rm -f conftest.$ac_objext conftest.$ac_ext
CFLAGS=
fi
fi
-echo "$as_me:$LINENO: checking for $CC option to accept ANSI C" >&5
-echo $ECHO_N "checking for $CC option to accept ANSI C... $ECHO_C" >&6
-if test "${ac_cv_prog_cc_stdc+set}" = set; then
- echo $ECHO_N "(cached) $ECHO_C" >&6
-else
- ac_cv_prog_cc_stdc=no
-ac_save_CC=$CC
-cat >conftest.$ac_ext <<_ACEOF
-#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
-#include <stdarg.h>
-#include <stdio.h>
-#include <sys/types.h>
-#include <sys/stat.h>
-/* Most of the following tests are stolen from RCS 5.7's src/conf.sh. */
-struct buf { int x; };
-FILE * (*rcsopen) (struct buf *, struct stat *, int);
-static char *e (p, i)
- char **p;
- int i;
-{
- return p[i];
-}
-static char *f (char * (*g) (char **, int), char **p, ...)
-{
- char *s;
- va_list v;
- va_start (v,p);
- s = g (p, va_arg (v,int));
- va_end (v);
- return s;
-}
-int test (int i, double x);
-struct s1 {int (*f) (int a);};
-struct s2 {int (*f) (double a);};
-int pairnames (int, char **, FILE *(*)(struct buf *, struct stat *, int), int, int);
-int argc;
-char **argv;
-int
-main ()
-{
-return f (e, argv, 0) != argv[0] || f (e, argv, 1) != argv[1];
- ;
- return 0;
-}
-_ACEOF
-# Don't try gcc -ansi; that turns off useful extensions and
-# breaks some systems' header files.
-# AIX -qlanglvl=ansi
-# Ultrix and OSF/1 -std1
-# HP-UX 10.20 and later -Ae
-# HP-UX older versions -Aa -D_HPUX_SOURCE
-# SVR4 -Xc -D__EXTENSIONS__
-for ac_arg in "" -qlanglvl=ansi -std1 -Ae "-Aa -D_HPUX_SOURCE" "-Xc -D__EXTENSIONS__"
-do
- CC="$ac_save_CC $ac_arg"
- rm -f conftest.$ac_objext
-if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
- (eval $ac_compile) 2>&5
- ac_status=$?
- echo "$as_me:$LINENO: \$? = $ac_status" >&5
- (exit $ac_status); } &&
- { ac_try='test -s conftest.$ac_objext'
- { (eval echo "$as_me:$LINENO: \"$ac_try\"") >&5
- (eval $ac_try) 2>&5
- ac_status=$?
- echo "$as_me:$LINENO: \$? = $ac_status" >&5
- (exit $ac_status); }; }; then
- ac_cv_prog_cc_stdc=$ac_arg
-break
-else
- echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
-fi
-rm -f conftest.$ac_objext
-done
-rm -f conftest.$ac_ext conftest.$ac_objext
-CC=$ac_save_CC
-
-fi
-
-case "x$ac_cv_prog_cc_stdc" in
- x|xno)
- echo "$as_me:$LINENO: result: none needed" >&5
-echo "${ECHO_T}none needed" >&6 ;;
- *)
- echo "$as_me:$LINENO: result: $ac_cv_prog_cc_stdc" >&5
-echo "${ECHO_T}$ac_cv_prog_cc_stdc" >&6
- CC="$CC $ac_cv_prog_cc_stdc" ;;
-esac
-
# Some people use a C++ compiler to compile C. Since we use `exit',
# in C++ we need to declare it. In case someone uses the same compiler
# for both compiling C and C++ we need to have the C++ compiler decide
do
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
#include <stdlib.h>
$ac_declaration
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
:
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5
continue
fi
rm -f conftest.$ac_objext conftest.$ac_ext
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
$ac_declaration
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
break
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5
fi
rm -f conftest.$ac_objext conftest.$ac_ext
done
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5
fi
rm -f conftest.$ac_objext conftest.$ac_ext
ac_ext=c
rmdir .deps 2>/dev/null
- ac_config_commands="$ac_config_commands depfiles"
+ac_config_commands="$ac_config_commands depfiles"
am_make=${MAKE-make}
do
# Use a header file that comes with gcc, so configuring glibc
# with a fresh cross-compiler works.
- # Prefer <limits.h> to <assert.h> if __STDC__ is defined, since
- # <limits.h> exists even on freestanding compilers.
# On the NeXT, cc -E runs the code through the compiler's parser,
# not just through cpp. "Syntax error" is here to catch this case.
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
-#ifdef __STDC__
-# include <limits.h>
-#else
-# include <assert.h>
-#endif
+#include "confdefs.h"
+#include <assert.h>
Syntax error
_ACEOF
if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
(eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
ac_status=$?
- grep -v '^ *+' conftest.er1 >conftest.err
+ egrep -v '^ *\+' conftest.er1 >conftest.err
rm -f conftest.er1
cat conftest.err >&5
echo "$as_me:$LINENO: \$? = $ac_status" >&5
:
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+ cat conftest.$ac_ext >&5
# Broken: fails on valid input.
continue
fi
# can be detected and how.
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
#include <ac_nonexistent.h>
_ACEOF
if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
(eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
ac_status=$?
- grep -v '^ *+' conftest.er1 >conftest.err
+ egrep -v '^ *\+' conftest.er1 >conftest.err
rm -f conftest.er1
cat conftest.err >&5
echo "$as_me:$LINENO: \$? = $ac_status" >&5
continue
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+ cat conftest.$ac_ext >&5
# Passes both tests.
ac_preproc_ok=:
break
do
# Use a header file that comes with gcc, so configuring glibc
# with a fresh cross-compiler works.
- # Prefer <limits.h> to <assert.h> if __STDC__ is defined, since
- # <limits.h> exists even on freestanding compilers.
# On the NeXT, cc -E runs the code through the compiler's parser,
# not just through cpp. "Syntax error" is here to catch this case.
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
-#ifdef __STDC__
-# include <limits.h>
-#else
-# include <assert.h>
-#endif
+#include "confdefs.h"
+#include <assert.h>
Syntax error
_ACEOF
if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
(eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
ac_status=$?
- grep -v '^ *+' conftest.er1 >conftest.err
+ egrep -v '^ *\+' conftest.er1 >conftest.err
rm -f conftest.er1
cat conftest.err >&5
echo "$as_me:$LINENO: \$? = $ac_status" >&5
:
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+ cat conftest.$ac_ext >&5
# Broken: fails on valid input.
continue
fi
# can be detected and how.
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
#include <ac_nonexistent.h>
_ACEOF
if { (eval echo "$as_me:$LINENO: \"$ac_cpp conftest.$ac_ext\"") >&5
(eval $ac_cpp conftest.$ac_ext) 2>conftest.er1
ac_status=$?
- grep -v '^ *+' conftest.er1 >conftest.err
+ egrep -v '^ *\+' conftest.er1 >conftest.err
rm -f conftest.er1
cat conftest.err >&5
echo "$as_me:$LINENO: \$? = $ac_status" >&5
continue
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+ cat conftest.$ac_ext >&5
# Passes both tests.
ac_preproc_ok=:
break
if $ac_preproc_ok; then
:
else
- { { echo "$as_me:$LINENO: error: C preprocessor \"$CPP\" fails sanity check
-See \`config.log' for more details." >&5
-echo "$as_me: error: C preprocessor \"$CPP\" fails sanity check
-See \`config.log' for more details." >&2;}
+ { { echo "$as_me:$LINENO: error: C preprocessor \"$CPP\" fails sanity check" >&5
+echo "$as_me: error: C preprocessor \"$CPP\" fails sanity check" >&2;}
{ (exit 1); exit 1; }; }
fi
LIBS="-lfl $LIBS"
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
/* Override any gcc2 internal prototype to avoid an error. */
#ifdef __cplusplus
/* We use char because int might match the return type of a gcc2
builtin and then its argument prototype would still apply. */
char yywrap ();
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
ac_cv_lib_fl_yywrap=yes
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5
ac_cv_lib_fl_yywrap=no
fi
rm -f conftest.$ac_objext conftest$ac_exeext conftest.$ac_ext
LIBS="-ll $LIBS"
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
/* Override any gcc2 internal prototype to avoid an error. */
#ifdef __cplusplus
/* We use char because int might match the return type of a gcc2
builtin and then its argument prototype would still apply. */
char yywrap ();
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
ac_cv_lib_l_yywrap=yes
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5
ac_cv_lib_l_yywrap=no
fi
rm -f conftest.$ac_objext conftest$ac_exeext conftest.$ac_ext
ac_cv_prog_lex_yytext_pointer=yes
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5
fi
rm -f conftest.$ac_objext conftest$ac_exeext conftest.$ac_ext
LIBS=$ac_save_LIBS
test -z "$INSTALL_DATA" && INSTALL_DATA='${INSTALL} -m 644'
-echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \$(MAKE)" >&5
-echo $ECHO_N "checking whether ${MAKE-make} sets \$(MAKE)... $ECHO_C" >&6
+echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \${MAKE}" >&5
+echo $ECHO_N "checking whether ${MAKE-make} sets \${MAKE}... $ECHO_C" >&6
set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y,./+-,__p_,'`
if eval "test \"\${ac_cv_prog_make_${ac_make}_set+set}\" = set"; then
echo $ECHO_N "(cached) $ECHO_C" >&6
else
cat >conftest.make <<\_ACEOF
all:
- @echo 'ac_maketemp="$(MAKE)"'
+ @echo 'ac_maketemp="${MAKE}"'
_ACEOF
# GNU make sometimes prints "make[1]: Entering...", which would confuse us.
eval `${MAKE-make} -f conftest.make 2>/dev/null | grep temp=`
all=no
cat >conftest.$ac_ext <<_ACEOF
#line $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
#include <stdio.h>
mode_t x;
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
:
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&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 $LINENO "configure"
-/* confdefs.h. */
-_ACEOF
-cat confdefs.h >>conftest.$ac_ext
-cat >>conftest.$ac_ext <<_ACEOF
-/* end confdefs.h. */
+#include "confdefs.h"
#define _ALL_SOURCE
#include <stdio.h>
mode_t x;
+#ifdef F77_DUMMY_MAIN
+# ifdef __cplusplus
+ extern "C"
+# endif
+ int F77_DUMMY_MAIN() { return 1; }
+#endif
int
main ()
{
all=yes
else
echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
+cat conftest.$ac_ext >&5
fi
rm -f conftest.$ac_objext conftest.$ac_ext
fi
# These used to be in herald.h
-LCL_PARSE_VERSION="Splint 3.1.1"
+LCL_PARSE_VERSION="Splint 3.1.1.1"
cat >>confdefs.h <<_ACEOF
#define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
- ac_config_files="$ac_config_files Makefile imports/Makefile lib/Makefile src/Makefile test/Makefile doc/Makefile bin/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 only pays attention to the cache file if you give it
# the --recheck option to rerun configure.
#
-# `ac_cv_env_foo' variables (set or unset) will be overridden when
+# `ac_cv_env_foo' variables (set or unset) will be overriden when
# loading this file, other *unset* `ac_cv_foo' will be assigned the
# following values.
t end
/^ac_cv_env/!s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
: end' >>confcache
-if diff $cache_file confcache >/dev/null 2>&1; then :; else
+if cmp -s $cache_file confcache; then :; else
if test -w $cache_file; then
test "x$cache_file" != "x/dev/null" && echo "updating cache $cache_file"
cat confcache >$cache_file
DEFS=-DHAVE_CONFIG_H
-ac_libobjs=
-ac_ltlibobjs=
-for ac_i in : $LIBOBJS; do test "x$ac_i" = x: && continue
- # 1. Remove the extension, and $U if already installed.
- ac_i=`echo "$ac_i" |
- sed 's/\$U\././;s/\.o$//;s/\.obj$//'`
- # 2. Add them.
- ac_libobjs="$ac_libobjs $ac_i\$U.$ac_objext"
- ac_ltlibobjs="$ac_ltlibobjs $ac_i"'$U.lo'
-done
-LIBOBJS=$ac_libobjs
-
-LTLIBOBJS=$ac_ltlibobjs
-
-
if test -z "${AMDEP_TRUE}" && test -z "${AMDEP_FALSE}"; then
{ { echo "$as_me:$LINENO: error: conditional \"AMDEP\" was never defined.
Usually this means the macro was only invoked conditionally." >&5
# configure, is in config.log if it exists.
debug=false
-ac_cs_recheck=false
-ac_cs_silent=false
SHELL=\${CONFIG_SHELL-$SHELL}
_ACEOF
cat >>$CONFIG_STATUS <<\_ACEOF
+
## --------------------- ##
## M4sh Initialization. ##
## --------------------- ##
if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
emulate sh
NULLCMD=:
- # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which
- # is contrary to our usage. Disable this feature.
- alias -g '${1+"$@"}'='"$@"'
elif test -n "${BASH_VERSION+set}" && (set -o posix) >/dev/null 2>&1; then
set -o posix
fi
+# NLS nuisances.
# Support unset when possible.
if (FOO=FOO; unset FOO) >/dev/null 2>&1; then
as_unset=unset
as_unset=false
fi
-
-# Work around bugs in pre-3.0 UWIN ksh.
-$as_unset ENV MAIL MAILPATH
-PS1='$ '
-PS2='> '
-PS4='+ '
-
-# NLS nuisances.
-for as_var in \
- LANG LANGUAGE LC_ADDRESS LC_ALL LC_COLLATE LC_CTYPE LC_IDENTIFICATION \
- LC_MEASUREMENT LC_MESSAGES LC_MONETARY LC_NAME LC_NUMERIC LC_PAPER \
- LC_TELEPHONE LC_TIME
-do
- if (set +x; test -n "`(eval $as_var=C; export $as_var) 2>&1`"); then
- eval $as_var=C; export $as_var
- else
- $as_unset $as_var
- fi
-done
-
-# Required to use basename.
-if expr a : '\(a\)' >/dev/null 2>&1; then
- as_expr=expr
-else
- as_expr=false
-fi
-
-if (basename /) >/dev/null 2>&1 && test "X`basename / 2>&1`" = "X/"; then
- as_basename=basename
-else
- as_basename=false
-fi
+(set +x; test -n "`(LANG=C; export LANG) 2>&1`") &&
+ { $as_unset LANG || test "${LANG+set}" != set; } ||
+ { LANG=C; export LANG; }
+(set +x; test -n "`(LC_ALL=C; export LC_ALL) 2>&1`") &&
+ { $as_unset LC_ALL || test "${LC_ALL+set}" != set; } ||
+ { LC_ALL=C; export LC_ALL; }
+(set +x; test -n "`(LC_TIME=C; export LC_TIME) 2>&1`") &&
+ { $as_unset LC_TIME || test "${LC_TIME+set}" != set; } ||
+ { LC_TIME=C; export LC_TIME; }
+(set +x; test -n "`(LC_CTYPE=C; export LC_CTYPE) 2>&1`") &&
+ { $as_unset LC_CTYPE || test "${LC_CTYPE+set}" != set; } ||
+ { LC_CTYPE=C; export LC_CTYPE; }
+(set +x; test -n "`(LANGUAGE=C; export LANGUAGE) 2>&1`") &&
+ { $as_unset LANGUAGE || test "${LANGUAGE+set}" != set; } ||
+ { LANGUAGE=C; export LANGUAGE; }
+(set +x; test -n "`(LC_COLLATE=C; export LC_COLLATE) 2>&1`") &&
+ { $as_unset LC_COLLATE || test "${LC_COLLATE+set}" != set; } ||
+ { LC_COLLATE=C; export LC_COLLATE; }
+(set +x; test -n "`(LC_NUMERIC=C; export LC_NUMERIC) 2>&1`") &&
+ { $as_unset LC_NUMERIC || test "${LC_NUMERIC+set}" != set; } ||
+ { LC_NUMERIC=C; export LC_NUMERIC; }
+(set +x; test -n "`(LC_MESSAGES=C; export LC_MESSAGES) 2>&1`") &&
+ { $as_unset LC_MESSAGES || test "${LC_MESSAGES+set}" != set; } ||
+ { LC_MESSAGES=C; export LC_MESSAGES; }
# Name of the executable.
-as_me=`$as_basename "$0" ||
+as_me=`(basename "$0") 2>/dev/null ||
$as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
X"$0" : 'X\(//\)$' \| \
X"$0" : 'X\(/\)$' \| \
/^X\/\(\/\).*/{ s//\1/; q; }
s/.*/./; q'`
-
# PATH needs CR, and LINENO needs CR and PATH.
# Avoid depending upon Character Ranges.
as_cr_letters='abcdefghijklmnopqrstuvwxyz'
# The user is always right.
if test "${PATH_SEPARATOR+set}" != set; then
- echo "#! /bin/sh" >conf$$.sh
- echo "exit 0" >>conf$$.sh
- chmod +x conf$$.sh
- if (PATH="/nonexistent;."; conf$$.sh) >/dev/null 2>&1; then
+ echo "#! /bin/sh" >conftest.sh
+ echo "exit 0" >>conftest.sh
+ chmod +x conftest.sh
+ if (PATH=".;."; conftest.sh) >/dev/null 2>&1; then
PATH_SEPARATOR=';'
else
PATH_SEPARATOR=:
fi
- rm -f conf$$.sh
+ rm -f conftest.sh
fi
as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
test "x$as_lineno_1" != "x$as_lineno_2" &&
test "x$as_lineno_3" = "x$as_lineno_2" ') 2>/dev/null; then
- $as_unset BASH_ENV || test "${BASH_ENV+set}" != set || { BASH_ENV=; export BASH_ENV; }
- $as_unset ENV || test "${ENV+set}" != set || { ENV=; export ENV; }
CONFIG_SHELL=$as_dir/$as_base
export CONFIG_SHELL
exec "$CONFIG_SHELL" "$0" ${1+"$@"}
fi
rm -f conf$$ conf$$.exe conf$$.file
-if mkdir -p . 2>/dev/null; then
- as_mkdir_p=:
-else
- as_mkdir_p=false
-fi
-
as_executable_p="test -f"
# Sed expression to map a string onto a valid CPP name.
IFS=" $as_nl"
# CDPATH.
-$as_unset CDPATH
+$as_unset CDPATH || test "${CDPATH+set}" != set || { CDPATH=$PATH_SEPARATOR; export CDPATH; }
exec 6>&1
} >&5
cat >&5 <<_CSEOF
-This file was extended by Splint $as_me 3.1.1, which was
-generated by GNU Autoconf 2.57. Invocation command line was
+This file was extended by Splint $as_me 3.1.1.1, which was
+generated by GNU Autoconf 2.53. Invocation command line was
CONFIG_FILES = $CONFIG_FILES
CONFIG_HEADERS = $CONFIG_HEADERS
-h, --help print this help, then exit
-V, --version print version number, then exit
- -q, --quiet do not print progress messages
-d, --debug don't remove temporary files
--recheck update $as_me by reconfiguring in the same conditions
--file=FILE[:TEMPLATE]
cat >>$CONFIG_STATUS <<_ACEOF
ac_cs_version="\\
-Splint config.status 3.1.1
-configured by $0, generated by GNU Autoconf 2.57,
+Splint config.status 3.1.1.1
+configured by $0, generated by GNU Autoconf 2.53,
with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
--*=*)
ac_option=`expr "x$1" : 'x\([^=]*\)='`
ac_optarg=`expr "x$1" : 'x[^=]*=\(.*\)'`
- ac_shift=:
- ;;
- -*)
- ac_option=$1
- ac_optarg=$2
- ac_shift=shift
+ shift
+ set dummy "$ac_option" "$ac_optarg" ${1+"$@"}
+ shift
;;
+ -*);;
*) # This is not an option, so the user has probably given explicit
# arguments.
- ac_option=$1
ac_need_defaults=false;;
esac
- case $ac_option in
+ case $1 in
# Handling of the options.
_ACEOF
-cat >>$CONFIG_STATUS <<\_ACEOF
+cat >>$CONFIG_STATUS <<_ACEOF
-recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
- ac_cs_recheck=: ;;
+ echo "running $SHELL $0 " $ac_configure_args " --no-create --no-recursion"
+ exec $SHELL $0 $ac_configure_args --no-create --no-recursion ;;
+_ACEOF
+cat >>$CONFIG_STATUS <<\_ACEOF
--version | --vers* | -V )
echo "$ac_cs_version"; exit 0 ;;
--he | --h)
--debug | --d* | -d )
debug=: ;;
--file | --fil | --fi | --f )
- $ac_shift
- CONFIG_FILES="$CONFIG_FILES $ac_optarg"
+ shift
+ CONFIG_FILES="$CONFIG_FILES $1"
ac_need_defaults=false;;
--header | --heade | --head | --hea )
- $ac_shift
- CONFIG_HEADERS="$CONFIG_HEADERS $ac_optarg"
+ shift
+ CONFIG_HEADERS="$CONFIG_HEADERS $1"
ac_need_defaults=false;;
- -q | -quiet | --quiet | --quie | --qui | --qu | --q \
- | -silent | --silent | --silen | --sile | --sil | --si | --s)
- ac_cs_silent=: ;;
# This is an error.
-*) { { echo "$as_me:$LINENO: error: unrecognized option: $1
shift
done
-ac_configure_extra_args=
-
-if $ac_cs_silent; then
- exec 6>/dev/null
- ac_configure_extra_args="$ac_configure_extra_args --silent"
-fi
-
-_ACEOF
-cat >>$CONFIG_STATUS <<_ACEOF
-if \$ac_cs_recheck; then
- echo "running $SHELL $0 " $ac_configure_args \$ac_configure_extra_args " --no-create --no-recursion" >&6
- exec $SHELL $0 $ac_configure_args \$ac_configure_extra_args --no-create --no-recursion
-fi
-
_ACEOF
cat >>$CONFIG_STATUS <<_ACEOF
test "${CONFIG_COMMANDS+set}" = set || CONFIG_COMMANDS=$config_commands
fi
-# Have a temporary directory for convenience. Make it in the build tree
-# simply because there is no reason to put it here, and in addition,
-# creating and moving files from /tmp can sometimes cause problems.
# Create a temporary directory, and hook for its removal unless debugging.
$debug ||
{
}
# Create a (secure) tmp directory for tmp files.
-
+: ${TMPDIR=/tmp}
{
- tmp=`(umask 077 && mktemp -d -q "./confstatXXXXXX") 2>/dev/null` &&
+ tmp=`(umask 077 && mktemp -d -q "$TMPDIR/csXXXXXX") 2>/dev/null` &&
test -n "$tmp" && test -d "$tmp"
} ||
{
- tmp=./confstat$$-$RANDOM
+ tmp=$TMPDIR/cs$$-$RANDOM
(umask 077 && mkdir $tmp)
} ||
{
- echo "$me: cannot create a temporary directory in ." >&2
+ echo "$me: cannot create a temporary directory in $TMPDIR" >&2
{ (exit 1); exit 1; }
}
s,@CP@,$CP,;t t
s,@SED@,$SED,;t t
s,@LCLOBJ@,$LCLOBJ,;t t
-s,@LIBOBJS@,$LIBOBJS,;t t
-s,@LTLIBOBJS@,$LTLIBOBJS,;t t
CEOF
_ACEOF
/^X\(\/\/\)$/{ s//\1/; q; }
/^X\(\/\).*/{ s//\1/; q; }
s/.*/./; q'`
- { if $as_mkdir_p; then
- mkdir -p "$ac_dir"
- else
- as_dir="$ac_dir"
- as_dirs=
- while test ! -d "$as_dir"; do
- as_dirs="$as_dir $as_dirs"
- as_dir=`(dirname "$as_dir") 2>/dev/null ||
-$as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
- X"$as_dir" : 'X\(//\)[^/]' \| \
- X"$as_dir" : 'X\(//\)$' \| \
- X"$as_dir" : 'X\(/\)' \| \
- . : '\(.\)' 2>/dev/null ||
-echo X"$as_dir" |
- sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
- /^X\(\/\/\)[^/].*/{ s//\1/; q; }
- /^X\(\/\/\)$/{ s//\1/; q; }
- /^X\(\/\).*/{ s//\1/; q; }
- s/.*/./; q'`
- done
- test ! -n "$as_dirs" || mkdir $as_dirs
- fi || { { echo "$as_me:$LINENO: error: cannot create directory \"$ac_dir\"" >&5
-echo "$as_me: error: cannot create directory \"$ac_dir\"" >&2;}
- { (exit 1); exit 1; }; }; }
+ { case "$ac_dir" in
+ [\\/]* | ?:[\\/]* ) as_incr_dir=;;
+ *) as_incr_dir=.;;
+esac
+as_dummy="$ac_dir"
+for as_mkdir_dir in `IFS='/\\'; set X $as_dummy; shift; echo "$@"`; do
+ case $as_mkdir_dir in
+ # Skip DOS drivespec
+ ?:) as_incr_dir=$as_mkdir_dir ;;
+ *)
+ as_incr_dir=$as_incr_dir/$as_mkdir_dir
+ test -d "$as_incr_dir" ||
+ mkdir "$as_incr_dir" ||
+ { { echo "$as_me:$LINENO: error: cannot create \"$ac_dir\"" >&5
+echo "$as_me: error: cannot create \"$ac_dir\"" >&2;}
+ { (exit 1); exit 1; }; }
+ ;;
+ esac
+done; }
ac_builddir=.
# Don't blindly perform a `cd "$ac_dir"/$ac_foo && pwd` since $ac_foo can be
# absolute.
ac_abs_builddir=`cd "$ac_dir" && cd $ac_builddir && pwd`
-ac_abs_top_builddir=`cd "$ac_dir" && cd ${ac_top_builddir}. && pwd`
+ac_abs_top_builddir=`cd "$ac_dir" && cd $ac_top_builddir && pwd`
ac_abs_srcdir=`cd "$ac_dir" && cd $ac_srcdir && pwd`
ac_abs_top_srcdir=`cd "$ac_dir" && cd $ac_top_srcdir && pwd`
# Break up conftest.defines because some shells have a limit on the size
# of here documents, and old seds have small limits too (100 cmds).
echo ' # Handle all the #define templates only if necessary.' >>$CONFIG_STATUS
-echo ' if grep "^[ ]*#[ ]*define" $tmp/in >/dev/null; then' >>$CONFIG_STATUS
+echo ' if egrep "^[ ]*#[ ]*define" $tmp/in >/dev/null; then' >>$CONFIG_STATUS
echo ' # If there are no defines, we may have an empty if/fi' >>$CONFIG_STATUS
echo ' :' >>$CONFIG_STATUS
rm -f conftest.tail
mv conftest.tail conftest.defines
done
rm -f conftest.defines
-echo ' fi # grep' >>$CONFIG_STATUS
+echo ' fi # egrep' >>$CONFIG_STATUS
echo >>$CONFIG_STATUS
# Break up conftest.undefs because some shells have a limit on the size
cat $tmp/in >>$tmp/config.h
rm -f $tmp/in
if test x"$ac_file" != x-; then
- if diff $ac_file $tmp/config.h >/dev/null 2>&1; then
+ if cmp -s $ac_file $tmp/config.h 2>/dev/null; then
{ echo "$as_me:$LINENO: $ac_file is unchanged" >&5
echo "$as_me: $ac_file is unchanged" >&6;}
else
/^X\(\/\/\)$/{ s//\1/; q; }
/^X\(\/\).*/{ s//\1/; q; }
s/.*/./; q'`
- { if $as_mkdir_p; then
- mkdir -p "$ac_dir"
- else
- as_dir="$ac_dir"
- as_dirs=
- while test ! -d "$as_dir"; do
- as_dirs="$as_dir $as_dirs"
- as_dir=`(dirname "$as_dir") 2>/dev/null ||
-$as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
- X"$as_dir" : 'X\(//\)[^/]' \| \
- X"$as_dir" : 'X\(//\)$' \| \
- X"$as_dir" : 'X\(/\)' \| \
- . : '\(.\)' 2>/dev/null ||
-echo X"$as_dir" |
- sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
- /^X\(\/\/\)[^/].*/{ s//\1/; q; }
- /^X\(\/\/\)$/{ s//\1/; q; }
- /^X\(\/\).*/{ s//\1/; q; }
- s/.*/./; q'`
- done
- test ! -n "$as_dirs" || mkdir $as_dirs
- fi || { { echo "$as_me:$LINENO: error: cannot create directory \"$ac_dir\"" >&5
-echo "$as_me: error: cannot create directory \"$ac_dir\"" >&2;}
- { (exit 1); exit 1; }; }; }
+ { case "$ac_dir" in
+ [\\/]* | ?:[\\/]* ) as_incr_dir=;;
+ *) as_incr_dir=.;;
+esac
+as_dummy="$ac_dir"
+for as_mkdir_dir in `IFS='/\\'; set X $as_dummy; shift; echo "$@"`; do
+ case $as_mkdir_dir in
+ # Skip DOS drivespec
+ ?:) as_incr_dir=$as_mkdir_dir ;;
+ *)
+ as_incr_dir=$as_incr_dir/$as_mkdir_dir
+ test -d "$as_incr_dir" ||
+ mkdir "$as_incr_dir" ||
+ { { echo "$as_me:$LINENO: error: cannot create \"$ac_dir\"" >&5
+echo "$as_me: error: cannot create \"$ac_dir\"" >&2;}
+ { (exit 1); exit 1; }; }
+ ;;
+ esac
+done; }
rm -f $ac_file
mv $tmp/config.h $ac_file
# Don't blindly perform a `cd "$ac_dir"/$ac_foo && pwd` since $ac_foo can be
# absolute.
ac_abs_builddir=`cd "$ac_dir" && cd $ac_builddir && pwd`
-ac_abs_top_builddir=`cd "$ac_dir" && cd ${ac_top_builddir}. && pwd`
+ac_abs_top_builddir=`cd "$ac_dir" && cd $ac_top_builddir && pwd`
ac_abs_srcdir=`cd "$ac_dir" && cd $ac_srcdir && pwd`
ac_abs_top_srcdir=`cd "$ac_dir" && cd $ac_top_srcdir && pwd`
/^X\(\/\/\)$/{ s//\1/; q; }
/^X\(\/\).*/{ s//\1/; q; }
s/.*/./; q'`
- { if $as_mkdir_p; then
- mkdir -p $dirpart/$fdir
- else
- as_dir=$dirpart/$fdir
- as_dirs=
- while test ! -d "$as_dir"; do
- as_dirs="$as_dir $as_dirs"
- as_dir=`(dirname "$as_dir") 2>/dev/null ||
-$as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
- X"$as_dir" : 'X\(//\)[^/]' \| \
- X"$as_dir" : 'X\(//\)$' \| \
- X"$as_dir" : 'X\(/\)' \| \
- . : '\(.\)' 2>/dev/null ||
-echo X"$as_dir" |
- sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
- /^X\(\/\/\)[^/].*/{ s//\1/; q; }
- /^X\(\/\/\)$/{ s//\1/; q; }
- /^X\(\/\).*/{ s//\1/; q; }
- s/.*/./; q'`
- done
- test ! -n "$as_dirs" || mkdir $as_dirs
- fi || { { echo "$as_me:$LINENO: error: cannot create directory $dirpart/$fdir" >&5
-echo "$as_me: error: cannot create directory $dirpart/$fdir" >&2;}
- { (exit 1); exit 1; }; }; }
+ { case $dirpart/$fdir in
+ [\\/]* | ?:[\\/]* ) as_incr_dir=;;
+ *) as_incr_dir=.;;
+esac
+as_dummy=$dirpart/$fdir
+for as_mkdir_dir in `IFS='/\\'; set X $as_dummy; shift; echo "$@"`; do
+ case $as_mkdir_dir in
+ # Skip DOS drivespec
+ ?:) as_incr_dir=$as_mkdir_dir ;;
+ *)
+ as_incr_dir=$as_incr_dir/$as_mkdir_dir
+ test -d "$as_incr_dir" ||
+ mkdir "$as_incr_dir" ||
+ { { echo "$as_me:$LINENO: error: cannot create $dirpart/$fdir" >&5
+echo "$as_me: error: cannot create $dirpart/$fdir" >&2;}
+ { (exit 1); exit 1; }; }
+ ;;
+ esac
+done; }
# echo "creating $dirpart/$file"
echo '# dummy' > "$dirpart/$file"
# need to make the FD available again.
if test "$no_create" != yes; then
ac_cs_success=:
- ac_config_status_args=
- test "$silent" = yes &&
- ac_config_status_args="$ac_config_status_args --quiet"
exec 5>/dev/null
- $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
+ $SHELL $CONFIG_STATUS || ac_cs_success=false
exec 5>>config.log
# Use ||, not &&, to avoid exiting from the if with $? = 1, which
# would make configure fail if this is the last instruction.
+++ /dev/null
-# Microsoft Developer Studio Project File - Name="Splint" - Package Owner=<4>\r
-# Microsoft Developer Studio Generated Build File, Format Version 6.00\r
-# ** DO NOT EDIT **\r
-\r
-# TARGTYPE "Win32 (x86) Console Application" 0x0103\r
-\r
-CFG=Splint - Win32 Debug\r
-!MESSAGE This is not a valid makefile. To build this project using NMAKE,\r
-!MESSAGE use the Export Makefile command and run\r
-!MESSAGE \r
-!MESSAGE NMAKE /f "Splint.mak".\r
-!MESSAGE \r
-!MESSAGE You can specify a configuration when running NMAKE\r
-!MESSAGE by defining the macro CFG on the command line. For example:\r
-!MESSAGE \r
-!MESSAGE NMAKE /f "Splint.mak" CFG="Splint - Win32 Debug"\r
-!MESSAGE \r
-!MESSAGE Possible choices for configuration are:\r
-!MESSAGE \r
-!MESSAGE "Splint - Win32 Release" (based on "Win32 (x86) Console Application")\r
-!MESSAGE "Splint - Win32 Debug" (based on "Win32 (x86) Console Application")\r
-!MESSAGE \r
-\r
-# Begin Project\r
-# PROP AllowPerConfigDependencies 0\r
-# PROP Scc_ProjName ""\r
-# PROP Scc_LocalPath ""\r
-CPP=cl.exe\r
-RSC=rc.exe\r
-\r
-!IF "$(CFG)" == "Splint - Win32 Release"\r
-\r
-# PROP BASE Use_MFC 0\r
-# PROP BASE Use_Debug_Libraries 0\r
-# PROP BASE Output_Dir "Release"\r
-# PROP BASE Intermediate_Dir "Release"\r
-# PROP BASE Target_Dir ""\r
-# PROP Use_MFC 0\r
-# PROP Use_Debug_Libraries 0\r
-# PROP Output_Dir "Release"\r
-# PROP Intermediate_Dir "Release"\r
-# PROP Ignore_Export_Lib 0\r
-# PROP Target_Dir ""\r
-# ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /c\r
-# ADD CPP /nologo /W3 /GX /O2 /I "\\Apollo\evans\LCLintDev\src\Headers" /D "NDEBUG" /D "WIN32" /D "_CONSOLE" /D "_MBCS" /D "HAVE_CONFIG_H" /FD /c\r
-# SUBTRACT CPP /YX\r
-# ADD BASE RSC /l 0x409 /d "NDEBUG"\r
-# ADD RSC /l 0x409 /d "NDEBUG"\r
-BSC32=bscmake.exe\r
-# ADD BASE BSC32 /nologo\r
-# ADD BSC32 /nologo\r
-LINK32=link.exe\r
-# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /machine:I386\r
-# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib setargv.obj /nologo /subsystem:console /machine:I386 /out:"K:/LCLintDev/win32/splint.exe"\r
-\r
-!ELSEIF "$(CFG)" == "Splint - Win32 Debug"\r
-\r
-# PROP BASE Use_MFC 0\r
-# PROP BASE Use_Debug_Libraries 1\r
-# PROP BASE Output_Dir "Debug"\r
-# PROP BASE Intermediate_Dir "Debug"\r
-# PROP BASE Target_Dir ""\r
-# PROP Use_MFC 0\r
-# PROP Use_Debug_Libraries 1\r
-# PROP Output_Dir "Debug"\r
-# PROP Intermediate_Dir "Debug"\r
-# PROP Ignore_Export_Lib 0\r
-# PROP Target_Dir ""\r
-# ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /GZ /c\r
-# ADD CPP /nologo /W3 /Gm /GX /ZI /Od /I "Headers" /I "\\Apollo\evans]LCLintDev\src\Headers" /I "\\Apollo\evans\LCLintDev\src\Headers" /D "_DEBUG" /D "WIN32" /D "_CONSOLE" /D "_MBCS" /D "HAVE_CONFIG_H" /FD /GZ /c\r
-# ADD BASE RSC /l 0x409 /d "_DEBUG"\r
-# ADD RSC /l 0x409 /d "_DEBUG"\r
-BSC32=bscmake.exe\r
-# ADD BASE BSC32 /nologo\r
-# ADD BSC32 /nologo\r
-LINK32=link.exe\r
-# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /debug /machine:I386 /pdbtype:sept\r
-# ADD LINK32 setargv.obj kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /debug /machine:I386 /out:"K:\LCLintDev\win32\Splint.exe" /pdbtype:sept\r
-\r
-!ENDIF \r
-\r
-# Begin Target\r
-\r
-# Name "Splint - Win32 Release"\r
-# Name "Splint - Win32 Debug"\r
-# Begin Group "Source Files"\r
-\r
-# PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\abstract.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\aliasTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\annotationInfo.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\annotationTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cgrammar.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\checking.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\clabstract.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\clause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\clauseStack.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraint.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintExpr.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintExprData.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintGeneration.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintOutput.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintResolve.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\constraintTerm.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\context.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cpperror.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cppexp.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cpphash.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cpplib.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cppmain.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cprim.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cscanner.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cstring.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cstringList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cstringSList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cstringTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ctype.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ctypeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\cvar.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\declaratorInvNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\declaratorNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ekind.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\enumNameList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\enumNameSList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprChecks.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprData.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\exprNodeSList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fcnNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fileIdList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fileLib.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fileloc.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\filelocList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\filelocStack.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\fileTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\flagMarker.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\flagMarkerList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\flags.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\flagSpec.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\functionClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\functionClauseList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\functionConstraint.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\general.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\genericTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\globals.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\globalsClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\globSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\guardSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\idDecl.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\idDeclList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\importNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\imports.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\initDeclNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\inputStream.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\interfaceNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\intSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclctypes.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclinit.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lcllib.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclscan.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclscanline.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lclsyntable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lcltokentable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\letDeclNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lh.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\llerror.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\llgrammar.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\llmain.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lltok.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\loopHeuristics.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lslinit.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lslOpList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lslOpSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lslparse.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lsymbol.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lsymbolList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\lsymbolSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ltoken.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ltokenList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\macrocache.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mapping.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\message.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\messageLog.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateConstraint.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateConstraintList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateExpression.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateInfo.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateSpecifier.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\metaStateTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\modifiesClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtAnnotationDecl.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtAnnotationList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtAnnotationsNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtContextNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDeclarationNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDeclarationPiece.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDeclarationPieces.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDefaultsDecl.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDefaultsDeclList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtDefaultsNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtgrammar.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtLoseReference.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtLoseReferenceList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtMergeClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtMergeClauseList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtMergeItem.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtMergeNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtreader.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtscanner.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mttok.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtTransferAction.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtTransferClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtTransferClauseList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\mtValuesNode.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\multiVal.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\nameChecks.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\osd.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\pairNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\paramNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\programNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\qtype.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\qual.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\qualList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\quantifierNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\randomNumbers.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\reader.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\replaceNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\scan.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\scanline.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\shift.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\signature.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sigNodeSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sort.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sortList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sortSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sortSetList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRef.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRefList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRefSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRefSetList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\sRefTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateClauseList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateCombinationTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateInfo.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stateValue.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\stDeclNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\storeRefNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\structNames.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\symtable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\syntable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\termNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\tokentable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\traitRefNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\transferChecks.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\typeIdSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\typeNameNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\uentry.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\uentryList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\usymIdSet.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\usymtab.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\usymtab_interface.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\valueTable.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\varDeclarationNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\varKinds.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\varNodeList.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\warnClause.c\r
-# End Source File\r
-# Begin Source File\r
-\r
-SOURCE=..\..\src\ynm.c\r
-# End Source File\r
-# End Group\r
-# Begin Group "Header Files"\r
-\r
-# PROP Default_Filter "h;hpp;hxx;hm;inl"\r
-# End Group\r
-# Begin Group "Resource Files"\r
-\r
-# PROP Default_Filter "ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe"\r
-# End Group\r
-# End Target\r
-# End Project\r
--- /dev/null
+<?xml version="1.0" encoding = "Windows-1252"?>\r
+<VisualStudioProject\r
+ ProjectType="Visual C++"\r
+ Version="7.00"\r
+ Name="Splint"\r
+ ProjectGUID="{E57CAD42-5E8E-445E-865A-965282EFA565}"\r
+ SccProjectName=""\r
+ SccLocalPath="">\r
+ <Platforms>\r
+ <Platform\r
+ Name="Win32"/>\r
+ </Platforms>\r
+ <Configurations>\r
+ <Configuration\r
+ Name="Release|Win32"\r
+ OutputDirectory=".\Release"\r
+ IntermediateDirectory=".\Release"\r
+ ConfigurationType="1"\r
+ UseOfMFC="0"\r
+ ATLMinimizesCRunTimeLibraryUsage="FALSE"\r
+ CharacterSet="2">\r
+ <Tool\r
+ Name="VCCLCompilerTool"\r
+ InlineFunctionExpansion="1"\r
+ AdditionalIncludeDirectories="K:\splint\src\Headers"\r
+ PreprocessorDefinitions="NDEBUG,WIN32,_CONSOLE,HAVE_CONFIG_H"\r
+ StringPooling="TRUE"\r
+ RuntimeLibrary="4"\r
+ EnableFunctionLevelLinking="TRUE"\r
+ PrecompiledHeaderFile=".\Release/Splint.pch"\r
+ AssemblerListingLocation=".\Release/"\r
+ ObjectFile=".\Release/"\r
+ ProgramDataBaseFileName=".\Release/"\r
+ WarningLevel="3"\r
+ SuppressStartupBanner="TRUE"\r
+ CompileAs="0"/>\r
+ <Tool\r
+ Name="VCCustomBuildTool"/>\r
+ <Tool\r
+ Name="VCLinkerTool"\r
+ AdditionalOptions="/MACHINE:I386"\r
+ AdditionalDependencies="odbc32.lib odbccp32.lib setargv.obj"\r
+ OutputFile="K:\splint\win32\splint.exe"\r
+ LinkIncremental="1"\r
+ SuppressStartupBanner="TRUE"\r
+ ProgramDatabaseFile=".\Release/splint.pdb"\r
+ SubSystem="1"/>\r
+ <Tool\r
+ Name="VCMIDLTool"\r
+ TypeLibraryName=".\Release/Splint.tlb"/>\r
+ <Tool\r
+ Name="VCPostBuildEventTool"/>\r
+ <Tool\r
+ Name="VCPreBuildEventTool"/>\r
+ <Tool\r
+ Name="VCPreLinkEventTool"/>\r
+ <Tool\r
+ Name="VCResourceCompilerTool"\r
+ PreprocessorDefinitions="NDEBUG"\r
+ Culture="1033"/>\r
+ <Tool\r
+ Name="VCWebServiceProxyGeneratorTool"/>\r
+ <Tool\r
+ Name="VCWebDeploymentTool"/>\r
+ </Configuration>\r
+ <Configuration\r
+ Name="Debug|Win32"\r
+ OutputDirectory=".\Debug"\r
+ IntermediateDirectory=".\Debug"\r
+ ConfigurationType="1"\r
+ UseOfMFC="0"\r
+ ATLMinimizesCRunTimeLibraryUsage="FALSE"\r
+ CharacterSet="2">\r
+ <Tool\r
+ Name="VCCLCompilerTool"\r
+ Optimization="0"\r
+ AdditionalIncludeDirectories="K:\splint\src\Headers"\r
+ PreprocessorDefinitions="_DEBUG,WIN32,_CONSOLE,HAVE_CONFIG_H"\r
+ BasicRuntimeChecks="3"\r
+ SmallerTypeCheck="TRUE"\r
+ RuntimeLibrary="4"\r
+ DisableLanguageExtensions="FALSE"\r
+ ForceConformanceInForLoopScope="TRUE"\r
+ PrecompiledHeaderFile=".\Debug/Splint.pch"\r
+ AssemblerListingLocation=".\Debug/"\r
+ ObjectFile=".\Debug/"\r
+ ProgramDataBaseFileName=".\Debug/"\r
+ WarningLevel="3"\r
+ SuppressStartupBanner="TRUE"\r
+ DebugInformationFormat="0"\r
+ CompileAs="0"/>\r
+ <Tool\r
+ Name="VCCustomBuildTool"/>\r
+ <Tool\r
+ Name="VCLinkerTool"\r
+ AdditionalOptions="/MACHINE:I386"\r
+ AdditionalDependencies="setargv.obj odbc32.lib odbccp32.lib"\r
+ ShowProgress="0"\r
+ OutputFile="K:\splint\win32\splint.exe"\r
+ LinkIncremental="2"\r
+ SuppressStartupBanner="TRUE"\r
+ GenerateDebugInformation="FALSE"\r
+ ProgramDatabaseFile=".\Debug/Splint.pdb"\r
+ SubSystem="1"/>\r
+ <Tool\r
+ Name="VCMIDLTool"\r
+ TypeLibraryName=".\Debug/Splint.tlb"/>\r
+ <Tool\r
+ Name="VCPostBuildEventTool"/>\r
+ <Tool\r
+ Name="VCPreBuildEventTool"/>\r
+ <Tool\r
+ Name="VCPreLinkEventTool"/>\r
+ <Tool\r
+ Name="VCResourceCompilerTool"\r
+ PreprocessorDefinitions="_DEBUG"\r
+ Culture="1033"/>\r
+ <Tool\r
+ Name="VCWebServiceProxyGeneratorTool"/>\r
+ <Tool\r
+ Name="VCWebDeploymentTool"/>\r
+ </Configuration>\r
+ <Configuration\r
+ Name="Test|Win32"\r
+ OutputDirectory="Test"\r
+ IntermediateDirectory="Test"\r
+ ConfigurationType="1">\r
+ <Tool\r
+ Name="VCCLCompilerTool"\r
+ Optimization="0"\r
+ AdditionalIncludeDirectories="K:\splint\src\Headers"\r
+ PreprocessorDefinitions="WIN32,_WIN32,_CONSOLE,HAVE_CONFIG_H"\r
+ BasicRuntimeChecks="3"\r
+ SmallerTypeCheck="TRUE"\r
+ WarningLevel="4"\r
+ CompileAs="1"\r
+ DisableSpecificWarnings="4127"/>\r
+ <Tool\r
+ Name="VCCustomBuildTool"/>\r
+ <Tool\r
+ Name="VCLinkerTool"\r
+ AdditionalDependencies="setargv.obj"\r
+ OutputFile="K:\splint\win32\splint.exe"\r
+ GenerateDebugInformation="TRUE"\r
+ OptimizeForWindows98="1"/>\r
+ <Tool\r
+ Name="VCMIDLTool"/>\r
+ <Tool\r
+ Name="VCPostBuildEventTool"/>\r
+ <Tool\r
+ Name="VCPreBuildEventTool"/>\r
+ <Tool\r
+ Name="VCPreLinkEventTool"/>\r
+ <Tool\r
+ Name="VCResourceCompilerTool"/>\r
+ <Tool\r
+ Name="VCWebServiceProxyGeneratorTool"/>\r
+ <Tool\r
+ Name="VCWebDeploymentTool"/>\r
+ </Configuration>\r
+ </Configurations>\r
+ <Files>\r
+ <Filter\r
+ Name="Source Files"\r
+ Filter="cpp;c;cxx;rc;def;r;odl;idl;hpj;bat">\r
+ <File\r
+ RelativePath="..\..\src\abstract.c">\r
+ <FileConfiguration\r
+ Name="Release|Win32">\r
+ <Tool\r
+ Name="VCCLCompilerTool"\r
+ AdditionalIncludeDirectories="Headers"/>\r
+ </FileConfiguration>\r
+ <FileConfiguration\r
+ Name="Debug|Win32">\r
+ <Tool\r
+ Name="VCCLCompilerTool"\r
+ AdditionalIncludeDirectories="K:\splint-dev\LCLintDev\src\Headers"/>\r
+ </FileConfiguration>\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\aliasTable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\annotationInfo.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\annotationTable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cgrammar.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\checking.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\clabstract.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\clause.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\clauseStack.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\constraint.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\constraintExpr.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\constraintExprData.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\constraintGeneration.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\constraintList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\constraintResolve.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\constraintTerm.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\context.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cpperror.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cppexp.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cpphash.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cpplib.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cppmain.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cprim.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cscanner.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cscannerHelp.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cstring.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cstringList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cstringSList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cstringTable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\ctype.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\ctypeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\cvar.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\declaratorInvNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\declaratorNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\ekind.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\enumNameList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\enumNameSList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\exprChecks.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\exprData.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\exprNode.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\exprNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\exprNodeSList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\fcnNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\fileIdList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\fileLib.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\fileTable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\fileloc.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\filelocList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\filelocStack.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\flagMarker.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\flagMarkerList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\flagSpec.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\flags.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\functionClause.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\functionClauseList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\functionConstraint.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\general.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\genericTable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\globSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\globals.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\globalsClause.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\guardSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\help.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\idDecl.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\idDeclList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\importNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\imports.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\initDeclNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\inputStream.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\intSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\interfaceNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lclctypes.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lclinit.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lcllib.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lclscan.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lclscanline.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lclsyntable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lcltokentable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\letDeclNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lh.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\llerror.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\llgrammar.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\llmain.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lltok.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\loopHeuristics.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lslOpList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lslOpSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lslinit.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lslparse.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lsymbol.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lsymbolList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\lsymbolSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\ltoken.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\ltokenList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\macrocache.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mapping.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\message.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\messageLog.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\metaStateConstraint.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\metaStateConstraintList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\metaStateExpression.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\metaStateInfo.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\metaStateSpecifier.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\metaStateTable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\modifiesClause.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtAnnotationDecl.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtAnnotationList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtAnnotationsNode.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtContextNode.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtDeclarationNode.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtDeclarationPiece.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtDeclarationPieces.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtDefaultsDecl.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtDefaultsDeclList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtDefaultsNode.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtLoseReference.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtLoseReferenceList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtMergeClause.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtMergeClauseList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtMergeItem.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtMergeNode.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtTransferAction.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtTransferClause.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtTransferClauseList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtValuesNode.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtgrammar.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtreader.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mtscanner.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\mttok.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\multiVal.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\nameChecks.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\osd.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\pairNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\paramNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\pointers.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\programNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\qtype.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\qual.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\qualList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\quantifierNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\randomNumbers.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\rcfiles.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\reader.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\replaceNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sRef.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sRefList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sRefSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sRefSetList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sRefTable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\scan.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\scanline.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\shift.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sigNodeSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\signature.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sort.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sortList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sortSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\sortSetList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\stDeclNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\stateClause.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\stateClauseList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\stateCombinationTable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\stateInfo.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\stateValue.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\storeRefNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\structNames.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\symtable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\syntable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\termNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\tokentable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\traitRefNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\transferChecks.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\typeIdSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\typeNameNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\uentry.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\uentryList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\usymIdSet.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\usymtab.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\usymtab_interface.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\valueTable.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\varDeclarationNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\varKinds.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\varNodeList.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\warnClause.c">\r
+ </File>\r
+ <File\r
+ RelativePath="..\..\src\ynm.c">\r
+ </File>\r
+ </Filter>\r
+ <Filter\r
+ Name="Header Files"\r
+ Filter="h;hpp;hxx;hm;inl">\r
+ </Filter>\r
+ <Filter\r
+ Name="Resource Files"\r
+ Filter="ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe">\r
+ </Filter>\r
+ </Files>\r
+ <Globals>\r
+ </Globals>\r
+</VisualStudioProject>\r
andersk / splint.git / commitdiff
