/* config.h.  Generated automatically by configure.  */
/* config.hin.  Generated automatically from configure.ac by autoheader.  */

/*@-constmacros@*/

/* The directory where Splint's library files live */
#define DEFAULT_LARCHPATH ".:/usr/local/share/splint/lib:/af9/drl7x/tmp23/splint-3.0.1.1/lib:"

/* Splint's imports directory */
#define DEFAULT_LCLIMPORTDIR ".:/usr/local/share/splint/imports:/af9/drl7x/tmp23/splint-3.0.1.1/imports"

/* system include directory */
#define GCC_INCLUDE_DIR "/usr/include"

/* alternate include directory */
#define GCC_INCLUDE_DIR2 "/usr/local/include"

/* String describing who compiled this binary and how */
#define LCL_COMPILE "Compiled using gcc -g -O2 on Linux matthews.cs.Virginia.EDU 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by drl7x"

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

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

/* Splint's version number and configure/build date */
#define SPLINT_VERSION "Splint 3.0.1.1 --- 09 Jan 2002"

/* The system's main include directory */
#define SYSTEM_LIBDIR "/usr/local/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@*/
