diff options
Diffstat (limited to 'devel/splint')
| -rw-r--r-- | devel/splint/Makefile | 3 | ||||
| -rw-r--r-- | devel/splint/distinfo | 2 | ||||
| -rw-r--r-- | devel/splint/files/patch-ab | 11 |
3 files changed, 13 insertions, 3 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile index 7990d5c8568b..c0a99e977e98 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -3,7 +3,7 @@ # Date created: 9 September 1996 # Whom: moeding # -# $Id: Makefile,v 1.3 1998/07/03 23:36:18 steve Exp $ +# $Id: Makefile,v 1.4 1999/06/25 04:02:23 billf Exp $ # DISTNAME= lclint-2.4b @@ -15,7 +15,6 @@ MAINTAINER= s.moeding@ndh.net GNU_CONFIGURE= yes USE_GMAKE= yes -NO_PACKAGE= "doesn't respect $CFLAGS" do-build: @(cd ${WRKSRC}; ${GMAKE}) diff --git a/devel/splint/distinfo b/devel/splint/distinfo index 6c63ef678592..9f3df0e8ff2f 100644 --- a/devel/splint/distinfo +++ b/devel/splint/distinfo @@ -1 +1 @@ -MD5 (lclint-2.4b.src.tar.gz) = 3d263a76bae212deb80295505f56fdd9 +MD5 (lclint-2.4b.src.tar.gz) = ab9cbc54cbe8ac77e47d51c81632f858 diff --git a/devel/splint/files/patch-ab b/devel/splint/files/patch-ab new file mode 100644 index 000000000000..ae8eb70eaa77 --- /dev/null +++ b/devel/splint/files/patch-ab @@ -0,0 +1,11 @@ +--- 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' |