1 /* config.h. Generated automatically by configure. */
\r
2 /* config.hin. Generated automatically from configure.ac by autoheader. */
\r
6 /* The directory where Splint's library files live */
\r
7 #define DEFAULT_LARCHPATH "@DEFAULT_LARCHPATH@"
\r
9 /* Splint's imports directory */
\r
10 #define DEFAULT_LCLIMPORTDIR "@DEFAULT_LCLIMPORTDIR@"
\r
12 /* system include directory */
\r
13 #define GCC_INCLUDE_DIR "@GCC_INCLUDE_DIR@"
\r
15 /* alternate include directory */
\r
16 #define GCC_INCLUDE_DIR2 "@GCC_INCLUDE_DIR2@"
\r
18 #define TARGET_CPU "@TARGET_CPU@"
\r
19 #define UNAME "@UNAME@"
\r
21 /* String describing who compiled this binary and how */
\r
22 #define LCL_COMPILE "@LCL_COMPILE@"
\r
24 /* Splint's version number */
\r
25 #define LCL_PARSE_VERSION "@LCL_PARSE_VERSION@"
\r
27 /* Splint's version number and configure/build date */
\r
28 #define SPLINT_VERSION "@SPLINT_VERSION@"
\r
30 /* The system's main include directory */
\r
31 #define SYSTEM_LIBDIR "@SYSTEM_LIBDIR@"
\r