26 lines
704 B
Plaintext
26 lines
704 B
Plaintext
# Template file for 'ProofGeneral'
|
|
pkgname=ProofGeneral
|
|
version=4.2
|
|
revision=1
|
|
noarch=yes
|
|
build_style=gnu-makefile
|
|
hostmakedepends="emacs"
|
|
depends="emacs"
|
|
short_desc="Generic Emacs front-end for proof assistants"
|
|
maintainer="Christian Neukirchen <chneukirchen@gmail.com>"
|
|
license="GPL-2"
|
|
homepage="http://proofgeneral.inf.ed.ac.uk/releases/"
|
|
distfiles="http://proofgeneral.inf.ed.ac.uk/releases/${pkgname}-${version}.tgz"
|
|
checksum=3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27
|
|
|
|
pre_build() {
|
|
make clean
|
|
sed -i 's/byte-compile-error-on-warn/dont-&/g' Makefile
|
|
sed -i 's/do adddecs/\&adddecs/g' coq/coqtags
|
|
chmod +x isar/isartags
|
|
}
|
|
|
|
do_install() {
|
|
make install DESTDIR=${DESTDIR}
|
|
}
|