1 files changed, 55 insertions, 0 deletions
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
+}