# $Id: PKGBUILD 110068 2014-04-23 17:10:21Z spupykin $ # Maintainer: Sergej Pupykin # Contributor: William Rea pkgname=splint pkgver=3.1.2 pkgrel=4 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=('flex') source=("http://www.splint.org/downloads/${pkgname}-${pkgver}.src.tgz" 'splint.sh') md5sums=('25f47d70bd9c8bdddf6b03de5949c4fd' '0efb6341b384dc44590989fe3678c96c') options=('!makeflags') build() { cd "${srcdir}"/$pkgname-$pkgver ./configure --prefix=/usr --mandir=/usr/share/man make LDFLAGS="$LDFLAGS -lfl" } package() { cd "${srcdir}"/$pkgname-$pkgver make DESTDIR="${pkgdir}" install install -D -m755 "${srcdir}"/splint.sh "${pkgdir}"/etc/profile.d/splint.sh }