diff options
author | Robert Coie <rac@gentoo.org> | 2003-05-08 17:44:31 +0000 |
---|---|---|
committer | Robert Coie <rac@gentoo.org> | 2003-05-08 17:44:31 +0000 |
commit | f5ad15668a31b5bf2239789beed58e377c6fd5f0 (patch) | |
tree | e865a19fba18d1e41964433bc10ab37c0672507b /dev-util/splint/splint-3.0.1.6.ebuild | |
parent | initial import (diff) | |
download | gentoo-2-f5ad15668a31b5bf2239789beed58e377c6fd5f0.tar.gz gentoo-2-f5ad15668a31b5bf2239789beed58e377c6fd5f0.tar.bz2 gentoo-2-f5ad15668a31b5bf2239789beed58e377c6fd5f0.zip |
initial import
Diffstat (limited to 'dev-util/splint/splint-3.0.1.6.ebuild')
-rw-r--r-- | dev-util/splint/splint-3.0.1.6.ebuild | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/dev-util/splint/splint-3.0.1.6.ebuild b/dev-util/splint/splint-3.0.1.6.ebuild new file mode 100644 index 000000000000..6b99e61cd937 --- /dev/null +++ b/dev-util/splint/splint-3.0.1.6.ebuild @@ -0,0 +1,19 @@ +# Copyright 1999-2002 Gentoo Technologies, Inc. +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-util/splint/splint-3.0.1.6.ebuild,v 1.1 2003/05/08 17:44:29 rac 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" + +SLOT="0" +LICENSE="GPL-2" +KEYWORDS="~x86" + +DEPEND="sys-devel/gcc" + +src_install() { + make DESTDIR=${D} install || die + dobin ${S}/splint + doman ${S}/doc/*.1 +} |