]>
Commit | Line | Data |
---|---|---|
8fe44445 | 1 | /* config.h. Generated automatically by configure. */ |
2 | /* config.hin. Generated automatically from configure.ac by autoheader. */ | |
3 | ||
4 | /*@-constmacros@*/ | |
5 | ||
11db3170 | 6 | /* The directory where Splint's library files live */ |
7 | #define DEFAULT_LARCHPATH ".:/usr/local/share/splint/lib:/af10/evans/LCLintDev/lib:" | |
8fe44445 | 8 | |
11db3170 | 9 | /* Splint's imports directory */ |
10 | #define DEFAULT_LCLIMPORTDIR ".:/usr/local/share/splint/imports:/af10/evans/LCLintDev/imports" | |
8fe44445 | 11 | |
f2b6724f | 12 | /* system include directory */ |
13 | #define GCC_INCLUDE_DIR "/usr/include" | |
8fe44445 | 14 | |
f2b6724f | 15 | /* alternate include directory */ |
8fe44445 | 16 | #define GCC_INCLUDE_DIR2 "/usr/local/include" |
17 | ||
18 | /* String describing who compiled this binary and how */ | |
3e3ec469 | 19 | #define LCL_COMPILE "Compiled using gcc -g -O2 on Linux paisley 2.4.9-12 #1 Tue Oct 30 18:33:49 EST 2001 i686 unknown by evans" |
8fe44445 | 20 | |
11db3170 | 21 | /* Splint's version number */ |
22 | #define LCL_PARSE_VERSION "Splint 3.0.0.20" | |
8fe44445 | 23 | |
8fe44445 | 24 | /* Define to disable support LCL files */ |
25 | /* #undef NOLCL */ | |
26 | ||
146e25eb | 27 | /* Splint's version number and configure/build date */ |
3e3ec469 | 28 | #define SPLINT_VERSION "Splint 3.0.0.20 --- 02 Jan 2002" |
f2b6724f | 29 | |
8fe44445 | 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@*/ |