From a8ac3af3a4f60315376250daf54a0bc3003af54d Mon Sep 17 00:00:00 2001
From: Christian Neukirchen <chneukirchen@gmail.com>
Date: Wed, 14 Jan 2015 11:18:42 +0100
Subject: [PATCH] New package: ProofGeneral-4.2

---
 srcpkgs/ProofGeneral/template | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 srcpkgs/ProofGeneral/template

diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
new file mode 100644
index 00000000000..ecb4f4879d7
--- /dev/null
+++ b/srcpkgs/ProofGeneral/template
@@ -0,0 +1,25 @@
+# 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}
+}