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