config.h

   1 /* config.h.  Generated automatically by configure.  */
   2 /* config.hin.  Generated automatically from configure.ac by autoheader.  */
   3
   4 /*@-constmacros@*/
   5
   6 /* The directory where Splint's library files live */
   7 #define DEFAULT_LARCHPATH ".:/usr/local/share/splint/lib:/af10/evans/LCLintDev/lib:"
   8
   9 /* Splint's imports directory */
  10 #define DEFAULT_LCLIMPORTDIR ".:/usr/local/share/splint/imports:/af10/evans/LCLintDev/imports"
  11
  12 /* system include directory */
  13 #define GCC_INCLUDE_DIR "/usr/include"
  14
  15 /* alternate include directory */
  16 #define GCC_INCLUDE_DIR2 "/usr/local/include"
  17
  18 /* String describing who compiled this binary and how */
  19 #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 evans"
  20
  21 /* Splint's version number */
  22 #define LCL_PARSE_VERSION "Splint 3.0.0.20"
  23
  24 /* Define to disable support LCL files */
  25 /* #undef NOLCL */
  26
  27 /* Splint's version number and configure/build date */
  28 #define SPLINT_VERSION "Splint 3.0.0.20 --- 30 Dec 2001"
  29
  30 /* The system's main include directory */
  31 #define SYSTEM_LIBDIR "/usr/local/include"
  32
  33 /* Define if you're on a Unixy system */
  34 #define UNIX 1
  35
  36 /* Define if `lex' declares `yytext' as a `char *' by default, not a `char[]'.
  37    */
  38 #define YYTEXT_POINTER 1
  39
  40 /*@=constmacros@*/