diff options
| author | root <root@rshg054.dnsready.net> | 2013-08-13 01:33:19 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-08-13 01:33:19 -0700 |
| commit | 7a65a910b77ad191d69881098c47f9b0c852d92e (patch) | |
| tree | 9564e611af1442f8952a8cbddb3b0ad25ed71aab /community/splint | |
| parent | 60da6abff6c9577a783d72865f11de7a585e912e (diff) | |
Tue Aug 13 01:31:08 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 |