Arch Linux

zeppelin

Member

From: Athens, Greece

Registered: 2004-03-05

Posts: 807

Website

[devel: debuggers] splint

PKGBUILD:

# Contributor: Nikos Kouremenos <nk@ebox.gr>

pkgname=splint
pkgver=3.1.1
pkgrel=1
pkgdesc="Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes."
depends=(gcc make)
md5sums=('91635d98644312302f6f16abe73c2474')
source=(http://www.splint.org/downloads/$pkgname-$pkgver.src.tgz)
url="http://www.splint.org/"

build() {
  cd $startdir/src/$pkgname-$pkgver
  ./configure --prefix=/usr
  make || return 1
  make prefix=$startdir/pkg/usr install
}

URL: ftp://ftp.archlinux.org/incoming/splint-3.1.1-1.tar.bz2

AIR
http://bliss-solutions.org/archlinux/in … php?id=640

---

Gajim, a Jabber client written in PyGTK