void-packages/srcpkgs/ProofGeneral/template
Đoàn Trần Công Danh 62f30c53ce ProofGeneral: drop noarch
2020-10-09 22:04:13 +07:00

18 lines
546 B
Bash

# Template file for 'ProofGeneral'
pkgname=ProofGeneral
version=4.4
revision=3
wrksrc="PG-${version}"
build_style=gnu-makefile
hostmakedepends="emacs which"
depends="emacs perl"
short_desc="Generic Emacs front-end for proof assistants"
maintainer="Leah Neukirchen <leah@vuxu.org>"
license="GPL-2.0-only"
homepage="https://proofgeneral.github.io/"
distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz"
checksum=1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e
do_install() {
make install DESTDIR=${DESTDIR}
}