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