]>
Commit | Line | Data |
---|---|---|
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-3.0.1.6/lib" | |
8 | ||
9 | /* Splint's imports directory */ | |
10 | #define DEFAULT_LCLIMPORTDIR ".;C:/splint-3.0.1.6/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"\r | |
20 | ||
21 | /* String describing who compiled this binary and how */ | |
22 | #define LCL_COMPILE "Compiled using Microsoft Visual C++ 6.0" | |
23 | ||
24 | /* Splint's version number */ | |
25 | #define LCL_PARSE_VERSION "Splint 3.0.1.7" | |
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.0.1.7 --- 11 Mar 2002" | |
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@*/ |