Added check of user specified post conditions.

[splint.git] / src / Headers / local_constants.h

diff --git a/src/Headers/local_constants.h b/src/Headers/local_constants.h
index a6f582af761d0ffa2998cd7bd4bb22ace4c68fc1..de2e753d565b5dd04b32ab07e7e55603e4151838 100644 (file)
--- a/src/Headers/local_constants.h
+++ b/src/Headers/local_constants.h
@@ -1,7 +1,7 @@
 /* local_constants.h - created automatically by gmake localconstants */
 /*@constant observer char *SYSTEM_LIBDIR;@*/
-# define SYSTEM_LIBDIR /usr/include
+# define SYSTEM_LIBDIR "/usr/include"
 /*@constant observer char *DEFAULT_LARCHPATH;@*/
-# define DEFAULT_LARCHPATH /usr/local/lclint-2.5m/lib
+# define DEFAULT_LARCHPATH ".:/afs/cert.org/usr/dlaroche/LCLintDev/lib"
 /*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR /usr/local/lclint-2.5m/imports
+# define DEFAULT_LCLIMPORTDIR "/afs/cert.org/usr/dlaroche/LCLintDev/imports"