diff options
Diffstat (limited to 'community/splint')
| -rw-r--r-- | community/splint/PKGBUILD | 25 |
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 } |