diff options
| author |   Charlie Shepherd <masterdriverz@gentoo.org> | 2007-10-25 16:02:19 +0000 |
|---|---|---|
| committer | Charlie Shepherd <masterdriverz@gentoo.org> | 2007-10-25 16:02:19 +0000 |
| commit | 5af54c02619a36b589b816930e14064d6d867675 (patch) | |
| tree | f07331ccfa3b187ffd77cbd65b209730c6a0d408 /dev-util/splint | |
| parent | Added ~ppc64; bug #195815 (diff) | |
| download | gentoo-2-5af54c02619a36b589b816930e14064d6d867675.tar.gz gentoo-2-5af54c02619a36b589b816930e14064d6d867675.tar.bz2 gentoo-2-5af54c02619a36b589b816930e14064d6d867675.zip | |
Bump to version 3.1.2; Bug 185269. Thanks to Alon Bar-Lev and Mark Glines.
(Portage version: 2.1.3.10)
Diffstat (limited to 'dev-util/splint')
| -rw-r--r-- | dev-util/splint/ChangeLog | 8 | ||||
| -rw-r--r-- | dev-util/splint/files/digest-splint-3.1.2 | 3 | ||||
| -rw-r--r-- | dev-util/splint/splint-3.1.2.ebuild | 23 |
3 files changed, 33 insertions, 1 deletions
diff --git a/dev-util/splint/ChangeLog b/dev-util/splint/ChangeLog index 9fb3578c6d9c..5a420de3af9d 100644 --- a/dev-util/splint/ChangeLog +++ b/dev-util/splint/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for dev-util/splint # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-util/splint/ChangeLog,v 1.13 2007/05/15 09:10:31 bangert Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-util/splint/ChangeLog,v 1.14 2007/10/25 16:02:18 masterdriverz Exp $ + +*splint-3.1.2 (25 Oct 2007) + + 25 Oct 2007; Charlie Shepherd <masterdriverz@gentoo.org> + +splint-3.1.2.ebuild: + Bump to version 3.1.2; Bug 185269. Thanks to Alon Bar-Lev and Mark Glines. 14 May 2007; Thilo Bangert <bangert@gentoo.org> metadata.xml: add <herd>no-herd</herd> diff --git a/dev-util/splint/files/digest-splint-3.1.2 b/dev-util/splint/files/digest-splint-3.1.2 new file mode 100644 index 000000000000..cd928508cee1 --- /dev/null +++ b/dev-util/splint/files/digest-splint-3.1.2 @@ -0,0 +1,3 @@ +MD5 25f47d70bd9c8bdddf6b03de5949c4fd splint-3.1.2.src.tgz 2284033 +RMD160 52e9786d3cbeaa437877a33b18e42b32dff3b96b splint-3.1.2.src.tgz 2284033 +SHA256 c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a splint-3.1.2.src.tgz 2284033 diff --git a/dev-util/splint/splint-3.1.2.ebuild b/dev-util/splint/splint-3.1.2.ebuild new file mode 100644 index 000000000000..1dd8d1d2d576 --- /dev/null +++ b/dev-util/splint/splint-3.1.2.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2007 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-util/splint/splint-3.1.2.ebuild,v 1.1 2007/10/25 16:02:18 masterdriverz Exp $ + +DESCRIPTION="Check C programs for vulnerabilities and programming mistakes" +HOMEPAGE="http://lclint.cs.virginia.edu/" +SRC_URI="http://www.splint.org/downloads/${P}.src.tgz" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~ppc ~ppc-macos ~ppc64 ~x86" +IUSE="" + +DEPEND="" + +src_compile() { + econf || die + emake -j1 || die "emake failed" +} + +src_install() { + make -j1 DESTDIR="${D}" install || die +} |