void-packages/srcpkgs/splint/template
2020-11-21 19:38:04 +07:00

21 lines
625 B
Bash

# 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_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
}