summaryrefslogtreecommitdiff
path: root/community/splint
diff options
context:
space:
mode:
Diffstat (limited to 'community/splint')
-rw-r--r--community/splint/PKGBUILD25
1 files changed, 15 insertions, 10 deletions
diff --git a/community/splint/PKGBUILD b/community/splint/PKGBUILD
index d0676e311..f6559ab07 100644
--- a/community/splint/PKGBUILD
+++ b/community/splint/PKGBUILD
@@ -1,25 +1,30 @@
-# $Id: PKGBUILD 2039 2009-09-07 16:30:22Z spupykin $
+# $Id: PKGBUILD 55573 2011-09-14 10:41:16Z andrea $
# Maintainer: Sergej Pupykin <pupykin.s+arch@gmail.com>
# Contributor: William Rea <sillywilly@gmail.com>
pkgname=splint
pkgver=3.1.2
-pkgrel=2
+pkgrel=3
pkgdesc="A tool for statically checking C programs for security vulnerabilities and coding mistakes"
arch=('i686' 'x86_64')
-url="http://www.splint.org"
+url="http://www.splint.org/"
license=('GPL')
depends=('glibc')
-source=(http://www.splint.org/downloads/splint-$pkgver.src.tgz \
- splint.sh)
+source=("http://www.splint.org/downloads/${pkgname}-${pkgver}.src.tgz"
+ 'splint.sh')
md5sums=('25f47d70bd9c8bdddf6b03de5949c4fd'
'0efb6341b384dc44590989fe3678c96c')
+options=('!makeflags')
build() {
- cd $startdir/src/splint-$pkgver
- [ $NOEXTRACT -eq 1 ] || ./configure --prefix=/usr --mandir=/usr/share/man
- make || return 1
- make DESTDIR=$startdir/pkg install || return 1
+ cd "${srcdir}"/$pkgname-$pkgver
+ ./configure --prefix=/usr --mandir=/usr/share/man
+ make
+}
+
+package() {
+ cd "${srcdir}"/$pkgname-$pkgver
+ make DESTDIR="${pkgdir}" install
- install -D -m755 ../splint.sh $startdir/pkg/etc/profile.d/splint.sh
+ install -D -m755 "${srcdir}"/splint.sh "${pkgdir}"/etc/profile.d/splint.sh
}