1 /* config.h. Generated automatically by configure. */
2 /* config.hin. Generated automatically from configure.ac by autoheader. */
6 /* The directory where Splint's library files live */
7 #define DEFAULT_LARCHPATH ".;C:/splint-3.0.1.6/lib"
9 /* Splint's imports directory */
10 #define DEFAULT_LCLIMPORTDIR ".;C:/splint-3.0.1.6/imports"
12 /* system include directory */
13 #define GCC_INCLUDE_DIR "C:/include"
15 /* alternate include directory */
16 #define GCC_INCLUDE_DIR2 "C:/local/include"
18 #define TARGET_CPU "x86"
19 #define UNAME "WIN32"
\r
21 /* String describing who compiled this binary and how */
22 #define LCL_COMPILE "Compiled using Microsoft Visual C++ 6.0"
24 /* Splint's version number */
25 #define LCL_PARSE_VERSION "Splint 3.0.1.6"
27 /* Define to disable support LCL files */
30 /* Splint's version number and configure/build date */
31 #define SPLINT_VERSION "Splint 3.0.1.6 --- 11 Feb 2002"
33 /* The system's main include directory */
34 #define SYSTEM_LIBDIR "C:/include"
36 /* Define if you're on a Unixy system */
37 /* !!! #define UNIX 1 */
39 /* Define if `lex' declares `yytext' as a `char *' by default, not a `char[]'.
41 #define YYTEXT_POINTER 1