Tried to fix some problems with the configuration system.

[splint.git] / config.h

diff --git a/config.h b/config.h
index 4db4252ec87365cab237a943d9f550c3655e7527..be6e8f18b3ea6eff39c6caa398db497f2ce6a38e 100644 (file)
--- a/config.h
+++ b/config.h
@@ -4,19 +4,19 @@
 /*@-constmacros@*/
 
 /* The directory where LCLint's library files live */
-#define DEFAULT_LARCHPATH ".:/usr/local/share/lclint/lib"
+#define DEFAULT_LARCHPATH ".:/usr/local/share/lclint/lib:/af9/drl7x/reQuickFix/LCLintDev/lib:"
 
 /* LCLint's imports directory */
-#define DEFAULT_LCLIMPORTDIR "/usr/local/share/lclint/imports"
+#define DEFAULT_LCLIMPORTDIR "/usr/local/share/lclint/imports:/af9/drl7x/reQuickFix/LCLintDev/imports"
 
 /* gcc's private include directory */
-#define GCC_INCLUDE_DIR "/usr/lib/gcc-lib/i386-redhat-linux/2.96/include"
+#define GCC_INCLUDE_DIR "/usr/lib/gcc-lib/i386-linux/2.7.2.1/include"
 
 /* the system's main 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 paisley 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by evans"
+#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"
 
 /* LCLint's version number */
 #define LCL_PARSE_VERSION "LCLint 3.0.0.19"