version bump, thanks to Christian D. <ThyrusG AT gmx DOT de> in bug 347822 for most of the work

(Portage version: 2.1.9.24/cvs/Linux i686)

2 files changed, 55 insertions, 1 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index 80dee14c18cc..8a37102d6704 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,13 @@
 # ChangeLog for app-emacs/proofgeneral
 # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.30 2010/02/11 09:56:22 ulm Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.31 2010/12/06 19:20:13 fauli Exp $
+
+*proofgeneral-4.0 (06 Dec 2010)
+
+  06 Dec 2010; Christian Faulhammer <fauli@gentoo.org>
+  +proofgeneral-4.0.ebuild:
+  version bump, thanks to Christian D. <ThyrusG AT gmx DOT de> in bug 347822
+  for most of the work
 
   11 Feb 2010; Ulrich Mueller <ulm@gentoo.org> proofgeneral-3.7.1.ebuild:
   Fix parallel make issue, install html documentation, bug 304399.
diff --git a/app-emacs/proofgeneral/proofgeneral-4.0.ebuild b/app-emacs/proofgeneral/proofgeneral-4.0.ebuild
new file mode 100644
index 000000000000..9c9d5b66ef08
--- /dev/null
+++ b/app-emacs/proofgeneral/proofgeneral-4.0.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2010 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.0.ebuild,v 1.1 2010/12/06 19:20:13 fauli Exp $
+
+inherit elisp
+
+MY_PN="ProofGeneral"
+DESCRIPTION="A generic interface for proof assistants"
+HOMEPAGE="http://proofgeneral.inf.ed.ac.uk/"
+SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tgz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE=""
+
+S="${WORKDIR}/${MY_PN}-${PV}"
+SITEFILE="50${PN}-gentoo.el"
+
+src_compile() {
+	# 4.0 ships precompiled lisp files which need to be moved out of the
+	# way
+	emake clean
+	emake -j1 compile EMACS=emacs || die
+}
+
+src_install() {
+	emake -j1 install EMACS=emacs PREFIX="${D}"/usr || die
+	elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} || die
+
+	doinfo doc/*.info* || die
+	doman doc/proofgeneral.1 || die
+	dohtml doc/ProofGeneral/*.html doc/PG-adapting/*.html || die
+	dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ FUTURE INSTALL README REGISTER
+
+	# clean up
+	rm -rf "${D}/usr/share/emacs/site-lisp/site-start.d"
+	rm -rf "${D}/usr/share/application-registry"
+	rm -rf "${D}/usr/share/mime-info"
+}
+
+pkg_postinst() {
+	elisp-site-regen
+	elog "Please register your use of Proof General on the web at:"
+	elog "  http://proofgeneral.inf.ed.ac.uk/register "
+	elog "(see the REGISTER file for more information)"
+}