Initial commit

5 files changed, 68 insertions, 1 deletions

diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest
index 1eb8daa5f406..93be39cd0329 100644
--- a/app-emacs/proofgeneral/Manifest
+++ b/app-emacs/proofgeneral/Manifest
@@ -1,3 +1,5 @@
-MD5 0750df9a66d80c89978473d45ddd1ac2 proofgeneral-3.4.ebuild 1252
+MD5 fbcdd9ce55852b340e0108a37cb6cd15 proofgeneral-3.4.ebuild 1268
+MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
+MD5 ca55e0be6af83b1a621c953968346bca ChangeLog 425
 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150
 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68
diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el
new file mode 100644
index 000000000000..998e9ba55809
--- /dev/null
+++ b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el
@@ -0,0 +1,5 @@
+
+;;; Proof General site-lisp configuration
+
+;;;(setq load-path (cons "@SITELISP@/generic" load-path))
+(load-file "@SITELISP@/generic/proof-site.el") 
diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.4
new file mode 100644
index 000000000000..4fdb13f9263e
--- /dev/null
+++ b/app-emacs/proofgeneral/files/digest-proofgeneral-3.4
@@ -0,0 +1 @@
+MD5 83eafa68f0c733800b2da3a6a22c31d7 ProofGeneral-3.4.tar.gz 762807
diff --git a/app-emacs/proofgeneral/metadata.xml b/app-emacs/proofgeneral/metadata.xml
new file mode 100644
index 000000000000..bc306fe58224
--- /dev/null
+++ b/app-emacs/proofgeneral/metadata.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>emacs</herd>
+</pkgmetadata>
diff --git a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild
new file mode 100644
index 000000000000..24ef342dedd7
--- /dev/null
+++ b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild
@@ -0,0 +1,54 @@
+# 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.4.ebuild,v 1.1 2004/01/21 21:31:09 mattam Exp $
+
+SIMPLE_ELISP='nil'
+inherit elisp
+
+IUSE=""
+
+PN="ProofGeneral"
+P="$PN-$PV"
+
+DESCRIPTION="Proof General is a generic interface for proof assistants"
+HOMEPAGE="http://www.proofgeneral.org/"
+SRC_URI="http://www.proofgeneral.org/${P}.tar.gz"
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~x86 ~ppc"
+
+DEPEND="virtual/emacs"
+
+S="${WORKDIR}/${PN}"
+
+SITEFILE=50proofgeneral-gentoo.el
+
+src_compile() {
+	einfo "Byte compilation not supported yet (see the INSTALL file)"
+
+}
+
+src_install() {
+	for dir in etc generic lego coq isa isar plastic demoisa hol98 phox twelf acl2
+	do
+		cd $dir
+		elisp-install ${PN}/$dir *
+		cd ..
+	done
+	elisp-site-file-install ${FILESDIR}/${SITEFILE}
+	dohtml doc/*.html doc/*.jpg
+	doinfo doc/*.info*
+	dobin bin/*
+	dodoc README* TODO AUTHORS BUGS CHANGES COPYING FAQ INSTALL REGISTER
+}
+
+pkg_postinst() {
+	elisp-site-regen
+	einfo "Please register your use of Proof General on the web at:"
+	einfo "  http://www.proofgeneral.org/register "
+	einfo "(see the REGISTER file for more information)"
+}
+
+pkg_postrm() {
+	elisp-site-regen
+}