Reviewed DRL's manual changes. Moved bounds flags to appropriate place.

[splint.git] / config.hin

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

/*@-constmacros@*/

/* The directory where Splint's library files live */
#undef DEFAULT_LARCHPATH

/* Splint's imports directory */
#undef DEFAULT_LCLIMPORTDIR

/* system include directory */
#undef GCC_INCLUDE_DIR

/* alternate include directory */
#undef GCC_INCLUDE_DIR2

/* String describing who compiled this binary and how */
#undef LCL_COMPILE

/* Splint's version number */
#undef LCL_PARSE_VERSION

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

/* Splint's version number and configure/build date */
#undef SPLINT_VERSION

/* The system's main include directory */
#undef SYSTEM_LIBDIR

/* Define if you're on a Unixy system */
#undef UNIX

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

/*@=constmacros@*/