void-packages/srcpkgs/splint/template
cr6git 22603b4f6e splint: change distfiles
Closes: #10438 [via git-merge-pr]
2018-01-05 10:02:40 +01:00

20 lines
561 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="Juan RP <xtraeme@voidlinux.eu>"
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
}