| 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 */ |
| 146e25eb |
19 | #define LCL_COMPILE "Compiled using gcc -g -O2 on Linux matthews.cs.Virginia.EDU 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 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 */ |
| 77d37419 |
28 | #define SPLINT_VERSION "Splint 3.0.0.20 --- 31 Dec 2001" |
| 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@*/ |
andersk / splint.git / blame