diff options
Diffstat (limited to 'community/splint/PKGBUILD')
-rw-r--r-- | community/splint/PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/community/splint/PKGBUILD b/community/splint/PKGBUILD index f6559ab07..c3eaf18c6 100644 --- a/community/splint/PKGBUILD +++ b/community/splint/PKGBUILD @@ -1,15 +1,15 @@ -# $Id: PKGBUILD 55573 2011-09-14 10:41:16Z andrea $ +# $Id: PKGBUILD 110068 2014-04-23 17:10:21Z spupykin $ # Maintainer: Sergej Pupykin <pupykin.s+arch@gmail.com> # Contributor: William Rea <sillywilly@gmail.com> pkgname=splint pkgver=3.1.2 -pkgrel=3 +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=('glibc') +depends=('flex') source=("http://www.splint.org/downloads/${pkgname}-${pkgver}.src.tgz" 'splint.sh') md5sums=('25f47d70bd9c8bdddf6b03de5949c4fd' @@ -19,7 +19,7 @@ options=('!makeflags') build() { cd "${srcdir}"/$pkgname-$pkgver ./configure --prefix=/usr --mandir=/usr/share/man - make + make LDFLAGS="$LDFLAGS -lfl" } package() { |