PKGBUILDs/community/splint/PKGBUILD
2009-10-09 21:15:33 -05:00

25 lines
811 B
Bash

# $Id: PKGBUILD 2037 2009-09-07 16:23:48Z spupykin $
# Maintainer: Sergej Pupykin <pupykin.s+arch@gmail.com>
# Contributor: William Rea <sillywilly@gmail.com>
pkgname=splint
pkgver=3.1.2
pkgrel=2
pkgdesc="A tool for statically checking C programs for security vulnerabilities and coding mistakes"
arch=('i686' 'x86_64')
url="http://www.splint.org"
license=('GPL')
depends=('glibc')
source=(http://www.splint.org/downloads/splint-$pkgver.src.tgz \
splint.sh)
md5sums=('25f47d70bd9c8bdddf6b03de5949c4fd'
'0efb6341b384dc44590989fe3678c96c')
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
install -D -m755 ../splint.sh $startdir/pkg/etc/profile.d/splint.sh
}