summaryrefslogtreecommitdiff
path: root/community/splint/PKGBUILD
diff options
context:
space:
mode:
authorParabola <dev@list.parabolagnulinux.org>2011-04-05 14:26:38 +0000
committerParabola <dev@list.parabolagnulinux.org>2011-04-05 14:26:38 +0000
commit415856bdd4f48ab4f2732996f0bae58595092bbe (patch)
treeede2018b591f6dfb477fe9341ba17b9bc000fab9 /community/splint/PKGBUILD
Tue Apr 5 14:26:38 UTC 2011
Diffstat (limited to 'community/splint/PKGBUILD')
-rw-r--r--community/splint/PKGBUILD25
1 files changed, 25 insertions, 0 deletions
diff --git a/community/splint/PKGBUILD b/community/splint/PKGBUILD
new file mode 100644
index 000000000..d0676e311
--- /dev/null
+++ b/community/splint/PKGBUILD
@@ -0,0 +1,25 @@
+# $Id: PKGBUILD 2039 2009-09-07 16:30:22Z 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
+}