X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a1fa5e0cd1829645f34fc88765918c7fce3212ea..0298464281f13d6f20b586de60d33d1c029ff71b:/src/Headers/local_constants.last diff --git a/src/Headers/local_constants.last b/src/Headers/local_constants.last index c4c3a88..73e13fc 100644 --- a/src/Headers/local_constants.last +++ b/src/Headers/local_constants.last @@ -2,6 +2,6 @@ /*@constant observer char *SYSTEM_LIBDIR;@*/ # define SYSTEM_LIBDIR "/usr/include" /*@constant observer char *DEFAULT_LARCHPATH;@*/ -# define DEFAULT_LARCHPATH "/usr/local/lclint-2.5m/lib" +# define DEFAULT_LARCHPATH ".:/af9/drl7x/re3/LCLintDev/lib" /*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/ -# define DEFAULT_LCLIMPORTDIR "/usr/local/lclint-2.5m/imports" +# define DEFAULT_LCLIMPORTDIR "/af9/drl7x/re3/LCLintDev/imports"