diff options
| author | Parabola <dev@list.parabolagnulinux.org> | 2011-04-05 14:26:38 +0000 |
|---|---|---|
| committer | Parabola <dev@list.parabolagnulinux.org> | 2011-04-05 14:26:38 +0000 |
| commit | 415856bdd4f48ab4f2732996f0bae58595092bbe (patch) | |
| tree | ede2018b591f6dfb477fe9341ba17b9bc000fab9 /community/splint | |
Tue Apr 5 14:26:38 UTC 2011
Diffstat (limited to 'community/splint')
| -rw-r--r-- | community/splint/PKGBUILD | 25 | ||||
| -rw-r--r-- | community/splint/splint.sh | 2 |
2 files changed, 27 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 +} diff --git a/community/splint/splint.sh b/community/splint/splint.sh new file mode 100644 index 000000000..6ff8d9181 --- /dev/null +++ b/community/splint/splint.sh @@ -0,0 +1,2 @@ +export LCLIMPORTDIR=/usr/share/splint/imports +export LARCH_PATH=/usr/share/splint/lib |