diff options
| author | root <root@rshg054.dnsready.net> | 2013-07-19 01:10:32 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-07-19 01:10:32 -0700 |
| commit | 8fbc0076a4827ddc6af92e0b9daa4c4c31450808 (patch) | |
| tree | 03fd0e2921ebd53228d9a93e32ed3976b636cbea /community/splint | |
| parent | e445a313723389ba9ee1fded025c567dae5b21ea (diff) | |
Fri Jul 19 01:09:18 PDT 2013
Diffstat (limited to 'community/splint')
| -rw-r--r-- | community/splint/PKGBUILD | 30 | ||||
| -rw-r--r-- | community/splint/splint.sh | 2 |
2 files changed, 32 insertions, 0 deletions
diff --git a/community/splint/PKGBUILD b/community/splint/PKGBUILD new file mode 100644 index 000000000..f6559ab07 --- /dev/null +++ b/community/splint/PKGBUILD @@ -0,0 +1,30 @@ +# $Id: PKGBUILD 55573 2011-09-14 10:41:16Z andrea $ +# Maintainer: Sergej Pupykin <pupykin.s+arch@gmail.com> +# Contributor: William Rea <sillywilly@gmail.com> + +pkgname=splint +pkgver=3.1.2 +pkgrel=3 +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/${pkgname}-${pkgver}.src.tgz" + 'splint.sh') +md5sums=('25f47d70bd9c8bdddf6b03de5949c4fd' + '0efb6341b384dc44590989fe3678c96c') +options=('!makeflags') + +build() { + cd "${srcdir}"/$pkgname-$pkgver + ./configure --prefix=/usr --mandir=/usr/share/man + make +} + +package() { + cd "${srcdir}"/$pkgname-$pkgver + make DESTDIR="${pkgdir}" install + + install -D -m755 "${srcdir}"/splint.sh "${pkgdir}"/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 |