snailed
/
void-packages
2
0
Fork 0
Code Issues 1 Pull Requests 2 Actions 1 Activity

ProofGeneral: update to 4.4.

This commit is contained in:
Leah Neukirchen 2017-02-08 15:01:59 +01:00
parent be64c790a9
commit 316d86ebaf
2 changed files with 7 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
srcpkgs/ProofGeneral/template
View File

@ -1,25 +1,18 @@
# Template file for 'ProofGeneral' # Template file for 'ProofGeneral'
pkgname=ProofGeneral pkgname=ProofGeneral
noarch=yes version=4.4
version=4.2 revision=1
revision=2 wrksrc="PG-${version}"
noarch=yes noarch=yes
build_style=gnu-makefile build_style=gnu-makefile
hostmakedepends="emacs" hostmakedepends="emacs"
depends="emacs perl" depends="emacs perl"
short_desc="Generic Emacs front-end for proof assistants" short_desc="Generic Emacs front-end for proof assistants"
maintainer="Christian Neukirchen <chneukirchen@gmail.com>" maintainer="Leah Neukirchen <leah@vuxu.org>"
license="GPL-2" license="GPL-2"
homepage="http://proofgeneral.inf.ed.ac.uk/releases/" homepage="https://proofgeneral.github.io/"
distfiles="http://proofgeneral.inf.ed.ac.uk/releases/${pkgname}-${version}.tgz" distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz"
checksum=3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27 checksum=1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e
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() { do_install() {
make install DESTDIR=${DESTDIR} make install DESTDIR=${DESTDIR}

1
srcpkgs/ProofGeneral/update
View File

@ -1 +0,0 @@
ignore="*pre*"