win32/win32config.h

   1 /* hand generated, based on automatically generated config.h for UNIX */
   2
   3 /*
   4 ** Ensure that WIN32 and _WIN32 are both defined or both undefined.
   5 */
   6
   7 # ifdef WIN32
   8 # ifndef _WIN32
   9 # error "Inconsistent definitions."
  10 # endif
  11 # else
  12 # ifdef _WIN32
  13 # error "Inconsistent definitions."
  14 # endif
  15 # endif
  16
  17 /*@-constmacros@*/
  18
  19 /* The directory where Splint's library files live */
  20 #define DEFAULT_LARCHPATH ".;C:/splint/lib"
  21
  22 /* Splint's imports directory */
  23 #define DEFAULT_LCLIMPORTDIR ".;C:/splint/imports"
  24
  25 /* system include directory */
  26 #define GCC_INCLUDE_DIR "C:/include"
  27
  28 /* alternate include directory */
  29 #define GCC_INCLUDE_DIR2 "C:/local/include"
  30
  31 #define TARGET_CPU "x86"
  32 #define UNAME "WIN32"
  33
  34 /* String describing who compiled this binary and how */
  35 #define LCL_COMPILE "Compiled using Microsoft Visual C++ 7.0"
  36
  37 /* Splint's version number */
  38 #define LCL_PARSE_VERSION "Splint 3.1.1"
  39
  40 /* Define to disable support LCL files */
  41 /* #undef NOLCL */
  42
  43 /* Splint's version number and configure/build date */
  44 #define SPLINT_VERSION "Splint 3.1.1 --- 28 Apr 2003"
  45
  46 /* The system's main include directory */
  47 #define SYSTEM_LIBDIR "C:/include"
  48
  49 /* Define if you're on a Unixy system */
  50 /* !!! #define UNIX 1 */
  51
  52 /* Define if `lex' declares `yytext' as a `char *' by default, not a `char[]'.
  53    */
  54 #define YYTEXT_POINTER 1
  55
  56 /*@=constmacros@*/
  57