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 "@DEFAULT_LARCHPATH@"
9 /* Splint's imports directory */
10 #define DEFAULT_LCLIMPORTDIR "@DEFAULT_LCLIMPORTDIR@"
12 /* system include directory */
13 #define GCC_INCLUDE_DIR "@GCC_INCLUDE_DIR@"
15 /* alternate include directory */
16 #define GCC_INCLUDE_DIR2 "@GCC_INCLUDE_DIR2@"
18 #define TARGET_CPU "@TARGET_CPU@"
19 #define UNAME "@UNAME@"
21 /* String describing who compiled this binary and how */
22 #define LCL_COMPILE "@LCL_COMPILE@"
24 /* Splint's version number */
25 #define LCL_PARSE_VERSION "@LCL_PARSE_VERSION@"
27 /* Splint's version number and configure/build date */
28 #define SPLINT_VERSION "@SPLINT_VERSION@"
30 /* The system's main include directory */
31 #define SYSTEM_LIBDIR "@SYSTEM_LIBDIR@"