X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b7b694d6212749bfa3aa56e853adff6a5aa3b87f..312c981596ce6202de7686f2d4c46aec1bae3939:/src/Makefile.sys diff --git a/src/Makefile.sys b/src/Makefile.sys index 91d64dc..564dc7c 100644 --- a/src/Makefile.sys +++ b/src/Makefile.sys @@ -76,6 +76,7 @@ RM = rm -f MV = mv -f CP = cp CAT = cat +SED = sed MAKEDEPEND = makedepend LASTBACKUP = lastbackup @@ -87,6 +88,6 @@ VERSION_NUMBER = lastversion ### SYSTEM_LIBDIR = "/usr/include" -DEFAULT_LARCHPATH = "/usr/local/lclint-2.5m/lib" -DEFAULT_LCLIMPORTDIR = "/usr/local/lclint-2.5m/imports" +DEFAULT_LARCHPATH = "/usr/local/lclint/lib" +DEFAULT_LCLIMPORTDIR = "/usr/local/lclint/imports"