Version bump, needs test as we use the packages own Makefile now.

4 files changed, 65 insertions, 1 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index c860b9dbcfaa..210c156e412c 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for app-emacs/proofgeneral
 # Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.4 2004/06/20 12:37:09 mattam Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.5 2004/06/20 13:15:13 mattam Exp $
+
+*proofgeneral-3.5 (20 Jun 2004)
+
+  20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.5.ebuild:
+  New version, we now use their makefile (not always non-interactive) and
+  site file.
 
   20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild:
   Move to stable.
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest
index 3383b11c3479..99b52a47b0a5 100644
--- a/app-emacs/proofgeneral/Manifest
+++ b/app-emacs/proofgeneral/Manifest
@@ -1,5 +1,7 @@
 MD5 dc7c253c4ce7533fba69bac89451ae0c ChangeLog 776
 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
 MD5 4431c49b3486e12a19f66fdc4ebb8bf1 proofgeneral-3.4.ebuild 1275
+MD5 2eb1d425796245f5b86bd3ea11a9fc1e proofgeneral-3.5.ebuild 1284
 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150
 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68
+MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69
diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5
new file mode 100644
index 000000000000..4a7a7c325bce
--- /dev/null
+++ b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5
@@ -0,0 +1 @@
+MD5 2114f0ead1cb0b4c6be992aa7bf1529c ProofGeneral-3.5.tar.gz 1799956
diff --git a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild
new file mode 100644
index 000000000000..d32acb6c49b6
--- /dev/null
+++ b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild
@@ -0,0 +1,55 @@
+# Copyright 1999-2004 Gentoo Technologies, Inc.
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.1 2004/06/20 13:15:13 mattam Exp $
+
+SIMPLE_ELISP='nil'
+inherit elisp
+
+MY_PN="ProofGeneral"
+
+DESCRIPTION="Proof General is 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}.tar.gz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~x86 ~ppc"
+IUSE=""
+
+DEPEND="virtual/emacs"
+
+S="${WORKDIR}/${MY_PN}"
+
+SITEFILE=50proofgeneral-gentoo.el
+
+src_compile() {
+	echo "" | make compile EMACS=emacs
+}
+
+src_install() {
+	make install EMACS=emacs PREFIX=${D}/usr
+
+	dohtml doc/*.html doc/*.jpg
+	doinfo doc/*.info*
+	dodoc README* TODO AUTHORS BUGS CHANGES FAQ INSTALL REGISTER
+
+	# We directly use the site file of the package
+	cd ${D}/usr/share/emacs/site-lisp
+	mv site-start.d/pg-init.el ${SITEFILE}
+
+	# clean up
+	rmdir site-start.d
+	rm -rf ${D}/usr/share/application-registry
+	rm -rf ${D}/usr/share/mime-info
+}
+
+pkg_postinst() {
+	elisp-site-regen
+	einfo "Please register your use of Proof General on the web at:"
+	einfo "  http://proofgeneral.inf.ed.ac.uk/register "
+	einfo "(see the REGISTER file for more information)"
+}
+
+pkg_postrm() {
+	elisp-site-regen
+}