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

Package-Manager: portage-2.1.9.24/cvs/Linux i686

3 files changed, 62 insertions, 6 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/Manifest b/app-emacs/proofgeneral/Manifest
index 87a7ea755c47..9fc23a1d3cbd 100644
--- a/app-emacs/proofgeneral/Manifest
+++ b/app-emacs/proofgeneral/Manifest
@@ -3,13 +3,15 @@ Hash: SHA1
 
 AUX 50proofgeneral-gentoo.el 68 RMD160 f88b8933267aaeb02694c155223c910bfbde8103 SHA1 131add694a99178ba800fe25f5906102ab39e2cf SHA256 85504cdc0876b745d6989be00b87cc88ffc1dd6dfabff96a3cc3c3d48dfbe898
 DIST ProofGeneral-3.7.1.tgz 2023176 RMD160 57740365463b0049f9409e9dc1e97bf66a81fb90 SHA1 8bfa5b8c8f670ac992628aa05824f4bf514673a2 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93
+DIST ProofGeneral-4.0.tgz 1351482 RMD160 1c89da5fb4ac718f5ac9ff2a940c1e2222f18236 SHA1 af3a821ce6b4d3d86a1eaa8b27e3e5902da384c7 SHA256 b8aeefd5619683216ff57bae81236dfab71d43d6eefa371d38749fc43415cfaa
 EBUILD proofgeneral-3.7.1.ebuild 1344 RMD160 35cffe13a96d86d24a5586112b85822137a56229 SHA1 8c79e7ddcba6ed75e9b28ada8089ab8a0ae733d8 SHA256 0199b19bf18c0c20cfa5719dcfbec325511013d00f777c2b1c25ee72719806ba
-MISC ChangeLog 4310 RMD160 ff298196bec3356dbae749101e732cb50e1696f8 SHA1 ad8aff2a3bb9d6542435c64213820e4b9533d9b3 SHA256 a0261303c5024e53186bd3f7b7f6c85cd9787962d6ac7fac00e8024b0e0173f3
+EBUILD proofgeneral-4.0.ebuild 1403 RMD160 4b5388be291f7a11986257705d3d03b65e5d75be SHA1 af5b91d6d6e5a0a2c238be64ef96e7ea350879f9 SHA256 eaeb7304c5d637c99b8ed1fddaa1b1d10178b47bc4312080b4dd75a3e62dc064
+MISC ChangeLog 4529 RMD160 989b9f660950463fee27e1071fbda9a00d054733 SHA1 b5f01d1efbcce079ebfebd2d83b64353d49981e7 SHA256 ccc0493f1f239d142cb40ef63b0adeddeed95d220d015594dce22d47c4f9a766
 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.14 (GNU/Linux)
+Version: GnuPG v2.0.16 (GNU/Linux)
 
-iEYEARECAAYFAktz1GIACgkQOeoy/oIi7uxYewCfSXLe8sTVDf77cuIkh89cPIUe
-XRIAni5+fLzIHh7pCaY9gUTkcbhQDTHW
-=JIhi
+iEYEARECAAYFAkz9N+YACgkQNQqtfCuFneNFIQCdEDZURzsl4Bo9SmAAGFf8O8Oy
+ohsAn3NhdksXwRzcMi+9Wy5ggp7elN8X
+=XX/6
 -----END PGP SIGNATURE-----
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)"
+}