# Template file for 'ProofGeneral'
pkgname=ProofGeneral
version=4.5
revision=1
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=b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2

do_install() {
	make install DESTDIR=${DESTDIR}
}