Put manual in CVS

[splint.git] / config.h

diff --git a/config.h b/config.h
index 01064a66f7e9308daa8811213f1e3b050784b912..f8d1fec395bca686db4a624188d1c22c4dd05bed 100644 (file)
--- a/config.h
+++ b/config.h
@@ -3,30 +3,30 @@
 
 /*@-constmacros@*/
 
-/* The directory where LCLint's library files live */
-#define DEFAULT_LARCHPATH ".:/usr/local/share/lclint/lib"
+/* The directory where Splint's library files live */
+#define DEFAULT_LARCHPATH ".:/usr/local/share/splint/lib:/af10/evans/LCLintDev/lib:"
 
-/* LCLint's imports directory */
-#define DEFAULT_LCLIMPORTDIR "/usr/local/share/lclint/imports"
+/* Splint's imports directory */
+#define DEFAULT_LCLIMPORTDIR ".:/usr/local/share/splint/imports:/af10/evans/LCLintDev/imports"
 
-/* gcc's private include directory */
-#define GCC_INCLUDE_DIR "/usr/cs/lib/gcc-lib/i686-pc-linux-gnu/3.0/include
+/* system include directory */
+#define GCC_INCLUDE_DIR "/usr/include"
 
-/* the system's main include directory */
+/* alternate include directory */
 #define GCC_INCLUDE_DIR2 "/usr/local/include"
 
 /* String describing who compiled this binary and how */
-#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 drl7x"
+#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"
 
-/* LCLint's version number */
-#define LCL_PARSE_VERSION "LCLint 3.0.0.19"
-
-/* LCLint's version number and release date */
-#define LCL_VERSION "LCLint 3.0.0.19 --- 5 October 2001"
+/* Splint's version number */
+#define LCL_PARSE_VERSION "Splint 3.0.1"
 
 /* Define to disable support LCL files */
 /* #undef NOLCL */
 
+/* Splint's version number and configure/build date */
+#define SPLINT_VERSION "Splint 3.0.1 --- 06 Jan 2002"
+
 /* The system's main include directory */
 #define SYSTEM_LIBDIR "/usr/local/include"