diff options
Diffstat (limited to 'devel/splint/files')
-rw-r--r-- | devel/splint/files/patch-aa | 56 | ||||
-rw-r--r-- | devel/splint/files/patch-ab | 11 |
2 files changed, 0 insertions, 67 deletions
diff --git a/devel/splint/files/patch-aa b/devel/splint/files/patch-aa deleted file mode 100644 index bb849742964c..000000000000 --- a/devel/splint/files/patch-aa +++ /dev/null @@ -1,56 +0,0 @@ -*** Makefile.in.orig Sun Apr 19 03:06:51 1998 ---- Makefile.in Sat Jun 27 23:05:50 1998 -*************** -*** 40,49 **** - ### - - ### directory for lclint libraries -! LIBDIR = @installdir@/lib - - ### directory for lclint standard imports -! IMPORTSDIR = @installdir@/imports - - ### directory for lclint binary - INSTALLDIR = @installdir@/bin ---- 40,49 ---- - ### - - ### directory for lclint libraries -! LIBDIR = @installdir@/share/lclint-2.4b/lib - - ### directory for lclint standard imports -! IMPORTSDIR = @installdir@/share/lclint-2.4b/imports - - ### directory for lclint binary - INSTALLDIR = @installdir@/bin -*************** -*** 231,244 **** - dolibraries: - @echo '// Installing libraries in '$(LIBDIR) - @echo " (This will complain if the directory already exists, don't worry about it.)" -! -mkdir $(LIBDIR) - $(CP) $(LCLINTLIB)/* $(LIBDIR) - @echo '// Installed libraries.' - - doimports: - @echo '// Installing imports in '$(IMPORTSDIR) - @echo " (This will complain if the directory already exists, don't worry about it.)" -! -mkdir $(IMPORTSDIR) - $(CP) $(LCLINTIMPORTS)/* $(IMPORTSDIR) - @echo '// Installed imports.' - ---- 231,244 ---- - dolibraries: - @echo '// Installing libraries in '$(LIBDIR) - @echo " (This will complain if the directory already exists, don't worry about it.)" -! -mkdir -p $(LIBDIR) - $(CP) $(LCLINTLIB)/* $(LIBDIR) - @echo '// Installed libraries.' - - doimports: - @echo '// Installing imports in '$(IMPORTSDIR) - @echo " (This will complain if the directory already exists, don't worry about it.)" -! -mkdir -p $(IMPORTSDIR) - $(CP) $(LCLINTIMPORTS)/* $(IMPORTSDIR) - @echo '// Installed imports.' - diff --git a/devel/splint/files/patch-ab b/devel/splint/files/patch-ab deleted file mode 100644 index ae8eb70eaa77..000000000000 --- a/devel/splint/files/patch-ab +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig Thu Jul 8 18:53:53 1999 -+++ configure Thu Jul 8 19:00:12 1999 -@@ -511,7 +511,7 @@ - trap 'rm -f Makefile; exit 1' 1 3 15 - CC='$CC' - CPP='$CPP' --OPT='$OPT' -+OPT='$CFLAGS' - cwdir='$cwdir' - INSTALL='$INSTALL' - INSTALL_PROGRAM='$INSTALL_PROGRAM' |