21 lines
636 B
Bash
21 lines
636 B
Bash
# 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
|
|
}
|