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

post_patch() {
	vsed -i 's/__pid_t/pid_t/g' src/osd.c
	vsed -i -e '/RM.*[.]tab[.]h/d' src/Makefile.am src/Makefile.in
}