/* hand generated, based on automatically generated config.h for UNIX */

/*
** Ensure that WIN32 and _WIN32 are both defined or both undefined.
*/

# ifdef WIN32
# ifndef _WIN32
# error "Inconsistent definitions."
# endif
# else
# ifdef _WIN32
# error "Inconsistent definitions."
# endif
# endif

/*@-constmacros@*/

/* The directory where Splint's library files live */
#define DEFAULT_LARCHPATH ".;C:/splint/lib"

/* Splint's imports directory */
#define DEFAULT_LCLIMPORTDIR ".;C:/splint/imports"

/* system include directory */
#define GCC_INCLUDE_DIR "C:/include"

/* alternate include directory */
#define GCC_INCLUDE_DIR2 "C:/local/include"

#define TARGET_CPU "x86"
#define UNAME "WIN32"

/* String describing who compiled this binary and how */
#define LCL_COMPILE "Compiled using Microsoft Visual C++ 7.0"

/* Splint's version number */
#define LCL_PARSE_VERSION "Splint 3.1.1"

/* Define to disable support LCL files */
/* #undef NOLCL */

/* Splint's version number and configure/build date */
#define SPLINT_VERSION "Splint 3.1.1 --- 28 Apr 2003"

/* The system's main include directory */
#define SYSTEM_LIBDIR "C:/include"

/* Define if you're on a Unixy system */
/* !!! #define UNIX 1 */

/* Define if `lex' declares `yytext' as a `char *' by default, not a `char[]'.
   */
#define YYTEXT_POINTER 1

/*@=constmacros@*/

