19 lines
546 B
Bash
19 lines
546 B
Bash
# 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}
|
|
}
|