X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8fe44445b039605d306d64e3919e562081a10881..81fc136a16f0b0ebac14e7f339dfbcd6c639d79d:/config.hin diff --git a/config.hin b/config.hin index 9c05c59..f7a5d50 100644 --- a/config.hin +++ b/config.hin @@ -2,36 +2,61 @@ /*@-constmacros@*/ -/* The directory where LCLint's library files live */ +/* The directory where Splint's library files live */ #undef DEFAULT_LARCHPATH -/* LCLint's imports directory */ +/* Splint's imports directory */ #undef DEFAULT_LCLIMPORTDIR -/* gcc's private include directory */ +/* system include directory */ #undef GCC_INCLUDE_DIR -/* the system's main include directory */ +/* alternate include directory */ #undef GCC_INCLUDE_DIR2 /* String describing who compiled this binary and how */ #undef LCL_COMPILE -/* LCLint's version number */ +/* Splint's version number */ #undef LCL_PARSE_VERSION -/* LCLint's version number and release date */ -#undef LCL_VERSION - /* Define to disable support LCL files */ #undef NOLCL +/* Splint's version number and configure/build date */ +#undef SPLINT_VERSION + /* The system's main include directory */ #undef SYSTEM_LIBDIR /* Define if you're on a Unixy system */ #undef UNIX +/* drl: can't get autoheader to work so I had to enter these manually. + figure out autoheader at some point... */ + +#undef UNAME + +#undef BUILD +#undef HOST +#undef TARGET + +#undef BUILD_ALIAS +#undef HOST_ALIAS +#undef TARGET_ALIAS + +#undef BUILD_CPU +#undef HOST_CPU +#undef TARGET_CPU + +#undef BUILD_VENDOR +#undef HOST_VENDOR +#undef TARGET_VENDOR + +#undef BUILD_OS +#undef HOST_OS +#undef TARGET_OS + /* Define if `lex' declares `yytext' as a `char *' by default, not a `char[]'. */ #undef YYTEXT_POINTER