winconfig.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 ".;C:/splint/lib"
   8
   9 /* Splint's imports directory */
  10 #define DEFAULT_LCLIMPORTDIR ".;C:/splint/imports"
  11
  12 /* system include directory */
  13 #define GCC_INCLUDE_DIR "C:/include"
  14
  15 /* alternate include directory */
  16 #define GCC_INCLUDE_DIR2 "C:/local/include"
  17
  18 #define TARGET_CPU "x86"
  19 #define UNAME "WIN32"
  20
  21 /* String describing who compiled this binary and how */
  22 #define LCL_COMPILE "Compiled using Microsoft Visual C++ 7.0"
  23
  24 /* Splint's version number */
  25 #define LCL_PARSE_VERSION "Splint 3.1.1"
  26
  27 /* Define to disable support LCL files */
  28 /* #undef NOLCL */
  29
  30 /* Splint's version number and configure/build date */
  31 #define SPLINT_VERSION "Splint 3.1.1 --- 28 Apr 2003"
  32
  33 /* The system's main include directory */
  34 #define SYSTEM_LIBDIR "C:/include"
  35
  36 /* Define if you're on a Unixy system */
  37 /* !!! #define UNIX 1 */
  38
  39 /* Define if `lex' declares `yytext' as a `char *' by default, not a `char[]'.
  40    */
  41 #define YYTEXT_POINTER 1
  42
  43 /*@=constmacros@*/