diff options
| author | root <root@rshg054.dnsready.net> | 2013-07-17 00:58:52 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-07-17 00:58:52 -0700 |
| commit | dee9f17b595ea903a982d31d1124b302bb17e2ff (patch) | |
| tree | 295fdab78e28e1952fbc13ce824d57c88ede4e3b /community/splint | |
| parent | 380530d02a5449fdef97b63b394a6743c3de0092 (diff) | |
Wed Jul 17 00:58:51 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, 0 insertions, 32 deletions
diff --git a/community/splint/PKGBUILD b/community/splint/PKGBUILD deleted file mode 100644 index f6559ab07..000000000 --- a/community/splint/PKGBUILD +++ /dev/null @@ -1,30 +0,0 @@ -# $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 deleted file mode 100644 index 6ff8d9181..000000000 --- a/community/splint/splint.sh +++ /dev/null @@ -1,2 +0,0 @@ -export LCLIMPORTDIR=/usr/share/splint/imports -export LARCH_PATH=/usr/share/splint/lib |