# Template file for 'splint'
pkgname=splint
version=3.1.2
revision=4
wrksrc="${pkgname}-${version}.orig"
build_style=gnu-configure
hostmakedepends="flex"
makedepends="libfl-devel"
short_desc="Secure Programming Lint"
maintainer="Orphaned <orphan@voidlinux.org>"
homepage="http://www.splint.org"
license="GPL-2"
distfiles="${DEBIAN_SITE}/main/s/splint/${pkgname}_${version}+dfsg.orig.tar.xz"
checksum=51cd7ba978a366ae1ededac2b927058fd5f45d5455e5a9d640b75ab4e45b748a
disable_parallel_build=yes
nocross=yes

post_extract() {
	sed -i 's/__pid_t/pid_t/g' src/osd.c
}