void-packages/srcpkgs/ProofGeneral/template

27 lines
720 B
Bash
Raw Normal View History

2015-01-14 11:18:42 +01:00
# Template file for 'ProofGeneral'
pkgname=ProofGeneral
2015-05-11 11:39:33 +02:00
noarch=yes
2015-01-14 11:18:42 +01:00
version=4.2
2015-05-11 11:39:33 +02:00
revision=2
2015-01-14 11:18:42 +01:00
noarch=yes
build_style=gnu-makefile
hostmakedepends="emacs"
2015-05-11 11:39:33 +02:00
depends="emacs perl"
2015-01-14 11:18:42 +01:00
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}
}